HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
nextos
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
Delta Chat is a messaging app compatible with email infrastructure
5 points
nextos
2017-02-03T15:14:43Z
f-droid.org
The Secrets of Buying
1 points
nextos
2016-04-30T17:59:45Z
www.tynan.com
Marc Andreessen guide to personal productivity
1 points
nextos
2016-03-25T15:13:06Z
pmarchive.com
1
2
3
4