🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Why Everyone's Obsessed with Steal a Brainrot
steal-a-brainrot.online·2h·
Discuss: Hacker News
⚖Algorithmic Game Theory
Porting Gigabyte MZ33-AR1 Server Board with AMD Turin CPU to Coreboot
blog.3mdeb.com·2d·
Discuss: Hacker News
🏗Computer Architecture
Beyond guardrails: A taxonomy of platform engineering control mechanisms
cloud.google.com·2d
🏗️Software Architecture
Which ChatGPT version is best? A guide on the difference between all of OpenAI's models.
businessinsider.com·1d
🎲Probabilistic Programming
Investigating Sensors and Methods in Grasp State Classification in Agricultural Manipulation
arxiv.org·4h
🎲Probabilistic Programming
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·3d·
Discuss: Hacker News
🔍Static Analysis
Semantically Guided Adversarial Testing of Vision Models Using Language Models
arxiv.org·4h
🎲Probabilistic Programming
Automated High-Resolution Microscopy Image Enhancement via Adaptive Wavelet Deconvolution
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Automating Tests with Playwright and PageObject: A Practical Approach
dev.to·3d·
Discuss: DEV
📦WebAssembly
The future of computing with RISC-V, FPGAs, and Forth
a1w.ca·1d
🏗Computer Architecture
Your Java App Is DYING! This One Thread Pool Mistake KILLS Performance.
dev.to·2d·
Discuss: DEV
🧠Memory Management
⭐ nvim-telescope telescope-fzf-native.nvim
waylonwalker.com·1d
🔧Compiler Design
MoE-TTS: Enhancing Out-of-Domain Text Understanding for Description-based TTS via Mixture-of-Experts
arxiv.org·4h
🔗Parser Combinators
Perception in Plan: Coupled Perception and Planning for End-to-End Autonomous Driving
arxiv.org·4h
🎲Probabilistic Programming
Enhanced LBM Simulations via Adaptive Mesh Refinement Optimization with Hybrid Neural Network Control
dev.to·16h·
Discuss: DEV
🎲Probabilistic Programming
G.G Requestz - It's almost like Overseer but for Games! [FIXED]
reddit.com·2d·
Discuss: r/selfhosted
💾Retrocomputing
⭐ grantjenks python-c2f
waylonwalker.com·1d
🧮Programming Language Theory
How I "hacked" Godot and learned Rust to stop the player colliding with a wall
reddit.com·23h·
Discuss: r/godot
🧫Cellular Automata
Best DIY 4WD 3D Printed Robot 🤖 of 2025
hackster.io·13h
🤖Sci-Fi
Embeddable Open Source Unity-like Editor for ThreeJS
dev.to·1h·
Discuss: DEV
👐Open Source Software