Hacker News

1.		Algebraic Semantics for Machine Knitting (uwplse.org)
		49 points by PaulHoule 1 hour ago \| hide \| 3 comments
2.		Abusing DuckDB-WASM by making SQL draw 3D graphics (Sort Of) (hey.earth)
		120 points by tanelpoder 3 hours ago \| hide \| 25 comments
3.		Surprises in Logic (2016) (ucr.edu)
		41 points by jxmorris12 1 hour ago \| hide \| 4 comments
4.		ClickHouse gets lazier (and faster): Introducing lazy materialization (clickhouse.com)
		34 points by tbragin 55 minutes ago \| hide \| 3 comments
5.		Supabase raises $200M Series D at $2B valuation (yahoo.com)
		118 points by baristaGeek 1 hour ago \| hide \| 106 comments
6.		Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com/morphik-org)
		15 points by Adityav369 35 minutes ago \| hide \| discuss
7.		Launch HN: Infra.new (YC W23) – DevOps copilot with guardrails built in
		20 points by TankeJosh 1 hour ago \| hide \| 11 comments
8.		David Tong Lectures on Theoretical Physics (cam.ac.uk)
		29 points by alonfnt 1 hour ago \| hide \| 5 comments
9.		The raccoons who made computer magazine ads great (technologizer.com)
		23 points by coloneltcb 1 hour ago \| hide \| 7 comments
10.		Are polynomial features the root of all evil? (2024) (alexshtf.github.io)
		4 points by Areibman 8 minutes ago \| hide \| discuss
11.		Join the W3C Exploration Interest Group: where standards start (w3.org)
		31 points by pentagrama 2 hours ago \| hide \| 13 comments
12.		Libro: a command-line tool to track your books (github.com/mkaz)
		59 points by marcuskaz 3 hours ago \| hide \| 29 comments
13.		Using physics simulations to find targeting strategies in tenpin bowling (aip.org)
		30 points by PaulHoule 2 hours ago \| hide \| 10 comments
14.		Show HN: I built a Ruby gem that handles memoization with a ttl (github.com/mishalzaman)
		8 points by hp_hovercraft84 7 minutes ago \| hide \| discuss
15.		Pike – a dynamic programming language with a syntax similar to Java and C (liu.se)
		33 points by gjvc 3 hours ago \| hide \| 28 comments
16.		GiveCampus (YC S15) Is Hiring Sr engineers passionate about education (breezy.hr)
		4 hours ago \| hide
17.		I should have loved biology too (nehalslearnings.substack.com)
		6 points by nehal96 12 minutes ago \| hide \| discuss
18.		I Open-Sourced My AI Toy Company That Runs on ESP32 and OpenAI Realtime API (github.com/akdeb)
		79 points by akadeb 2 hours ago \| hide \| 38 comments
19.		Living with Lab Mice (nautil.us)
		12 points by kawera 1 hour ago \| hide \| 4 comments
20.		Attacking My Landlord's Boiler (videah.net)
		296 points by ericvolp12 12 hours ago \| hide \| 161 comments
21.		Evertop: E-ink IBM XT clone with 100+ hours of battery life (github.com/ericjenott)
		501 points by harryvederci 18 hours ago \| hide \| 164 comments
22.		Does RL Incentivize Reasoning in LLMs Beyond the Base Model? (limit-of-rlvr.github.io)
		55 points by leodriesch 6 hours ago \| hide \| 19 comments
23.		An Utterly Incomplete Look at Research from 1825 (bcmullins.github.io)
		10 points by wannabebarista 43 minutes ago \| hide \| 1 comment
24.		The Cold Start Problem: Using Network Effects to Scale Your Product – A Review (madhavajay.com)
		39 points by williamtrask 3 hours ago \| hide \| 2 comments
25.		Handheld detector for all types of ionizing radiation improves radiation safety (phys.org)
		35 points by PaulHoule 6 hours ago \| hide \| 15 comments
26.		Verus: Verified Rust for low-level systems code (github.com/secure-foundations)
		131 points by mmcloughlin 12 hours ago \| hide \| 30 comments
27.		A Real-Time Algorithm for Non-Convex Powered Descent Guidance [pdf] (washington.edu)
		31 points by nill0 5 hours ago \| hide \| 3 comments
28.		We Diagnosed and Fixed the 2023 Voyager 1 Anomaly from 15B Miles Away [video] (youtube.com)
		127 points by noselasd 13 hours ago \| hide \| 9 comments
29.		Blog hosted on a Nintendo Wii (infected.systems)
		570 points by edent 22 hours ago \| hide \| 101 comments
30.		Show HN: Dia, an open-weights TTS model for generating realistic dialogue (github.com/nari-labs)
		584 points by toebee 23 hours ago \| hide \| 170 comments
		More