home.social

#abstractinterpretation — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Abstract Interpretation in the Toy Optimizer

    bernsteinbear.com/blog/toy-abs

    #HackerNews #AbstractInterpretation #ToyOptimizer #ProgrammingResearch #CompilerDesign

    #hackernews #abstractinterpretation #toyoptimizer #programmingresearch #compilerdesign
  2. Hacker News @[email protected] ·

    Abstract Interpretation in the Toy Optimizer

    bernsteinbear.com/blog/toy-abs

    #HackerNews #AbstractInterpretation #ToyOptimizer #ProgrammingResearch #CompilerDesign

    #hackernews #abstractinterpretation #toyoptimizer #programmingresearch #compilerdesign
  3. Hacker News @[email protected] ·

    Abstract Interpretation in the Toy Optimizer

    bernsteinbear.com/blog/toy-abs

    #HackerNews #AbstractInterpretation #ToyOptimizer #ProgrammingResearch #CompilerDesign

    #hackernews #abstractinterpretation #toyoptimizer #programmingresearch #compilerdesign
  4. Hacker News @[email protected] ·

    Abstract Interpretation in the Toy Optimizer

    bernsteinbear.com/blog/toy-abs

    #HackerNews #AbstractInterpretation #ToyOptimizer #ProgrammingResearch #CompilerDesign

    #compilerdesign #programmingresearch #toyoptimizer #abstractinterpretation #hackernews
  5. Hacker News @[email protected] ·

    Abstract Interpretation in the Toy Optimizer

    bernsteinbear.com/blog/toy-abs

    #HackerNews #AbstractInterpretation #ToyOptimizer #ProgrammingResearch #CompilerDesign

    #hackernews #abstractinterpretation #toyoptimizer #programmingresearch #compilerdesign
  6. chris martens @[email protected] ·

    does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

    #categoryTheory #abstractInterpretation

    #categorytheory #abstractinterpretation
  7. chris martens @[email protected] ·

    does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

    #categoryTheory #abstractInterpretation

    #categorytheory #abstractinterpretation
  8. chris martens @[email protected] ·

    does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

    #categoryTheory #abstractInterpretation

    #categorytheory #abstractinterpretation
  9. chris martens @[email protected] ·

    does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

    #categoryTheory #abstractInterpretation

    #abstractinterpretation #categorytheory
  10. chris martens @[email protected] ·

    does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

    #categoryTheory #abstractInterpretation

    #categorytheory #abstractinterpretation
  11. Jesper Agdakx ♾️ @[email protected] ·

    I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

    Please boost this so this also finds an audience beyond the types community!

    #SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

    #softwareengineering #education #typetheory #programverification #abstractinterpretation #proofassistant
  12. Jesper Agdakx ♾️ @[email protected] ·

    I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

    Please boost this so this also finds an audience beyond the types community!

    #SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

    #softwareengineering #education #typetheory #programverification #abstractinterpretation #proofassistant
  13. Jesper Agdakx ♾️ @[email protected] ·

    I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

    Please boost this so this also finds an audience beyond the types community!

    #SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

    #softwareengineering #education #typetheory #programverification #abstractinterpretation #proofassistant
  14. Jesper Agdakx ♾️ @[email protected] ·

    I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

    Please boost this so this also finds an audience beyond the types community!

    #SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

    #domaintheory #categorytheory #operationalsemantics #smt #modelchecking #hoarelogic
  15. Jesper Agdakx ♾️ @[email protected] ·

    I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.

    Please boost this so this also finds an audience beyond the types community!

    #SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory

    #softwareengineering #education #typetheory #programverification #abstractinterpretation #proofassistant