START DOING COMPUTER SCIENCE

[ionchy@types.pl]

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 world wide web] [photo of an FPGA] [screenshot of a proof assistant]

They have given us beautiful tools

[ionchy@types.pl]

@sainati ok I enabled that too

[ionchy@types.pl]

[sys64738@types.pl]

@ionchy wait, weren't FPGAs invented by EEs?

[ionchy@types.pl]

@sys64738 and proof assistants were invented by mathematicians. shhh

[hipsterelectron@circumstances.run]

@ionchy thank you i love you

[cyanidesunrise@zoner.work]

@ionchy@types.pl may your CVEs be many and your nines few

[zeeshan_ahmad@mathstodon.xyz]

@ionchy (certainly a naïve question) but how do I start?

[nemo@camp.crates.im]

@ionchy

[bms48@mastodon.social]

@Zeeshan_Ahmad @ionchy You must throw yourself in, there is no other way. there are no real shortcuts to some aspects of epistemology (knowledge about knowledge) and human pedagogy (learning). people who wish to believe otherwise are either deluding themselves, or attempting to mislead and delude other people. they are also being destructive; the uninformed philosophical positions driving some of this were utterly dependent on the rest of us and our work to begin with, not to mention arrogant.

[das_g@chaos.social]

@Zeeshan_Ahmad The term «CS professional» in your profile may indicate that you have already started doing computer science. If so:
• you probably weren't in the intended target group for that call to action anymore;
• if you'd like to start anew anyway, you might have to stop first.

@ionchy

[sortius@mastodon.social]

@ionchy my ex-partner did computer science at university.

She's a manager now

[jonmsterling@mathstodon.xyz]

@ionchy Names like q, and p^*q, and p^*p^*q.

[das_g@chaos.social]

@bms48 True, yet I think our field should provide more guidance (à la https://programbydesign.org & https://deinprogramm.de) to prospective learners than it usually tends to do.

@Zeeshan_Ahmad @ionchy

[bms48@mastodon.social]

@das_g @Zeeshan_Ahmad @ionchy I'd go further and be informed by, and practice from, Ivan Illich's "Deschooling Society" and "Tools for Conviviality" (radical pedagogy) as well as Paul Feyrabend's "Against Method" (radical epistemology). The traditional University is toast otherwise. There's definitely still a place for it. I can't be too critical though for Reasons(tm). Don't hate the player, hate the game; hate the sin, love the sinner.

[sys64738@types.pl]

@gunchleoc @ionchy FPGAs were primarily a commercial, not academic, invention from the 80s, decades after the big CS boom in academic research

[tranquillity@mastodon.minionflo.net]

@ionchy CoqIDE spotted in the wild