#MULCIA: PhD position in logics for multi-agent systems, Utrecht University (Netherlands). https://tinyurl.com/27o2u2ht #PhD #CompSci
#MULCIA: PhD student in Computing Science focusing on the topic of parametric floating-point reasoning. https://tinyurl.com/2453wpqg #PhD #CompSci
Readings shared June 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/12-readings_shared_06-11-25 #AIforMath #CompSci #IA #ITP #LeanProver #Logic #Math #RustLang #SMT #Z3
Martin Davis: An overview of his work in logic, computer science, and philosophy. ~ Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker. https://hal.univ-lille.fr/hal-05061202v1/file/main.pdf #Logic #Math #CompSci
Quanta Magazine's Stephen Ornes describes a novel algorithm that can factor large numbers using only one qubit. The technique relies on quantum oscillation, and although it has a catch (the larger the number being factored the more energy the oscillators expend), the work points to new ways to perform quantum computing.
"New Quantum Algorithm Factors Numbers With One Qubit
-The catch: It would require the energy of a few medium-size stars."
https://www.quantamagazine.org/new-quantum-algorithm-factors-numbers-with-one-qubit-20250609/
#MULCIA: PhD position in logics for multi-agent systems, Utrecht (The Netherlands). https://tinyurl.com/27o2u2ht #PhD #CompSci #AI
https://www.youtube.com/watch?v=Y9BspntZHok
I Taught a Kids' Gamedev Class Using Tic-80 Fantasy Computer
Formalized CHIP-8 Tutorial in Python (Free Book Chapter)
https://nostarch.com/download/ComputerSciencefromScratch_chapter5.pdf
Discussions: https://discu.eu/q/https://nostarch.com/download/ComputerSciencefromScratch_chapter5.pdf
Astonishing discovery by computer scientist: how to squeeze space into time https://lobste.rs/s/an5g0c #video #compsci
https://www.youtube.com/watch?v=8JuWdXrCmWg
Meta Releases Llama Prompt Ops: A Python Package that Automatically Optimizes Prompts for Llama Models
What Works (and Doesn't) Selling Formal Methods
https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods
Discussions: https://discu.eu/q/https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods
2,000x faster route propagation by rewriting our Traefik gateway in Rust
https://rivet.gg/blog/2025-06-02-faster-route-propagation-by-rewriting-our-traefik-gateway-in-rust
Discussions: https://discu.eu/q/https://rivet.gg/blog/2025-06-02-faster-route-propagation-by-rewriting-our-traefik-gateway-in-rust
Zero-Cost 'Tagless Final' in Rust with GADT-style Enums
https://www.inferara.com/en/blog/rust-tagless-final-gadt/
Discussions: https://discu.eu/q/https://www.inferara.com/en/blog/rust-tagless-final-gadt/
I retired from my work architecting computer systems this week and went out to dinner to celebrate. My waitress was a recent Computer Engineer grad struggling to find a job in her field.
I'm skeptical about AI but do think jobs are being lost due to over-promoting it to depress wages and companies drinking the AI kool-aid.
"Learn to Code" Backfires Spectacularly as Comp-Sci Majors Suddenly Have Sky-High Unemployment
https://futurism.com/computer-science-majors-high-unemployment-rate
A cool thing about writing my course textbook in #emacs #orgmode is that I have a "view by unit" format book and a "view by assignment type" format book. All the same content, included into two diff base org docs. Students can approach however feels more organized to them.
#Education #CompSci
[P] gvtop: 
Material You TUI for monitoring NVIDIA GPUs
https://github.com/gvlassis/gvtop
Discussions: https://discu.eu/q/https://github.com/gvlassis/gvtop
Redesigning the Initial Bootstrap Sequence | Inside Rust
https://blog.rust-lang.org/inside-rust/2025/05/29/redesigning-the-initial-bootstrap-sequence/
Discussions: https://discu.eu/q/https://blog.rust-lang.org/inside-rust/2025/05/29/redesigning-the-initial-bootstrap-sequence/
Parallel generational-copying garbage collection with a block-structured heap [2008]
By: S. Marlow, T. Harris, Roshan P. James, et al.
https://github.com/papers-we-love/papers-we-love/blob/master/garbage_collection/parallel_generational_copying_garbage_collection_with_a_block_structured_heap.pdf
https://www.semanticscholar.org/paper/839ef90d70e4779a4b6795b06f314294ea539add
#Harvard Lets You Take 133 #FreeOnlineCourses: Explore Courses on #Justice, #AmericanGovernment, #Literature, #Religion, #CompSci & More
https://www.openculture.com/2025/05/harvard-lets-you-take-133-free-online-courses.html
