| 31. | | A developer’s guide to interviewing (2015) (freecodecamp.org) |
| 1 point by nequo on June 24, 2024 | past |
|
| 32. | | A reckless introduction to Hindley-Milner type inference (2019) (reasonableapproximation.net) |
| 140 points by nequo on June 24, 2024 | past | 43 comments |
|
| 33. | | Ada Programming Language (ada-lang.io) |
| 5 points by nequo on June 24, 2024 | past |
|
| 34. | | Memory Model: The Hard Bits (ocaml.org) |
| 4 points by nequo on June 23, 2024 | past |
|
| 35. | | Why are module implementation and signatures separated in OCaml? (2018) (ocaml.org) |
| 3 points by nequo on June 23, 2024 | past |
|
| 36. | | Ask HN: What indoor CO2 monitor do you recommend? |
| 48 points by nequo on June 21, 2024 | past | 68 comments |
|
| 37. | | Reference Counting with Linear Types (github.com/alt-romes) |
| 53 points by nequo on June 21, 2024 | past | 6 comments |
|
| 38. | | Control Structures (xavierleroy.org) |
| 2 points by nequo on June 18, 2024 | past |
|
| 39. | | What happens to our breath when we type, tap, scroll (npr.org) |
| 289 points by nequo on June 17, 2024 | past | 130 comments |
|
| 40. | | Comparing OCaml and Standard ML (2008) (chlipala.net) |
| 60 points by nequo on June 17, 2024 | past | 26 comments |
|
| 41. | | Millet: A language server for Standard ML (2022) (azdavis.net) |
| 14 points by nequo on June 16, 2024 | past |
|
| 42. | | Measuring the effect of pull requests on OCaml's compilation time (2021) (polychoron.fr) |
| 2 points by nequo on June 16, 2024 | past |
|
| 43. | | Kani: A bit-precise model checker for Rust (github.com/model-checking) |
| 1 point by nequo on June 14, 2024 | past |
|
| 44. | | Notes on the expression problem and type design (2018) (tedinski.com) |
| 2 points by nequo on June 14, 2024 | past |
|
| 45. | | Teach Yourself Scheme in Fixnum Days (ds26gte.github.io) |
| 2 points by nequo on June 13, 2024 | past |
|
| 46. | | Proving leftpad correct two-dozen different ways (github.com/hwayne) |
| 2 points by nequo on June 12, 2024 | past |
|
| 47. | | Gerald Sussman: Programming is (should be) fun (2022) [video] (youtube.com) |
| 335 points by nequo on June 12, 2024 | past | 110 comments |
|
| 48. | | Scheme Benchmarks (2022) (ecraven.github.io) |
| 2 points by nequo on June 12, 2024 | past |
|
| 49. | | Leslie Lamport: programming ≠coding [video] (youtube.com) |
| 3 points by nequo on June 11, 2024 | past |
|
| 50. | | Common Lisp Koans (2022) (github.com/google) |
| 1 point by nequo on June 11, 2024 | past |
|
| 51. | | The Common Lisp Cookbook (2007) (github.com/lispcookbook) |
| 20 points by nequo on June 11, 2024 | past | 4 comments |
|
| 52. | | Scheme for Scientific Computing (2018) (fmnt.info) |
| 4 points by nequo on June 10, 2024 | past | 1 comment |
|
| 53. | | Is there a BNF grammar of the TeX language? (2010) (tex.stackexchange.com) |
| 61 points by nequo on June 6, 2024 | past | 39 comments |
|
| 54. | | What to Learn (2021) (danluu.com) |
| 12 points by nequo on June 3, 2024 | past | 3 comments |
|
| 55. | | Italian School of Algebraic Geometry (wikipedia.org) |
| 2 points by nequo on May 31, 2024 | past |
|
| 56. | | Is "banker's rounding" more numerically stable? (2017) (stackoverflow.com) |
| 1 point by nequo on May 31, 2024 | past |
|
| 57. | | Ecco Pro (wikipedia.org) |
| 3 points by nequo on May 31, 2024 | past | 1 comment |
|
| 58. | | The hitchhiker's guide to logical verification (2023) [pdf] (browncs1951x.github.io) |
| 2 points by nequo on May 30, 2024 | past |
|
| 59. | | Codifying presence/absence of authentication at type level (2016) (stackoverflow.com) |
| 2 points by nequo on May 29, 2024 | past |
|
| 60. | | Theorem provers for university math: students' perceptions (2023) (tandfonline.com) |
| 3 points by nequo on May 29, 2024 | past |
|
|
| More |
