I know it wasn’t as life-changing as the tier list episode about pizza toppings, but the @atpfm member special on Computer Science Curriculum was really interesting. Part of it was hearing the ways in which the subject was taught to the three of them as well as John’s son’s current experiences, while they also analyzed what was important and what was just wrong about the way they were taught.
halcy :icosahedron:
boosted
A permanent Assistant Professor position in Computer Science is available in Maynooth University (Ireland)!
Please spread the word!
#jobfairy #ComputerScience #academia
Vacancy ID : 037603
A permanent Assistant Professor position in Computer Science is available in Maynooth University (Ireland)!
Please spread the word!
#jobfairy #ComputerScience #academia
Vacancy ID : 037603
STOP OCCUPATION 🍉 S. Costa
and 1 other
boosted
@babe On a similar note:
alcinnz
boosted
Hey y'all. My wife recently graduated with a masters in CS (main focus areas being data science and AI/ML) and is still looking for a job as the market is utter shit. We're in the Bay Area for the foreseeable future, so she's currently looking for job opportunities either in the area or fully remote!
#GetFediHired#SFBayArea#ComputerScience#MachineLearning#DataScience
Hey y'all. My wife recently graduated with a masters in CS (main focus areas being data science and AI/ML) and is still looking for a job as the market is utter shit. We're in the Bay Area for the foreseeable future, so she's currently looking for job opportunities either in the area or fully remote!
#GetFediHired#SFBayArea#ComputerScience#MachineLearning#DataScience
theruran 💻 🌐 :cereal_killer:
boosted
My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf
This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.
Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).
Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html
My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf
This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.
Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).
Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html
Kathy Reid
boosted
Voice actors are already losing work to an AI disruption expected to reach everything
By Romy Stephens
The Productivity Commission says artificial intelligence could offer a $116 billion shot in the arm to Australia's economy. But for people like voice actor Colin Cassidy, that means a disruption to their daily work.
https://www.abc.net.au/news/2025-08-15/how-artificial-intelligence-could-threaten-jobs/105642364
#Technology#FederalGovernment#FederalParliament#ComputerScience#PerformingArts#RomyStephens
Voice actors are already losing work to an AI disruption expected to reach everything
By Romy Stephens
The Productivity Commission says artificial intelligence could offer a $116 billion shot in the arm to Australia's economy. But for people like voice actor Colin Cassidy, that means a disruption to their daily work.
https://www.abc.net.au/news/2025-08-15/how-artificial-intelligence-could-threaten-jobs/105642364
#Technology#FederalGovernment#FederalParliament#ComputerScience#PerformingArts#RomyStephens
Kathy Reid
boosted
Our first annual IDEATE Summit is in Canberra 1-2 Sept.
Bringing together Australian universities and tech industry, we're working together to improve inclusion, diversity and equity in Australian technology education.
Details: https://ideate.community/summit/
#uni#DEI #disability#STEM#ComputerScience
Our first annual IDEATE Summit is in Canberra 1-2 Sept.
Bringing together Australian universities and tech industry, we're working together to improve inclusion, diversity and equity in Australian technology education.
Details: https://ideate.community/summit/
#uni#DEI #disability#STEM#ComputerScience
@ramsey @m1ke @maccath Yeah. I have read some of the technical report, and some of these bugs are just silly. Like not dealing with idempotency in a distributed sync. But the real scandal are the cover-ups, and denial from senior Post Office staff and leadership. Fujitsu is also not getting the penalties it deserves.
@derickr @ramsey @m1ke @maccath Ethics should be a compulsory part of any #softwareengineering #computerscience degree, is a hill I will happily die on. These weren’t kids off a bootcamp, these were senior BCS type engineers, who were happy to see their users jailed to save their blushes. There are no polite words to adequately describe these people.
PseudoSeer is a search engine for algorithms expressed in pseudocode. An interesting concept.
Okay dumb question:
We all know that the speed of your internet is as fast as the slowest component, right ?
So what is the point in having fiber to the home if the router goes only up to 2.5 GB/s on the outputs ?
Like, my super speed is wasted by the router at this point. Or am I getting something wrong ?
James Smith 💾
boosted
🆕 blog! “It is 1939 and you want to use public-key cryptography”
Imagine, just for a moment, that a mathematical breakthrough had occurred on the eve of the second World War. Perhaps Turing or Rejewski or Driscoll realised that prime number theory held the key to unbreakable encryption. This blog post attempts to answer the question "could public-key …
👀 Read more: https://shkspr.mobi/blog/2025/07/it-is-1939-and-you-want-to-use-public-key-cryptography/
⸻
#ComputerScience #encryption
🆕 blog! “It is 1939 and you want to use public-key cryptography”
Imagine, just for a moment, that a mathematical breakthrough had occurred on the eve of the second World War. Perhaps Turing or Rejewski or Driscoll realised that prime number theory held the key to unbreakable encryption. This blog post attempts to answer the question "could public-key …
👀 Read more: https://shkspr.mobi/blog/2025/07/it-is-1939-and-you-want-to-use-public-key-cryptography/
⸻
#ComputerScience #encryption
Ulrike Hahn
boosted
How are concepts like 'reasoning' and 'inference' defined?
#Philosophy has definitions that go way back (e.g., in #epistemology and #PhilMind). Now #computerScience are realizing a need for definitions.
This #openAccess#CS review takes a crack at them: https://doi.org/10.48550/arXiv.2504.15900
