Swift 6.2: Observations
mjtsai.com·2d
🔄Lens Laws
Flag this post
Some Fun Videos on Optimizing NES Code
bumbershootsoft.wordpress.com·1d
🎯Emulator Accuracy
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·2d
📊Quantization
Flag this post
What are you doing this weekend?
📊Static Analysis
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
⚡Proof Automation
Flag this post
Making Every 5x5 Nonogram: Part 1
🧮Z3 Solver
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🧮Vector Embeddings
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🎯Performance Proofs
Flag this post
build system tradeoffs
⚙️Build Archaeology
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔒Linear Types
Flag this post
wastrel, a profligate implementation of webassembly
🌐WASI
Flag this post
The 7 Paid Subscriptions I Use in 2025 as a Freelance Software Developer
🚀Indie Hacking
Flag this post
Go's New WaitGroup.Go
🔄Sync Engine
Flag this post
Building “Code Mentor”: An AI-Powered Programming Buddy with Mastra and Telex.im
⚡Proof Automation
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
🇯🇵Japanese Computing
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
🤖AI Curation
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·14h
🦀Rust Borrowing
Flag this post
Loading...Loading more...