Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by nextos
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
Formal Reasoning About Programs
7 points
nextos
2019-08-07T19:23:14Z
adam.chlipala.net
Concrete Semantics
1 points
nextos
2019-08-07T19:16:17Z
www.concrete-semantics.org
Ask HN: What is the optimal monitor aspect ratio for programming?
3 points
nextos
2019-06-03T19:33:55Z
news.ycombinator.com
Why do most emacs-devel members use Gnus?
2 points
nextos
2019-04-28T17:48:46Z
www.reddit.com
Why are vanilla AOSP Android ROMs not popular?
5 points
nextos
2018-08-26T22:23:09Z
news.ycombinator.com
Repology, the packaging hub
2 points
nextos
2018-07-27T21:49:17Z
repology.org
How do you manage / plan your life?
82 points
nextos
2017-11-04T18:22:52Z
news.ycombinator.com
1
2
3