Hacker News new | past | comments | ask | show | jobs | submit | from login
Vampire: First-Order Theorem Proving [pdf] (chalmers.se)
68 points by tosh 6 days ago | past | web | 19 comments
Vampire*: First-Order Theorem Proving [pdf] (chalmers.se)
1 point by tosh 57 days ago | past | web
First-Order Theorem Proving and Vampire* (2013) [pdf] (chalmers.se)
1 point by tosh 58 days ago | past | web
A simple type-theoretic language: Mini-TT (2009) [pdf] (chalmers.se)
1 point by anqurvanillapy 4 months ago | past | web
Emissions-free energy system saves heat from the summer sun for winter (chalmers.se)
96 points by signa11 5 months ago | past | web | 42 comments
A Very Small SAT Solver (chalmers.se)
4 points by Zalastax 8 months ago | past | web
Haskell’s State monad is not a monad (2014) (chalmers.se)
103 points by setra 9 months ago | past | web | 69 comments
Mythical Unit Test Coverage [pdf] (chalmers.se)
2 points by bauc 10 months ago | past | web
Decision Making Under Uncertainty and Reinforcement Learning [pdf] (chalmers.se)
2 points by mindcrime 10 months ago | past | web
WWWBrowser, a browser written in Haskell in 1994 (chalmers.se)
4 points by kccqzy on Mar 11, 2018 | past | web
Engineering of a Swedish quantum computer set to start (chalmers.se)
4 points by madspindel on Nov 25, 2017 | past | web | 2 comments
Parsing mixfix operators [pdf] (chalmers.se)
1 point by chewxy on Nov 17, 2017 | past | web
Device driver development in Rust for TockOS [pdf] (chalmers.se)
3 points by dvdplm on Nov 9, 2017 | past | web
Implementing Programming Languages (2012) [pdf] (chalmers.se)
2 points by lainon on Aug 10, 2017 | past | web
Programming with Arrows [pdf] (chalmers.se)
4 points by lainon on Aug 10, 2017 | past | web
Discovering Browser Extensions via Web Accessible Resources [pdf] (chalmers.se)
1 point by lainon on Aug 10, 2017 | past | web
Haskell has no state monad (chalmers.se)
1 point by ycmbntrthrwaway on Mar 1, 2017 | past | web
Why Functional Programming Matters (1984) [pdf] (chalmers.se)
181 points by tosh on Dec 8, 2016 | past | web | 140 comments
Why Functional Programming Matters [pdf] (chalmers.se)
3 points by tosh on Nov 7, 2016 | past | web | 1 comment
Safer smart contracts through type-driven development in idris [pdf] (chalmers.se)
31 points by jobstijl on July 20, 2016 | past | web | 2 comments
Using dependent and polymorphic types for safer development of smart contracts [pdf] (chalmers.se)
3 points by omphalos on June 19, 2016 | past | web
Dependently Typed Ethereum Contracts in Idris [pdf] (chalmers.se)
4 points by rwosync on June 19, 2016 | past | web
Self-Driving Truck Acts Like an Animal (chalmers.se)
1 point by d99kris on May 27, 2016 | past | web
Find More Bugs with QuickCheck [pdf] (chalmers.se)
2 points by ingve on Apr 19, 2016 | past | web
A Logical Calculus Immanent in Nervous Activity [pdf] (chalmers.se)
1 point by theideasmith on Jan 24, 2016 | past | web
A Perspective on Information-Flow Control (2011) [pdf] (chalmers.se)
19 points by vezzy-fnord on Oct 18, 2015 | past | web
A Perspective on Information-Flow Control (2011) [pdf] (chalmers.se)
1 point by vezzy-fnord on Oct 17, 2015 | past | web
Finite Automata and Their Decision Problems (1959) (chalmers.se)
10 points by brudgers on June 28, 2015 | past | web | 1 comment
Yi: An Editor in Haskell for Haskell (2008) [pdf] (chalmers.se)
8 points by mschmo on Apr 26, 2015 | past | web | 1 comment
Programming Language Technology (chalmers.se)
1 point by _qc3o on Nov 21, 2014 | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: