ogogmad's submissions

1.		From APIs to Languages: Generalising Method Names [using regular expressions] (acolyer.org)
		1 point by ogogmad 19 days ago \| past
2.		Zeta(5) has been proven irrational (also Lean-verified) (reddit.com)
		2 points by ogogmad 20 days ago \| past \| 1 comment
3.		Tao's reservations on future AI-only solutions to NS finite-time blowup problem
		3 points by ogogmad 41 days ago \| past \| 1 comment
4.		Eisenstein Integers (wikipedia.org)
		5 points by ogogmad 44 days ago \| past \| 1 comment
5.		Grassmann's Law (Linguistics) (wikipedia.org)
		1 point by ogogmad 48 days ago \| past
6.		Verner's Law (Linguistics) (wikipedia.org)
		2 points by ogogmad 49 days ago \| past
7.		Grimm's Law (wikipedia.org)
		1 point by ogogmad 49 days ago \| past
8.		Simple Machine (wikipedia.org)
		4 points by ogogmad 50 days ago \| past
9.		Gap in Mochizuki's proof of ABC confirmed by Lean (twitter.com/fumiharukato)
		35 points by ogogmad 3 months ago \| past \| 1 comment
10.		Swalt Smart Case, the ultimate way to protect your mobile (swalt.fr)
		2 points by ogogmad 5 months ago \| past
11.		Critical Perspectives on Provable Security: 15 Years of "Another Look" Papers [pdf] (uwaterloo.ca)
		2 points by ogogmad 5 months ago \| past
12.		Simple Machines (wikipedia.org)
		3 points by ogogmad 6 months ago \| past
13.		Why Everyone Gets the F1 Inerter Wrong – Explained Clearly [video] (youtube.com)
		2 points by ogogmad 6 months ago \| past
14.		Chlorpromazine (wikipedia.org)
		3 points by ogogmad 6 months ago \| past
15.		Does Syntax Matter? (gingerbill.org)
		2 points by ogogmad 6 months ago \| past \| 1 comment
16.		Bead Sort (Gravity Sort) (wikipedia.org)
		5 points by ogogmad 6 months ago \| past
17.		OpenSUSE Kalpa (kalpadesktop.org)
		213 points by ogogmad 7 months ago \| past \| 109 comments
18.		Boss of 'Black Swan' fund expects stocks to surge higher before a historic crash (businessinsider.com)
		3 points by ogogmad 8 months ago \| past
19.		Riemann Surfaces (wikipedia.org)
		3 points by ogogmad 8 months ago \| past
20.		Computability of Differential Equations (springer.com)
		4 points by ogogmad 8 months ago \| past
21.		GraphCore (wikipedia.org)
		2 points by ogogmad 8 months ago \| past
22.		Schwarz-Christoffel Mapping (wikipedia.org)
		2 points by ogogmad 8 months ago \| past
23.		Riemann Mapping Theorem (wikipedia.org)
		2 points by ogogmad 8 months ago \| past \| 1 comment
24.		Installing Gnome on OpenBSD 7.8 (btxx.org)
		2 points by ogogmad 8 months ago \| past
25.		I was placed in the "retarded" class in first grade (perens.com)
		2 points by ogogmad 9 months ago \| past \| 3 comments
26.		Vitalik Says Ethereum Just Solved Crypto's Biggest Problem (cryptonews.com)
		6 points by ogogmad 9 months ago \| past \| 3 comments
27.		Oliver Byrne's "The Elements of Euclid", First Six Books [pdf] (proyectodescartes.org)
		9 points by ogogmad 9 months ago \| past \| 4 comments
28.		OpenAI achieved IMO gold with experimental reasoning model (reddit.com)
		8 points by ogogmad on July 19, 2025 \| past \| 2 comments
29.		Tropical Semiring in Dyalog APL (grahamenos.com)
		6 points by ogogmad on Oct 14, 2024 \| past \| 1 comment
30.		Tropical Semirings in Dyalog APL (grahamenos.com)
		3 points by ogogmad on Oct 10, 2024 \| past
		More