p4bl0's submissions | Hacker News

1.		Mergiraf: a syntax-aware merge driver for Git (mergiraf.org)
		431 points by p4bl0 12 days ago \| past \| 87 comments
2.		Friendly Introduction to Differential Privacy (desfontain.es)
		1 point by p4bl0 13 days ago \| past \| discuss
3.		CompCert: Formally verified compilers usable for critical embedded software (compcert.org)
		2 points by p4bl0 28 days ago \| past
4.		Tor Browser 14.0 Released, based on Firefox 128 ESR (torproject.org)
		16 points by p4bl0 29 days ago \| past
5.		Ubisoft staff in France on strike over remote working (lemonde.fr)
		2 points by p4bl0 30 days ago \| past
6.		Inkscape 1.4 Release (inkscape.org)
		13 points by p4bl0 38 days ago \| past
7.		KDE Goals – A New Cycle Begins (kde.org)
		20 points by p4bl0 73 days ago \| past \| 1 comment
8.		gitin: Command-line interactive commit/branch/status explorer for Git (github.com/isacikgoz)
		2 points by p4bl0 76 days ago \| past
9.		Ellipsis stepping down as a NaNoWriMo sponsor (ellipsus.com)
		7 points by p4bl0 78 days ago \| past
10.		Debian releases 12.7 with 55 security updates and stability improvements (debian.org)
		20 points by p4bl0 81 days ago \| past \| 1 comment
11.		Telegram may be trying to evade EU regulations by underestimating its user count (ft.com)
		1 point by p4bl0 83 days ago \| past \| 1 comment
12.		Creator of the One Million Checkboxes website: "I thought I'd been hacked" (twitter.com/itseieio)
		3 points by p4bl0 83 days ago \| past \| 1 comment
13.		KDE Goals – Our Cumulative Culture (kde.org)
		4 points by p4bl0 84 days ago \| past \| 1 comment
14.		Chaitin's Constant: The Halting Probability (wikipedia.org)
		2 points by p4bl0 84 days ago \| past
15.		OCaml Platform Roadmap for 2024-2026 (ocaml.org)
		3 points by p4bl0 3 months ago \| past
16.		KDE Gear 28.08 Released (kde.org)
		10 points by p4bl0 3 months ago \| past \| 1 comment
17.		man nanorc (nano-editor.org)
		1 point by p4bl0 3 months ago \| past \| 1 comment
18.		KDE Ships Framework 6.5.0 (kde.org)
		3 points by p4bl0 3 months ago \| past
19.		We have proved "BB(5) = 47,176,870" (bbchallenge.org)
		1 point by p4bl0 4 months ago \| past \| 2 comments
20.		Godotcaml for Godot 4.2 (fizzixnerd.com)
		135 points by p4bl0 4 months ago \| past \| 52 comments
21.		The role of aesthetics in understanding source code (enframed.net)
		2 points by p4bl0 4 months ago \| past
22.		A Critique of Cara.app: The 'No AI' Instagram and Artstation Copycat Child (davidrevoy.com)
		1 point by p4bl0 5 months ago \| past \| 2 comments
23.		Clang optimize out countermeasure in constant-time PQ-crypto implementation (twitter.com/purnaltoon)
		1 point by p4bl0 5 months ago \| past
24.		AI for nethack: "weirdest bug in my CS career" (twitter.com/cupiabart)
		9 points by p4bl0 6 months ago \| past \| 1 comment
25.		CHES 2024 crypto-engineering challenge (iacr.org)
		2 points by p4bl0 6 months ago \| past
26.		KDE Gear 24.05 (kde.org)
		3 points by p4bl0 6 months ago \| past
27.		What Does a Great Cup of Coffee Taste Like? [video] (youtube.com)
		1 point by p4bl0 6 months ago \| past
28.		Using Simple Tools as an Act of Independence (untappedjournal.com)
		3 points by p4bl0 6 months ago \| past
29.		Web Export in Godot 4.3 (godotengine.org)
		4 points by p4bl0 6 months ago \| past
30.		Translation of Rust's core and alloc crates to Coq for formal verification (formal.land)
		358 points by p4bl0 6 months ago \| past \| 116 comments
		More