my coffees for the James Hoffmann fermentation project coffee tasting event have arrived!!
ionchy
@ionchy.ca
815 followers 317 following 1.7K posts
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 I inherited types.pl ⍼ ionathan.ch
![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)