roarcher's favorites | Hacker News

1.		Ask HN: What to learn for math for modeling?
		71 points by shivajikobardan 7 days ago \| 28 comments
2.		Typechecker Zoo (sdiehl.github.io)
		193 points by todsacerdoti 18 days ago \| 31 comments
3.		IQ tests results for AI (trackingai.org)
		220 points by stared 17 days ago \| 343 comments
4.		Parsing without ASTs and Optimizing with Sea of Nodes [video] (youtube.com)
		28 points by surprisetalk 31 days ago \| 4 comments
5.		Sleep all comes down to the mitochondria (science.org)
		639 points by A_D_E_P_T 35 days ago \| 308 comments
6.		Row Polymorphic Programming (stranger.systems)
		52 points by todsacerdoti 51 days ago \| 29 comments
7.		How the Catholic Church Views AI (ft.com)
		10 points by TMWNN 50 days ago \| 4 comments
8.		[flagged] AGI Is Mathematically Impossible (3): Kolmogorov Complexity
		41 points by ICBTheory 52 days ago \| 80 comments
9.		Mechanical Watch (ciechanow.ski)
		4298 points by todsacerdoti on May 4, 2022 \| 413 comments
10.		Sandia turns on brain-like storage-free supercomputer (blocksandfiles.com)
		225 points by rbanffy 89 days ago \| 94 comments
11.		TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)
		114 points by wertyk 3 months ago \| 136 comments
12.		Why Algebraic Effects? (antelang.org)
		293 points by jiggawatts 3 months ago \| 199 comments
13.		Ask HN: CS degrees, do they matter again?
		86 points by platevoltage 4 months ago \| 240 comments
14.		Soldiers in combat can kill without moral injury (bps.org.uk)
		37 points by domofutu 4 months ago \| 76 comments
15.		You Need Subtyping (polybdenum.com)
		71 points by speckx 5 months ago \| 94 comments
16.		Postgres Language Server: Initial Release (github.com/supabase-community)
		362 points by steinroe 5 months ago \| 52 comments
17.		Crabtime: Zig’s Comptime in Rust (crates.io)
		466 points by klaussilveira 5 months ago \| 195 comments
18.		Austral: A Systems Language with Linear Types and Capabilities (2022) (borretti.me)
		155 points by rzk 5 months ago \| 35 comments
19.		The Calculated Typer (bahr.io)
		75 points by matt_d 5 months ago \| 5 comments
20.		Statistical Formulas for Programmers (2013) (evanmiller.org)
		240 points by Tomte 5 months ago \| 39 comments
21.		A bear case: My predictions regarding AI progress (lesswrong.com)
		204 points by suryao 5 months ago \| 215 comments
22.		Neut Programming Language (vekatze.github.io)
		147 points by azhenley 6 months ago \| 39 comments
23.		Introduction to Stochastic Calculus (jiha-kim.github.io)
		444 points by ibobev 6 months ago \| 70 comments
24.		What would it take to add refinement types to Rust? (yoric.github.io)
		136 points by Yoric 8 months ago \| 94 comments
25.		Show HN: High-frequency trading and market-making backtesting tool with examples (github.com/nkaz001)
		148 points by nkaz001 on June 21, 2024 \| 73 comments
26.		Artificial intelligence is running for mayor of Cheyenne (oilcity.news)
		17 points by Miner49er on June 5, 2024 \| 9 comments
27.		Show HN: Brioche – A new Nix-like package manager (brioche.dev)
		168 points by kylewlacy on June 3, 2024 \| 87 comments
28.		Daylight Computer – New 60fps e-paper tablet (daylightcomputer.com)
		2230 points by asadm on May 23, 2024 \| 858 comments
29.		Ask HN: How does modern FreeCAD compare with Solidworks?
		72 points by ActorNightly on May 21, 2024 \| 68 comments
30.		CADmium: A local-first CAD program built for the browser (mattferraro.dev)
		669 points by samwillis on May 21, 2024 \| 241 comments
		More