Hacker News

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