home.social

#linearconstraints — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #linearconstraints, aggregated by home.social.

fetched live
  1. Hacker News @[email protected] ·

    The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)

    constraints.cs.washington.edu/

    #HackerNews #Cassowary #Algorithm #LinearConstraints #PDF #ConstraintSolving #2002Research

    #hackernews #cassowary #algorithm #linearconstraints #pdf #constraintsolving
  2. Hacker News @[email protected] ·

    The Cassowary Linear Arithmetic Constraint Solving Algorithm [pdf] (2002)

    constraints.cs.washington.edu/

    #HackerNews #Cassowary #Algorithm #LinearConstraints #PDF #ConstraintSolving #2002Research

    #hackernews #cassowary #algorithm #linearconstraints #pdf #constraintsolving
  3. Jesper Agdakx 🔸 @[email protected] ·
    I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621

    Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.

    #Haskell #Agda #LinearConstraints
    #agda #haskell #linearconstraints
  4. Jesper Agdakx 🔸 @[email protected] ·
    I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621

    Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.

    #Haskell #Agda #LinearConstraints
    #agda #haskell #linearconstraints