Hacker News

61.		Carnap – A formal logic framework for Haskell (carnap.io)
		104 points by ravenical 1 day ago \| hide \| 20 comments
62.		Meta is using the Linux scheduler designed for Valve's Steam Deck on its servers (phoronix.com)
		655 points by yellow_lead 22 hours ago \| hide \| 367 comments
63.		Astrophotography Target Planner: Discover Hidden Nebulas (astroimagery.com)
		60 points by kianN 1 day ago \| hide \| 5 comments
64.		Flock Exposed Its AI-Powered Cameras to the Internet. We Tracked Ourselves (404media.co)
		794 points by chaps 1 day ago \| hide \| 468 comments
65.		Time-Traveling to 1979: Advice for Designing 'C with Classes (coderschmoder.com)
		16 points by birdculture 12 hours ago \| hide \| 17 comments
66.		Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs (theguardian.com)
		249 points by aquir 1 day ago \| hide \| 265 comments
67.		Show HN: CodinIT, local open-source Lovable alternative (Electron desktop app) (github.com/codinit-dev)
		18 points by Gerome24 10 hours ago \| hide \| 2 comments
68.		Dancing around the rhythm space with Euclid (pv.wtf)
		46 points by dracyr 1 day ago \| hide \| 3 comments
69.		Debian adds LoongArch as officially supported architecture (debian.org)
		147 points by cbmuser 1 day ago \| hide \| 46 comments
70.		iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA (macrumors.com)
		299 points by Tomte 1 day ago \| hide \| 276 comments
71.		Local AI is driving the biggest change in laptops in decades (ieee.org)
		235 points by barqawiz 1 day ago \| hide \| 233 comments
72.		Ask HN: What are the best engineering blogs with real-world depth?
		409 points by nishilpatel 1 day ago \| hide \| 125 comments
73.		Uplane (YC F25) Is Hiring Founding Engineers (Full-Stack and AI) (useparallel.com)
		1 day ago \| hide
74.		The Polyglot NixOS (x86.lol)
		126 points by todsacerdoti 1 day ago \| hide \| 51 comments
75.		Charts in Slides (ia.net)
		33 points by surprisetalk 13 hours ago \| hide \| discuss
76.		Partial inlining (xania.org)
		60 points by hasheddan 1 day ago \| hide \| 1 comment
77.		Amnezia – Self-Hosted VPN (amnezia.org)
		40 points by eustoria 21 hours ago \| hide \| 7 comments
78.		It's Always TCP_NODELAY (brooker.co.za)
		470 points by eieio 1 day ago \| hide \| 171 comments
79.		AI Can Write Your Code. It Can't Do Your Job (terriblesoftware.org)
		82 points by antfarm 14 hours ago \| hide \| 64 comments
80.		Microspeak: North Star – The Old New Thing (2015) (devblogs.microsoft.com/oldnewthing)
		25 points by rbanffy 17 hours ago \| hide \| 10 comments
81.		Could lockfiles just be SBOMs? (nesbitt.io)
		60 points by zdw 13 hours ago \| hide \| 51 comments
82.		The Coffee Warehouse (scopeofwork.net)
		51 points by NaOH 1 day ago \| hide \| 49 comments
83.		LAVD: Meta's New Default Scheduler [pdf] (lpc.events)
		27 points by todsacerdoti 20 hours ago \| hide \| 1 comment
84.		The biggest CRT ever made: Sony's PVM-4300 (homeip.net)
		278 points by giuliomagnifico 2 days ago \| hide \| 179 comments
85.		Space Math Academy (space-math.academy)
		42 points by dynamicwebpaige 21 hours ago \| hide \| 21 comments
86.		Snitch – A friendlier ss/netstat (github.com/karol-broda)
		318 points by karol-broda 1 day ago \| hide \| 99 comments
87.		The Illustrated Transformer (jalammar.github.io)
		479 points by auraham 1 day ago \| hide \| 87 comments
88.		Quake's Player Speed According to John Romero (2017) (rome.ro)
		31 points by klaussilveira 1 day ago \| hide \| discuss
89.		The post-GeForce era: What if Nvidia abandons PC gaming? (pcworld.com)
		132 points by taubek 23 hours ago \| hide \| 265 comments
90.		Writing HTML by hand is easier than debugging your static site generator (2024) (logicgrimoire.wordpress.com)
		11 points by Tomte 4 hours ago \| hide \| 1 comment
		More