Schlagwort-Archiv: Komplexität

Very occasionally.

E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).

github.com/eprover/eprover

Cut down the noise.

Identifying complexity is hard.

Understandabilitynessing.

Wie de voorkeur geeft aan het schrijven van teksten gericht op het vergemakkelijken van het begrijpen ervan dient het zich richten op het schrijven van gebruiksaanwijzingen voor IKEA te overwegen.

De Speld: Met deze academische schrijftips zorg je ervoor dat niemand je paper per ongeluk kan begrijpen

BSB.

None of my distant relatives will get into arguments on The Face Website about whether or not the stuck boat is making a nuisance for lots of people.

Stone Soup: I Like That The Boat Is Stuck

Malsewhere.

It’s one of the great chastening facts of working with systems that the part of a system that malfunctions is almost never the part in which you notice the malfunction.

Edward Snowden: Permanent Record

 

Niveausprach.

Toch, wie een taal spreekt die zijn moedertaal niet is, die wordt naar beneden gedrukt, onherroepelijk.

Willem Frederik Hermans: Nooit meer slapen

Toooools.

Eclipse allows tool builders to independently develop tools that integrate with other people's tools so seamlessly you can't tell where one tool ends and another starts.

Eclipse Platform Overview

Ältere Beiträge «