Hacker News

1.		38th Chaos Communication Congress (ccc.de)
		50 points by tannhaeuser 1 hour ago \| hide \| 1 comment
2.		F*: A proof oriented general purpose programming language (fstar-lang.org)
		85 points by akkad33 5 hours ago \| hide \| 17 comments
3.		Cognitive load is what matters (minds.md)
		39 points by zdw 3 hours ago \| hide \| 4 comments
4.		The software you need for holiday overdecoration (dbos.dev)
		101 points by KraftyOne 7 hours ago \| hide \| 24 comments
5.		A new learning experience on MDN (developer.mozilla.org)
		45 points by Vinnl 5 hours ago \| hide \| 11 comments
6.		This open problem taught me what topology is [video] (youtube.com)
		284 points by surprisetalk 12 hours ago \| hide \| 43 comments
7.		Three-quarters of the land is drying out, 'redefining life on Earth' (grist.org)
		70 points by rntn 2 hours ago \| hide \| 18 comments
8.		Show HN: I made a website to semantically search ArXiv papers (mitanshu.tech)
		158 points by Quizzical4230 13 hours ago \| hide \| 45 comments
9.		Ask HN: Resources for General Purpose GPU development on Apple's M* chips?
		37 points by thinking_banana 2 hours ago \| hide \| 20 comments
10.		Bit Vectors and my first steps into assembly (smidt.dev)
		72 points by thunderbong 11 hours ago \| hide \| 14 comments
11.		When power cycling your (x86) server isn't enough to recover it (utcc.utoronto.ca)
		81 points by zdw 10 hours ago \| hide \| 30 comments
12.		Navtive FlameGraphViewer (laladrik.xyz)
		47 points by laladrik 8 hours ago \| hide \| 10 comments
13.		The Swedish cabin on the frontline of a possible hybrid war (theguardian.com)
		23 points by Sami_Lehtinen 5 hours ago \| hide \| 9 comments
14.		CRT Simulation in a GPU Shader, Looks Better Than Black Frame Insertion (blurbusters.com)
		155 points by bangonkeyboard 17 hours ago \| hide \| 46 comments
15.		macOS menu bar app that shows how full the ISS urine tank is in real time (github.com/jaennaet)
		925 points by ajdude 20 hours ago \| hide \| 202 comments
16.		Show HN: FixBrowser – a lightweight web browser created from scratch (fixbrowser.org)
		186 points by jezek2 15 hours ago \| hide \| 86 comments
17.		Unforgeable Quantum Tokens Delivered over Fiber Network (ieee.org)
		39 points by pseudolus 10 hours ago \| hide \| 10 comments
18.		Merry Christmas Everyone
		1163 points by joshagilend 15 hours ago \| hide \| 295 comments
19.		Exploring LoRA – Part 1: The Idea Behind Parameter Efficient Fine-Tuning (medium.com/inspiredbrilliance)
		124 points by aquastorm 18 hours ago \| hide \| 11 comments
20.		Ants vs. Humans: Putting Group Smarts to the Test (weizmann.ac.il)
		9 points by thunderbong 5 hours ago \| hide \| 2 comments
21.		Spectral Imaging Made Easy: A Powerful Python Library (github.com/siapy)
		51 points by janezla 14 hours ago \| hide \| 17 comments
22.		Are Immutable Linux Distros right for you? (linuxblog.io)
		125 points by ashitlerferad 20 hours ago \| hide \| 103 comments
23.		Sherlock: Hunt down social media accounts by username across 400 social networks (sherlockproject.xyz)
		68 points by leonry 1 hour ago \| hide \| 56 comments
24.		Masks, Smoke, and Mirrors: The story of EgyptAir flight 804 (admiralcloudberg.medium.com)
		212 points by gdmt 23 hours ago \| hide \| 106 comments
25.		Adversarial policies beat superhuman Go AIs (2023) (arxiv.org)
		293 points by amichail 1 day ago \| hide \| 125 comments
26.		Giant sloths and mastodons lived with humans for millennia in the Americas (phys.org)
		57 points by wglb 7 hours ago \| hide \| 15 comments
27.		The number pi has an evil twin (mathstodon.xyz)
		528 points by pkaeding 1 day ago \| hide \| 192 comments
28.		T * sin (t)' ≈ Ornamented Christmas Tree (2013) (wolfram.com)
		348 points by ryeguy_24 17 hours ago \| hide \| 39 comments
29.		Early Christian Writings (earlychristianwritings.com)
		12 points by handfuloflight 2 hours ago \| hide \| 2 comments
30.		Hoarder: Self-hostable bookmark-everything app (github.com/hoarder-app)
		390 points by thunderbong 1 day ago \| hide \| 81 comments
		More