nextos's submissions | Hacker News

1.		Going Founder Mode on Cancer (centuryofbio.com)
		18 points by nextos 10 days ago \| past \| 9 comments
2.		Embracing Bayesian methods in clinical trials (jamanetwork.com)
		115 points by nextos 14 days ago \| past \| 18 comments
3.		Science Has a Major Fraud Problem (thefp.com)
		3 points by nextos 15 days ago \| past
4.		Tony Hoare has died (lefenetrou.blogspot.com)
		268 points by nextos 28 days ago \| past \| 34 comments
5.		Agents of Chaos (arxiv.org)
		3 points by nextos 41 days ago \| past
6.		Agentic Proof-Oriented Programming (risemsr.github.io)
		1 point by nextos 60 days ago \| past
7.		Generative AI in Software Engineering Must Be Human-Centered [pdf] (ubc.ca)
		5 points by nextos 4 months ago \| past \| 1 comment
8.		Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (phoronix.com)
		20 points by nextos 4 months ago \| past \| 1 comment
9.		OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com)
		16 points by nextos 5 months ago \| past \| 1 comment
10.		Weird, but Haskell Feels Easy (xlii.space)
		4 points by nextos 5 months ago \| past \| 1 comment
11.		Reasons to Use Bayesian Inference (columbia.edu)
		2 points by nextos 5 months ago \| past
12.		SailfishOS: Chum (sailfishos-chum.github.io)
		9 points by nextos 6 months ago \| past \| 3 comments
13.		Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be)
		2 points by nextos 10 months ago \| past
14.		Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor (cell.com)
		3 points by nextos on Feb 19, 2025 \| past \| 3 comments
15.		DeepComputing RISC-V Mainboard (frame.work)
		3 points by nextos on Feb 4, 2025 \| past
16.		Programming Paradigms for Dummies [pdf] (ucl.ac.be)
		2 points by nextos on Oct 14, 2024 \| past
17.		Simply Logical: Intelligent Reasoning by Example (simply-logical.space)
		2 points by nextos on Oct 14, 2024 \| past
18.		Sequoia PGP (sequoia-pgp.org)
		1 point by nextos on Sept 29, 2024 \| past
19.		Emacs Has No Learning Curve [pdf] (freefaculty.org)
		5 points by nextos on Sept 22, 2024 \| past \| 1 comment
20.		The State of Full-Stack OCaml [video] (youtube.com)
		4 points by nextos on Sept 11, 2024 \| past
21.		Poliovirus that infected a Chinese child in 2014 may have leaked from a lab (science.org)
		46 points by nextos on Sept 8, 2024 \| past \| 24 comments
22.		Apps for GNOME (gnome.org)
		1 point by nextos on Aug 27, 2024 \| past
23.		Automated programming, symbolic computation, machine learning: my personal view (springer.com)
		4 points by nextos on Aug 26, 2024 \| past
24.		My favorite device is a Chromebook (capivaras.dev)
		99 points by nextos on Aug 6, 2024 \| past \| 105 comments
25.		The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io)
		100 points by nextos on July 30, 2024 \| past \| 14 comments
26.		Applied Regression and Causal Inference (columbia.edu)
		2 points by nextos on July 30, 2024 \| past
27.		Finding the Truth in Science (nature.com)
		1 point by nextos on May 18, 2024 \| past
28.		Creusot, a deductive verifier for Rust code (github.com/creusot-rs)
		3 points by nextos on Feb 25, 2024 \| past
29.		Maybe Haskell (thoughtbot.com)
		10 points by nextos on Jan 20, 2024 \| past
30.		Dorothy Bishop on the prevalence of scientific fraud (columbia.edu)
		31 points by nextos on Nov 19, 2023 \| past \| 1 comment
		More

HN For You