HNHacker News
TopNewBestAskShowJobs

nextos

12,951 karma · joined August 6, 2013

hn (dot) capital203 (at) passinbox (dot) com

Oxford, UK

submissionscomments

DEI Fraud and Cover-Up at Cambridge

ncofnas.com·3 pts·nextos·
0

Diagram of Distribution Relationships

johndcook.com·4 pts·nextos·
0

Formal Methods and the Future of Programming

blog.janestreet.com·107 pts·nextos·
4

Warren's Abstract Machine: A Tutorial Reconstruction

github.com·52 pts·nextos·
6

Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands

bbc.com·4 pts·nextos·
0

Going Founder Mode on Cancer

centuryofbio.com·18 pts·nextos·
9

Embracing Bayesian methods in clinical trials

jamanetwork.com·115 pts·nextos·
18

Science Has a Major Fraud Problem

thefp.com·3 pts·nextos·
0

Tony Hoare has died

lefenetrou.blogspot.com·268 pts·nextos·
34

Agents of Chaos

arxiv.org·3 pts·nextos·
0

Agentic Proof-Oriented Programming

risemsr.github.io·1 pts·nextos·
0

Generative AI in Software Engineering Must Be Human-Centered [pdf]

cs.ubc.ca·5 pts·nextos·
1

Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel

phoronix.com·20 pts·nextos·
1

OpenAI probably can't make ends meet. That's where you come in

garymarcus.substack.com·16 pts·nextos·
1

Weird, but Haskell Feels Easy

xlii.space·4 pts·nextos·
1

Reasons to Use Bayesian Inference

statmodeling.stat.columbia.edu·2 pts·nextos·
0

SailfishOS: Chum

sailfishos-chum.github.io·9 pts·nextos·
3

Concepts, Techniques, and Models of Computer Programming [pdf]

webperso.info.ucl.ac.be·2 pts·nextos·
0

Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor

cell.com·3 pts·nextos·
3

DeepComputing RISC-V Mainboard

frame.work·3 pts·nextos·
0

Programming Paradigms for Dummies [pdf]

webperso.info.ucl.ac.be·2 pts·nextos·
0

Simply Logical: Intelligent Reasoning by Example

book.simply-logical.space·2 pts·nextos·
0

Sequoia PGP

sequoia-pgp.org·1 pts·nextos·
0

Emacs Has No Learning Curve [pdf]

pj.freefaculty.org·5 pts·nextos·
1

The State of Full-Stack OCaml [video]

youtube.com·4 pts·nextos·
0

Poliovirus that infected a Chinese child in 2014 may have leaked from a lab

science.org·46 pts·nextos·
24

Apps for GNOME

apps.gnome.org·1 pts·nextos·
0

Automated programming, symbolic computation, machine learning: my personal view

link.springer.com·4 pts·nextos·
0

My favorite device is a Chromebook

kokada.capivaras.dev·99 pts·nextos·
105

The Hitchhiker's Guide to Logical Verification [pdf] (2023)

browncs1951x.github.io·100 pts·nextos·
14
Page 1 of 4Next →