🎓 Computer Science - dotoleeoak · Scour

LeanBET: Formally-verified surface area calculations in Lean 🦀Rust

Justin Solomon appointed associate dean of engineering education 🌐Distributed Systems

news.mit.edu·1d

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 🦀Rust

Portland PLV Group ⚙️Systems Programming

plv.cs.pdx.edu·5d

Aether: High-performance, formally-verified storage engine written in Rust 🦀Rust

codeberg.org·2d·Hacker News

Comprehensive Data Structures and Algorithms in Python 🦀Rust

amazon.in·4d·r/coding

fbcouto/java-multimerge-dll: This repository contains the high-performance native extension for the Java Virtual Machine (JVM) using the Multimerge parallel sorting algorithm. 🦀Rust

github.com·1d·Hacker News

The Geomblog ⚙️Systems Programming

blog.geomblog.org·6d

Can AI do Theory @ STOC 2026 🏗️Compilers

cstheory-events.org·3d

Intersecting Dense Automata 🦀Rust

What do data scientists get hired to do? 🔧DevOps

datascienceweekly.org·6d

Elon Musk Makes X’s Latest Algorithm Public On Github Triggering Hilarious Memefest On Twitter 🦀Rust

in.mashable.com·5d

AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. ☁️Cloud Infrastructure

thenewstack.io·5d·Hacker News

I Tried 100+ Python Programming Courses: Here Are My Top 15 Recommendations 🦀Rust

javarevisited.blogspot.com·4d·javarevisited.blogspot.com

Computing Taste: Algorithms and the Makers of Music Recommendation, Seaver 💾Storage Systems

press.uchicago.edu·5d

Mathematical Informatics: Algorithms ⚙️Systems Programming

🇮🇹 Senior Golang Developer at TRE ALTAMIRA Srl (Milano, Italy) 🏗️Compilers

golangprojects.com·4d

Meta-Theorems for Cuttable Distributed Problems 🌐Distributed Systems

Equilibria in Multiplayer Graph Games: An Algorithmic Study 🌐Distributed Systems

RL4RLA: Teaching ML to Discover Randomized Linear Algebra Algorithms Through Curriculum Design and Graph-Based Search 🏗️Compilers

Log in to enable infinite scrolling