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.

#readingNow #reading #computerScience

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 […]

https://novatopflex.wordpress.com/2026/03/20/hype-for-the-future-140d-system-requirements-for-instruction-set-extensions-intel-x86/

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 …

novaTopFlex

Applied beats theory, and yes, CS means computer science today.

#computerscience #college #math

Postdoctoral Researcher

Post a job in 3min, or find thousands of job offers like this one at jobRxiv!

jobRxiv

📹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

#research #computerscience #paper

SceneTok

SceneTok: A Compressed, Diffusable Token Space for 3D Scenes.

Celebrating Tony Hoare's mark on computer science - Bertrand Meyer's technology+ blog

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

Bertrand Meyer's technology+ blog

“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.

Subscribe here: https://open.substack.com/pub/theofficialacm/p/smart-and-fast-thinkers-are-good?r=6w5qsy&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true

#ACMNewsletter #softwareengineering #computerscience

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

#research #quantum #computerscience

Quantum Computing Meets Visual Computing: New Paths for Image Reconstruction

Max Planck researchers investigate “quantum neural networks” as a building block for more efficient visual-computing models.