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