Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by nextos
A Memristor-Based Bayesian Machine
4 points
nextos
2023-01-20T06:23:19Z
arxiv.org
A Year with Notmuch Mail (2016)
6 points
nextos
2022-11-12T04:50:40Z
lwn.net
Program Analysis (An Appetizer)
2 points
nextos
2022-09-16T23:44:15Z
arxiv.org
Flâneries
1 points
nextos
2022-07-09T02:48:28Z
cs.uwaterloo.ca
Logic and Computation Intertwined
2 points
nextos
2022-07-08T22:59:00Z
cs.uwaterloo.ca
OCaml 5.0 (prerelease) Manual: Effect handlers
2 points
nextos
2022-06-17T19:48:40Z
kcsrk.info
Program = Proof [pdf]
2 points
nextos
2022-06-11T23:42:32Z
www.lix.polytechnique.fr
Emacs Version 28.1 Released
6 points
nextos
2022-04-06T04:28:05Z
www.gnu.org
Viral by Alina Chan and Matt Ridley Book Review
1 points
nextos
2021-11-25T22:22:42Z
forbetterscience.com
Let's Prove Leftpad
2 points
nextos
2021-10-02T19:04:18Z
github.com
Program Verification: Vision and Reality
3 points
nextos
2021-09-14T02:04:35Z
cacm.acm.org
Formal Reasoning About Programs
3 points
nextos
2021-09-14T00:33:49Z
adam.chlipala.net
Program Analysis (An Appetizer)
3 points
nextos
2021-08-26T23:11:22Z
arxiv.org
Program Analysis: An Appetizer
3 points
nextos
2021-01-28T23:11:04Z
arxiv.org
Luhmann's Original Zettelkasten Digitalized
62 points
nextos
2020-10-15T21:54:27Z
niklas-luhmann-archiv.de
The Nyxt Thesis
2 points
nextos
2020-10-14T17:22:34Z
nyxt.atlas.engineer
Alice ML
4 points
nextos
2020-09-03T21:55:28Z
www.ps.uni-saarland.de
Ask HN: Is the iPad ready as a SSH-centric development machine?
9 points
nextos
2020-05-25T19:26:44Z
news.ycombinator.com
Concrete Semantics
94 points
nextos
2020-01-17T13:37:48Z
www.concrete-semantics.org
Compiling to Categories (2017) [pdf]
2 points
nextos
2020-01-14T21:27:54Z
conal.net
1
2
3