START DOING COMPUTER SCIENCE

[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