| 61. | | Rust for Haskell Programmers (mmhaskell.com) |
| 3 points by haskellandchill on Feb 6, 2021 | past |
|
| 62. | | A Categorical Theory of Patches (2013) (arxiv.org) |
| 13 points by haskellandchill on Feb 1, 2021 | past | 2 comments |
|
| 63. | | Changelog Spec (opticdev.github.io) |
| 2 points by haskellandchill on Feb 1, 2021 | past |
|
| 64. | | Compilers for Contrarians (stanford.edu) |
| 1 point by haskellandchill on Feb 1, 2021 | past |
|
| 65. | | Abella an interactive theorem prover based on lambda-tree syntax (abella-prover.org) |
| 3 points by haskellandchill on Jan 30, 2021 | past |
|
| 66. | | Lem Semantic Definition Language (github.com/rems-project) |
| 1 point by haskellandchill on Jan 24, 2021 | past |
|
| 67. | | Mikrokosmos a λ-Calculus Interpreter (mroman42.github.io) |
| 2 points by haskellandchill on Jan 23, 2021 | past |
|
| 68. | | Locally Nameless (Lambda Terms) (boarders.github.io) |
| 2 points by haskellandchill on Jan 13, 2021 | past |
|
| 69. | | Waiting for Zero (logicinthetimeofcovid.com) |
| 1 point by haskellandchill on Sept 10, 2020 | past |
|
| 70. | | Maphi: Educational Maths App (maphi.app) |
| 3 points by haskellandchill on April 22, 2020 | past |
|
| 71. | | Language-oriented software engineering: a book review of Clean Architecture (parametri.city) |
| 16 points by haskellandchill on Dec 26, 2018 | past | 2 comments |
|
| 72. | | Ask HN: CS and programming books of 2017 |
| 2 points by haskellandchill on Dec 17, 2018 | past | 1 comment |
|
| 73. | | Thinking with Types: Type-Level Programming in Haskell (thinkingwithtypes.com) |
| 7 points by haskellandchill on Nov 22, 2018 | past |
|
| 74. | | Verifying ReasonReact Component Logic – ReasonML and Imandra (medium.com/imandra) |
| 2 points by haskellandchill on Nov 16, 2018 | past |
|
| 75. | | Probabilistic reasoning in ReasonML (medium.com/imandra) |
| 2 points by haskellandchill on Nov 15, 2018 | past |
|
| 76. | | Carnap: A formal logic framework for Haskell (carnap.io) |
| 5 points by haskellandchill on Nov 7, 2018 | past |
|
| 77. | | Even Financial acquires Birch Finance, a credit card rewards startup (techcrunch.com) |
| 2 points by haskellandchill on Oct 30, 2018 | past |
|
| 78. | | The Granule Language (granule-project.github.io) |
| 2 points by haskellandchill on Oct 26, 2018 | past |
|
| 79. | | Arguing against using protobuffers (reasonablypolymorphic.com) |
| 307 points by haskellandchill on Oct 10, 2018 | past | 298 comments |
|
| 80. | | Domain Modeling with Abstract Algebra (medium.com/reidev275) |
| 1 point by haskellandchill on June 22, 2018 | past |
|
| 81. | | A History of Computation, Logic and Algebra, Part I (pron.github.io) |
| 15 points by haskellandchill on Jan 5, 2018 | past | 3 comments |
|
| 82. | | Proof Central (proofcentral.org) |
| 2 points by haskellandchill on Dec 10, 2017 | past |
|
| 83. | | Eventsourced aggregates in Haskell (akii.de) |
| 2 points by haskellandchill on June 8, 2017 | past |
|
| 84. | | Haskell at Work: Writing a Specialized CLI Client for the Postmark API (temochka.com) |
| 1 point by haskellandchill on May 21, 2017 | past |
|
| 85. | | Tossing Algebraic Flowers Down the Great Divide (1997) [pdf] (ucsd.edu) |
| 47 points by haskellandchill on May 16, 2017 | past | 7 comments |
|
| 86. | | Haskell Servant on the JVM (github.com/rahulmutt) |
| 5 points by haskellandchill on May 14, 2017 | past |
|
| 87. | | Ask HN: Does anyone hire average developers? |
| 5 points by haskellandchill on May 14, 2017 | past | 2 comments |
|
| 88. | | LambdaConf 2017 Speaker Withdraws (purelyfunctional.tv) |
| 2 points by haskellandchill on May 8, 2017 | past | 2 comments |
|
| 89. | | Scala.JS will be for JavaScript what Scala is for Java [2015] (bertails.org) |
| 1 point by haskellandchill on May 8, 2017 | past |
|
| 90. | | [NYC] Type-Driven Development with Idris Reading Group (meetup.com) |
| 1 point by haskellandchill on May 7, 2017 | past |
|
|
| More |
