All
5+
10+
25+
50+
100+
10
OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com)
13 hours ago |
nextos
| substack.com
|
best
1
Weird, but Haskell Feels Easy (xlii.space)
2 weeks ago |
nextos
| xlii.space
|
newest
1
Reasons to Use Bayesian Inference (columbia.edu)
3 weeks ago |
nextos
| columbia.edu
|
newest
5
SailfishOS: Chum (sailfishos-chum.github.io)
a month ago |
nextos
| github.io
|
newest
1
Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be)
6 months ago |
nextos
| ucl.ac.be
|
newest
4
Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor (cell.com)
9 months ago |
nextos
| cell.com
|
newest
3
DeepComputing RISC-V Mainboard (frame.work)
9 months ago |
nextos
| frame.work
|
newest
1
The State of Racket (youtube.com)
a year ago |
nextos
| youtube.com
|
newest
1
Programming Paradigms for Dummies [pdf] (ucl.ac.be)
a year ago |
nextos
| ucl.ac.be
|
newest
2
Simply Logical: Intelligent Reasoning by Example (simply-logical.space)
a year ago |
nextos
| simply-logical.space
|
newest
1
Sequoia PGP (sequoia-pgp.org)
a year ago |
nextos
| sequoia-pgp.org
|
newest
3
Emacs Has No Learning Curve [pdf] (freefaculty.org)
a year ago |
nextos
| freefaculty.org
|
newest
2
The State of Full-Stack OCaml [video] (youtube.com)
a year ago |
nextos
| youtube.com
|
newest
16
Poliovirus that infected a Chinese child in 2014 may have leaked from a lab (science.org)
a year ago |
nextos
| science.org
|
frontpage
1
Apps for GNOME (gnome.org)
a year ago |
nextos
| gnome.org
|
newest
3
Automated programming, symbolic computation, machine learning: my personal view (springer.com)
a year ago |
nextos
| springer.com
|
newest
52
My favorite device is a Chromebook (capivaras.dev)
a year ago |
nextos
| capivaras.dev
|
best
25
The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io)
a year ago |
nextos
| github.io
|
best
1
Applied Regression and Causal Inference (columbia.edu)
a year ago |
nextos
| columbia.edu
|
newest
1
Finding the Truth in Science (nature.com)
a year ago |
nextos
| nature.com
|
newest
2
Creusot, a deductive verifier for Rust code (github.com/creusot-rs)
a year ago |
nextos
| github.com
|
newest
2
Maybe Haskell (thoughtbot.com)
a year ago |
nextos
| thoughtbot.com
|
frontpage
22
Dorothy Bishop on the prevalence of scientific fraud (columbia.edu)
a year ago |
nextos
| columbia.edu
|
newest
3
How to handle a hands-off supervisor (kidger.site)
2 years ago |
nextos
| kidger.site
|
newest
2
Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org)
2 years ago |
nextos
| functional-algorithms-verified.org
|
newest
1
Simple Haskell (simplehaskell.org)
2 years ago |
nextos
| simplehaskell.org
|
newest
2
CausalPy – causal inference for quasi-experiments (causalpy.readthedocs.io)
2 years ago |
nextos
| readthedocs.io
|
newest
2
Rich Hickey's Clojure Bookshelf (amazon.com)
2 years ago |
nextos
| amazon.com
|
frontpage
1
Key-Locked Rank One Editing for Text-to-Image Personalization (nvidia.com)
2 years ago |
nextos
| nvidia.com
|
newest
2
Safe and just Earth system boundaries (nature.com)
2 years ago |
nextos
| nature.com
|
newest
1
Oxford University’s other diversity crisis (economist.com)
2 years ago |
nextos
| economist.com
|
newest
11
Britain Is Broken (thetimes.co.uk)
2 years ago |
nextos
| thetimes.co.uk
|
frontpage
5
Why universities are making us stupid (newstatesman.com)
2 years ago |
nextos
| newstatesman.com
|
newest
1
Logic and Proof (leanprover.github.io)
2 years ago |
nextos
| github.io
|
newest
1
Bayesian Learning: Basics, Computation, Approximation, and Futures (drive.google.com)
2 years ago |
nextos
| google.com
|
newest
4
A Memristor-Based Bayesian Machine (arxiv.org)
2 years ago |
nextos
| arxiv.org
|
newest
4
A Year with Notmuch Mail (2016) (lwn.net)
2 years ago |
nextos
| lwn.net
|
frontpage
1
Program Analysis (An Appetizer)
3 years ago |
nextos
| arxiv.org
|
newest