#Tag
This question is for those who specialized in theoretical computer science and left academia at some point:
What to you do as a paid job now?
Edit: The "theoretical" is important.
This question is for those who specialized in theoretical computer science and left academia at some point:
What to you do as a paid job now?
Edit: The "theoretical" is important.
Today in the classroom:
First year chem is finishing their poster/mural project. We'll do atomic structure at the end of class and practice describing atoms tomorrow (protons, neutrons, isotopes, etc)
Second year is entering the weird world of electrons and empirical atomic structure. Today, we're talking wave-particle duality. I've got a laser and we'll look at interference patterns to prep for the emission spectra lab tomorrow.
@brianb It would be a good day to let your high school #chemistry (and #computerscience ) students see that "¡Las Moléculas son Bellas!" https://www.youtube.com/live/Wlp8sqUmQ18
got some Abstract State Machines executin' from the CoreASM project.
https://github.com/CoreASM/coreasm.core
very satisfying - minimal bitrot! although the repo does not include the many ASM specifications included in the PhD dissertation:
https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/9719/ETD4729.pdf
Why Busy Beaver Hunters Fear the Antihydra
https://benbrubaker.com/why-busy-beaver-hunters-fear-the-antihydra/
#HackerNews #BusyBeaver #Antihydra #ComputerScience #ComplexityTheory #TechNews
The project “SAPIENCE: Symbols, Preliteracy and Code Evolution” (U Bologna) has 7 post-doc positions open, including one in #DigitalHumanities, #ComputationalLinguistics or #ComputerScience (No. 2):
https://www.sapience-fis.com/jobs/ #fedihumjobs
The project “SAPIENCE: Symbols, Preliteracy and Code Evolution” (U Bologna) has 7 post-doc positions open, including one in #DigitalHumanities, #ComputationalLinguistics or #ComputerScience (No. 2):
https://www.sapience-fis.com/jobs/ #fedihumjobs
Team claims to have Lean 4 proof that P≠NP
https://arxiv.org/abs/2510.17829
#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews
Team claims to have Lean 4 proof that P≠NP
https://arxiv.org/abs/2510.17829
#HackerNews #PvsNP #Lean4 #Proof #Mathematics #ComputerScience #HackerNews
I am organizing the INFRASTRUCTURE workshop with awesome colleagues, our call for contribution is still open until 24th October!
https://infrastructure.web.deuxfleurs.fr/2025/
It targets researchers in computer science AND social sciences, but we would love to have participants from civil society.
Besides submitting a contribution, you can also simply come: the event is on 5th December in #Nantes . Attendance is free but you must register.
#research #infrastructure #sts #computerscience #science #deuxfleurs
I am organizing the INFRASTRUCTURE workshop with awesome colleagues, our call for contribution is still open until 24th October!
https://infrastructure.web.deuxfleurs.fr/2025/
It targets researchers in computer science AND social sciences, but we would love to have participants from civil society.
Besides submitting a contribution, you can also simply come: the event is on 5th December in #Nantes . Attendance is free but you must register.
#research #infrastructure #sts #computerscience #science #deuxfleurs
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.
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
@babe On a similar note:
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
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
A space for Bonfire maintainers and contributors to communicate
