Hacker News

1.		Social Cooling (2017) (socialcooling.com)
		222 points by laurex 4 hours ago \| hide \| 69 comments
2.		Personal data storage is an idea whose time has come (muni.town)
		23 points by erlend_sh 1 hour ago \| hide \| 8 comments
3.		Beginner Guide to VPS Hetzner and Coolify (bhargav.dev)
		4 points by itsbrgv 20 minutes ago \| hide \| 1 comment
4.		What .NET 10 GC Changes Mean for Developers (roxeem.com)
		136 points by roxeem 7 hours ago \| hide \| 51 comments
5.		Anthropic Release Memory API (anthropic.com)
		68 points by benzguo 5 hours ago \| hide \| 30 comments
6.		Ambigr.am (ambigr.am)
		78 points by surprisetalk 6 hours ago \| hide \| 8 comments
7.		Comparing a RISC and a CISC with Similar Hardware Organization (1991) (acm.org)
		23 points by luu 4 hours ago \| hide \| 1 comment
8.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		267 points by barthelomew 16 hours ago \| hide \| 145 comments
9.		The best worst hack that saved our bacon (jeffersonheard.ghost.io)
		38 points by mooreds 6 hours ago \| hide \| 9 comments
10.		Leveling Up My Homelab (cweagans.net)
		33 points by cweagans 4 hours ago \| hide \| 11 comments
11.		1Password CLI Vulnerability (codeberg.org/manchicken)
		59 points by manchicken 7 hours ago \| hide \| 14 comments
12.		A comparison of Ada and Rust, using solutions to the Advent of Code (github.com/johnperry-math)
		246 points by andsoitis 19 hours ago \| hide \| 164 comments
13.		Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com/daniellionel01)
		66 points by TheWiggles 10 hours ago \| hide \| 12 comments
14.		Newton: physics simulation engine built upon NVIDIA Warp (github.com/newton-physics)
		99 points by skilled 14 hours ago \| hide \| 16 comments
15.		Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
		57 points by jumpocelot 10 hours ago \| hide \| 18 comments
16.		Microsoft Surface Pen Compatibility / Interoperability FAQ (2024) (dancharblog.wordpress.com)
		25 points by Lammy 6 hours ago \| hide \| 11 comments
17.		Blog Feeds (blogfeeds.net)
		176 points by stevedsimkins 15 hours ago \| hide \| 57 comments
18.		NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (cr.yp.to)
		134 points by zdw 12 hours ago \| hide \| 53 comments
19.		Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
		61 points by bookofjoe 11 hours ago \| hide \| 10 comments
20.		Why I Choose Email over Messaging (spinellis.gr)
		54 points by iparaskev 2 hours ago \| hide \| 46 comments
21.		Matrix Core Programming on AMD GPUs (salykova.github.io)
		81 points by skidrow 13 hours ago \| hide \| 3 comments
22.		A 2025 manual to the DEC PDP-1 (obsolescence.dev)
		6 points by ozymandiax 2 hours ago \| hide \| discuss
23.		XiangShan Vector Floating-Point Unit Design (xiangshan.cc)
		57 points by camel-cdr 12 hours ago \| hide \| 6 comments
24.		Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
		30 points by PaulHoule 9 hours ago \| hide \| 4 comments
25.		Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (dtu.dk)
		54 points by felineflock 12 hours ago \| hide \| discuss
26.		Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
		238 points by amichail 1 day ago \| hide \| 223 comments
27.		How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
		86 points by PaulHoule 17 hours ago \| hide \| 28 comments
28.		Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)
		86 points by zdw 17 hours ago \| hide \| 28 comments
29.		Paged Out Issue #7 [pdf] (pagedout.institute)
		263 points by todsacerdoti 1 day ago \| hide \| 21 comments
30.		$912 energy independence without red tape (sunboxlabs.com)
		171 points by nikodunk 13 hours ago \| hide \| 125 comments
		More