| 61. | | Assertion-Evidence talks are comprehended better by audiences (assertion-evidence.com) |
| 1 point by nequo on May 28, 2024 | past |
|
| 62. | | Lessons from Formally Verified Deployed Software Systems (arxiv.org) |
| 23 points by nequo on May 26, 2024 | past |
|
| 63. | | The CompCert C Compiler (compcert.org) |
| 203 points by nequo on May 26, 2024 | past | 225 comments |
|
| 64. | | Some models are useful, but for how long?: When to refit prediction models (arxiv.org) |
| 1 point by nequo on May 26, 2024 | past |
|
| 65. | | Why GADTs matter for performance (2015) (janestreet.com) |
| 1 point by nequo on May 26, 2024 | past |
|
| 66. | | Loogle: search Lean and Mathlib definitions and theorems (lean-lang.org) |
| 1 point by nequo on May 25, 2024 | past |
|
| 67. | | A type safe Idris2 web framework targeting NodeJS (github.com/kbertalan) |
| 1 point by nequo on May 24, 2024 | past |
|
| 68. | | Data Frames for Idris 2 (github.com/ziman) |
| 2 points by nequo on May 24, 2024 | past |
|
| 69. | | Influencer Cartels (arxiv.org) |
| 4 points by nequo on May 20, 2024 | past |
|
| 70. | | Recursive Definitions in Lean (lean-lang.org) |
| 1 point by nequo on May 18, 2024 | past |
|
| 71. | | Rust's Unsafe Code Guidelines Reference (rust-lang.github.io) |
| 3 points by nequo on May 18, 2024 | past |
|
| 72. | | Wuffs: Wrangling Untrusted File Formats Safely (github.com/google) |
| 279 points by nequo on May 16, 2024 | past | 68 comments |
|
| 73. | | Dynamic type systems are not inherently more open (2020) (lexi-lambda.github.io) |
| 2 points by nequo on May 13, 2024 | past |
|
| 74. | | Borrow checking, escape analysis, and the generational hypothesis (2018) (steveklabnik.com) |
| 1 point by nequo on May 9, 2024 | past |
|
| 75. | | Java's Virtual Machine and CLR (2009) (stackoverflow.com) |
| 1 point by nequo on May 9, 2024 | past |
|
| 76. | | Rust Design Patterns (rust-unofficial.github.io) |
| 13 points by nequo on May 7, 2024 | past |
|
| 77. | | Nelua: Statically typed language with a Lua flavor (nelua.io) |
| 2 points by nequo on April 22, 2024 | past |
|
| 78. | | A Collection of Data Visualization Caveats (data-to-viz.com) |
| 4 points by nequo on April 21, 2024 | past |
|
| 79. | | Women Came to Antarctica for Science. Then the Predators Emerged (wired.com) |
| 24 points by nequo on April 10, 2024 | past | 5 comments |
|
| 80. | | GNU Stow needs a co-maintainer (savannah.gnu.org) |
| 170 points by nequo on April 8, 2024 | past | 115 comments |
|
| 81. | | The Carmack Plan (2017) (garbagecollected.org) |
| 2 points by nequo on March 29, 2024 | past |
|
| 82. | | Top Python Developers Hacked in Sophisticated Supply Chain Attack (securityweek.com) |
| 1 point by nequo on March 26, 2024 | past | 2 comments |
|
| 83. | | Ubuntu 22.04 Root on ZFS (2023) (openzfs.github.io) |
| 9 points by nequo on March 2, 2024 | past | 2 comments |
|
| 84. | | Ask HN: What is a business idea that you worked on but the timing was wrong? |
| 3 points by nequo on March 2, 2024 | past |
|
| 85. | | Browser-based robot dog simulator: walking controller (2023) (grgv.xyz) |
| 1 point by nequo on Feb 28, 2024 | past |
|
| 86. | | An Introduction to LuaTeX (overleaf.com) |
| 3 points by nequo on Feb 21, 2024 | past |
|
| 87. | | Egui: An immediate GUI mode written in Rust (egui.rs) |
| 1 point by nequo on Feb 16, 2024 | past |
|
| 88. | | TJ DeVries Reads the Entire Neovim User Manual [video] (youtube.com) |
| 2 points by nequo on Feb 13, 2024 | past |
|
| 89. | | Linux Publication to Close (2002) (cnet.com) |
| 1 point by nequo on Feb 12, 2024 | past |
|
| 90. | | Polars R Package (rpolars.github.io) |
| 2 points by nequo on Feb 9, 2024 | past |
|
|
| More |
