Beautiful Poetry [LWN.net]

Beautiful Poetry

Posted Feb 12, 2026 17:07 UTC (Thu) by acarno (subscriber, #123476)
Parent article: Poisoning scraperbots with iocaine

> That assumes, of course.

The entirety of (software) engineering summed up in one beautiful, succinct expression.

to post comments

Beautiful Poetry

Posted Feb 14, 2026 18:30 UTC (Sat) by Heretic_Blacksheep (guest, #169992) [Link] (3 responses)

Arguably it sums up all of science and philosophy. You have to make assumptions to get anywhere. Making assumptions by itself isn't a problem. Setting assumptions in stone and metaphorically making them into religious literalisms that can't be questioned is what gets people into trouble.

There's a reason why good teaching programs not only show you how the state of art got from A to B, but gives you the tools to question the validity of the process yourself, including questioning the supposedly unquestionable. That's where "Queering" philosophy comes from. It's a challenge to the status quo by questioning long held assumptions that underlie mainstream religious concepts, social constructs/contracts, and sciences by approaching those pillars from different points of view. Sometimes those pillars hold because the assumptions are solid, sometimes they fall when the assumptions they're founded on are faulty. Many times when those pillars are in danger of falling, a vocal segment of people take it personally and go on religious-like crusades against the Other that pointed out the cracks in the foundation.

Beautiful Poetry

Posted Feb 14, 2026 19:08 UTC (Sat) by Wol (subscriber, #4433) [Link] (2 responses)

Assumptions come in two forms in philosophy/mathematics. You have axioms (we believe this because it's unproveable), and theories (we believe this because it appears to be correct).

The aim of mathematics is to turn theories into theorems (this can be logically proven provided our theories are correct).

In Science theories are the best we can get, because the only proof we have is "this doesn't work in real life".

These tow different approaches are how I personally differentiate Science from Maths.

And one of the best examples imho as to how things can be got wrong, and change over time, is geometry. Euclid laid down his axioms, including the statement "parallel lines never meet", which gave us the 3D geometry we're all familiar with. But at some point - about the time of Newton or even earlier - some people tried to formalise the axioms of geometry, and that one just "didn't fit". So people started thinking "what if it isn't an axiom at all", and we ended up with relativity and all that stuff :-)

It remains the defining axiom of 3D geometry, but it is a parochial axiom, not a universal one.

Cheers,
Wol

Beautiful Poetry

Posted Feb 14, 2026 19:10 UTC (Sat) by Wol (subscriber, #4433) [Link]

WHOOPS

> The aim of mathematics is to turn theories into theorems (this can be logically proven provided our theories are correct).

The aim of mathematics is to turn theories into theorems (this can be logically proven provided our *AXIOMS* are correct).

Cheers,
Wol

Beautiful Poetry

Posted Feb 15, 2026 2:17 UTC (Sun) by mathstuf (subscriber, #69389) [Link]

> Euclid laid down his axioms, including the statement "parallel lines never meet", which gave us the 3D geometry we're all familiar with. But at some point - about the time of Newton or even earlier - some people tried to formalise the axioms of geometry, and that one just "didn't fit".

Even Euclid (and contemporaries) didn't like it. That's why the parallel postulate isn't used for the entire first book until the end (constructing a square IIRC).