Post #2781483
2026-05-22 23:25 UTC
START DOING COMPUTER SCIENCE
VARIABLES WERE SUPPOSED TO BE GIVEN NAMESYEARS OF PROGRAMMING yet STILL MORE TO CREATEDon'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 world wide web] [photo of an FPGA] [screenshot of a proof assistant]
They have given us beautiful tools
Replies (6)
-
@ionchy@types.pl 2026-05-23 00:17
:dragncoolmlem_hacker:
-
@sainati@types.pl 2026-05-22 23:26
@ionchy@types.pl let me boost this
-
@sys64738@types.pl 2026-05-23 02:16
@ionchy@types.pl wait, weren't FPGAs invented by EEs?
-
@sys64738@types.pl 2026-05-23 13:34
@gunchleoc@mastodon.scot @ionchy@types.pl FPGAs were primarily a commercial, not academic, invention from the 80s, decades after the big CS boom in academic research
-
@hipsterelectron@circumstances.run 2026-05-23 04:33
@ionchy@types.pl thank you i love you
-
@jonmsterling@mathstodon.xyz 2026-05-23 10:40
@ionchy@types.pl Names like q, and p^*q, and p^*p^*q.