| 31. | | Why universities are making us stupid (newstatesman.com) |
| 4 points by nextos on March 29, 2023 | past | 2 comments |
|
| 32. | | Logic and Proof (leanprover.github.io) |
| 1 point by nextos on March 26, 2023 | past |
|
| 33. | | Bayesian Learning: Basics, Computation, Approximation, and Futures (drive.google.com) |
| 2 points by nextos on March 9, 2023 | past |
|
| 34. | | A Memristor-Based Bayesian Machine (arxiv.org) |
| 4 points by nextos on Jan 20, 2023 | past | 1 comment |
|
| 35. | | A Year with Notmuch Mail (2016) (lwn.net) |
| 6 points by nextos on Nov 12, 2022 | past | 1 comment |
|
| 36. | | Program Analysis (An Appetizer) (arxiv.org) |
| 2 points by nextos on Sept 16, 2022 | past |
|
| 37. | | Flâneries (uwaterloo.ca) |
| 1 point by nextos on July 9, 2022 | past |
|
| 38. | | Logic and Computation Intertwined (uwaterloo.ca) |
| 2 points by nextos on July 8, 2022 | past |
|
| 39. | | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
| 2 points by nextos on June 17, 2022 | past |
|
| 40. | | Program = Proof [pdf] (polytechnique.fr) |
| 2 points by nextos on June 11, 2022 | past |
|
| 41. | | Emacs Version 28.1 Released (gnu.org) |
| 6 points by nextos on April 6, 2022 | past |
|
| 42. | | Viral by Alina Chan and Matt Ridley Book Review (forbetterscience.com) |
| 1 point by nextos on Nov 25, 2021 | past |
|
| 43. | | Let's Prove Leftpad (github.com/hwayne) |
| 2 points by nextos on Oct 2, 2021 | past |
|
| 44. | | Program Verification: Vision and Reality (acm.org) |
| 3 points by nextos on Sept 14, 2021 | past |
|
| 45. | | Formal Reasoning About Programs (chlipala.net) |
| 3 points by nextos on Sept 14, 2021 | past |
|
| 46. | | Program Analysis (An Appetizer) (arxiv.org) |
| 3 points by nextos on Aug 26, 2021 | past |
|
| 47. | | Program Analysis: An Appetizer (arxiv.org) |
| 3 points by nextos on Jan 28, 2021 | past |
|
| 48. | | Luhmann's Original Zettelkasten Digitalized (niklas-luhmann-archiv.de) |
| 62 points by nextos on Oct 15, 2020 | past | 6 comments |
|
| 49. | | The Nyxt Thesis (atlas.engineer) |
| 2 points by nextos on Oct 14, 2020 | past |
|
| 50. | | Alice ML (uni-saarland.de) |
| 4 points by nextos on Sept 3, 2020 | past |
|
| 51. | | Ask HN: Is the iPad ready as a SSH-centric development machine? |
| 9 points by nextos on May 25, 2020 | past | 8 comments |
|
| 52. | | Concrete Semantics (concrete-semantics.org) |
| 94 points by nextos on Jan 17, 2020 | past | 17 comments |
|
| 53. | | Compiling to Categories (2017) [pdf] (conal.net) |
| 2 points by nextos on Jan 14, 2020 | past |
|
| 54. | | Formal Reasoning About Programs (chlipala.net) |
| 7 points by nextos on Aug 7, 2019 | past |
|
| 55. | | Concrete Semantics (concrete-semantics.org) |
| 1 point by nextos on Aug 7, 2019 | past |
|
| 56. | | Ask HN: What is the optimal monitor aspect ratio for programming? |
| 3 points by nextos on June 3, 2019 | past | 4 comments |
|
| 57. | | Why do most emacs-devel members use Gnus? (reddit.com) |
| 2 points by nextos on April 28, 2019 | past |
|
| 58. | | Why are vanilla AOSP Android ROMs not popular? |
| 5 points by nextos on Aug 26, 2018 | past | 1 comment |
|
| 59. | | Repology, the packaging hub (repology.org) |
| 2 points by nextos on July 27, 2018 | past |
|
| 60. | | How do you manage / plan your life? |
| 82 points by nextos on Nov 4, 2017 | past | 64 comments |
|
|
| More |
