Reposted by curche
curche
@curche.xyz
128 followers 233 following 216 posts
PLT/FM, FOSS, Weeb in no specific order "Very Computer" problems, Goes off on tangents while replying
PLT/FM, FOSS, Weeb in no specific order "Very Computer" problems, Goes off on tangents while replying
![Alteration of the "STOP DOING MATH" meme, edited to the following:
STOP DOING SPECS
- SOFTWARE WAS NOT SUPPOSED TO BE STRICTLY DEFINED
- YEARS OF SPEC WRITING yet NO REAL-WORLD USE FOUND for the AUGMENTED BACKUS-NAUR FORM
- Wanted to establish standards anyway for a laugh? We had a tool for that: It was called "MANPAGES"
- "The container of a navigable navigable is the navigable container whose content navigable is navigable" - Statements dreamed up by the utterly Deranged
LOOK at what Spec Authors have been demanding your Respect for all this time, with all the RFCs & working groups we built for them
(This is REAL Spec, done by REAL Spec Authors):
[Screenshot of the introduction to Annex K of the ISO/IEC 9899:2024 working draft]
?????
[Screenshot of the purchase page for IEEE 802.11-2024, showing a price of $913]
???????
[Drawing of two carrier pigeons standing side by side]
?????????????????
"Hello I would like [photo of a clothespin-based DHCP implementation info page] IPs please"
They have played us for absolute fools](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:x2zlacl3cusn5lllpdirnaxu/bafkreiejo6zm4pzmww44dvoaqj4jtwl7nmhfawcj54lujqglftann7aisq)
![START DOING COMPUTER SCIENCE
* VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
* YEARS OF PROGRAMMING yet STILL MORE TO CREATE
* Don't want to write code anyway? We have a field for you: It's called THEORY
* "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired
LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):
[graph of the ARPANET] the Internet
[photo of an FPGA] FPGAs
[screenshot of RocqIDE] proof assistants
They have given us beautiful tools](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ypsrm6ue6o5xk5kvbdhwtppm/bafkreifb445jln2aytislayvqayzjf5mp76tpcrwiqpdrkwnrypfz3rd4m)
