I'm working on a TUI for students to explore topics of theoretical computer science. Set theory and propositional logic are done. So a lot is still missing but the first version is published on crates.io
https://codeberg.org/dawe/theotui
#rust #ratatui #computerscience #logic #math
When you remember the #novel you're reading is written by a computer-science prof it suddenly makes sense.
Hype for the Future 140D: System Requirements for Instruction Set Extensions (Intel x86)
Introduction Different instruction set extensions require generally different generations of Intel x86 processors. Please note that AVX-512 is only available on select processors in the Intel 11th and 12th generations. Specifications MMX: Pentium MMX or later (except Pentium Pro) SSE: Pentium III SSE2: Pentium 4 SSE3: Pentium 4 “Prescott” (2004) SSSE3: Core 2 Solo/Duo/Quad/Extreme SSE4, SSE4.1: Core 2 “Penryn” (2007/08) SSE4.2: Core “Nehalem” AVX: Core “Sandy […]Applied beats theory, and yes, CS means computer science today.
Postdoctoral Researcher
Rutgers Robert Wood Johnson University Hospital
See the full job description on jobRxiv: https://jobrxiv.org/job/rutgers-robert-wood-johnson-university-hospital-27778-postdoctoral-researcher/
#artificialintelligence #BioinformaticsandComputationalBiology #Biomedicalimaging #computerscience #ScienceJobs #hiring #research
https://jobrxiv.org/job/rutgers-robert-wood-johnson-university-hospital-27778-postdoctoral-researcher/?fsp_sid=10505
📹Can 3D scenes be encoded into and rendered from a set of compressed tokens? New work "SceneTok" from the Geometric Representation Learning group at MPI for Informatics shows that they can, and that this approach pairs naturally with generative rendering to handle uncertainty in observations.
↪️More information on the project page: https://mpi-inf.link/scenetok
Accepted at CVPR2026
Wonderful:
“Celebrating Tony Hoare’s Mark On Computer Science”, Bertrand Meyer (https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/).
Via HN: https://news.ycombinator.com/item?id=47422228
On Lobsters: https://lobste.rs/s/tr5qdg/celebrating_tony_hoare_s_mark_on_computer
#RIP #Obituary #ComputerScience #TonyHoare #CARHoare #CompSci #CS
Tony Hoare at the LASER summer school, September 2007 (All photographs in this article are by the author) Had they included just one of Tony Hoare’s major achievements, many scientific careers would be considered prestigious enough. His had a long list, which I am going to try to summarize, not pretending to get anywhere close ... Read more
“The last tool you reach for is the one that can cut you most deeply.”
Check out the latest edition of "Queue: In Practice,” a new ACM newsletter series available only on #Substack.
FWIW and for sharing the joy: I have just successfully defended my #dissertation titled
”Societal IT systems development. Towards a discursive process-oriented multi-perspective approach to co-designing, -operating, -assessing, and -regulating societally relevant IT systems” 😅🥰
So many wonderful people were supporting me all along the way, it's always teamwork, thank you so much. 🙏
After some revisions, corrections, editing etc. it will of course be freely available. #CCBY #OA #computerscience @tuberlin @Weizenbaum_Institut
Die Forschungsgruppe "4D Quantum Computer Vision" unter der Leitung von Dr. Vladislav Golyanik untersucht, wie sich Quantencomputing für Visual Computing und Computer Vision nutzen lässt. Insbesondere neuartige Quantum Neural Networks sind derzeit ein Forschungsschwerpunkt.
↪️ Mehr im neuen Forschungs-Spotlight: https://mpi-inf.link/4DQCV
dawe
Ross of Ottawa
novaTopFlex
Stephen Blum
jobRxiv
MPI für Informatik
रञ्जित (Ranjit Mathew)
Assn for Computing Machinery
rAIner Agentic Quantum Rehak