How to build a mechanical numeric keypad for Arduino/Esp32 microprocessors
case.is·4h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
💾Retrocomputing
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·3d·
Discuss: Hacker News
🧭SMT Solvers
[R] Code for Flow Stochastic Segmentation Networks (ICCV 20205)
reddit.com·4d·
Discuss: r/MachineLearning
🤝Protocol Design
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·4d·
Discuss: Hacker News
🔍Static Analysis
Finite-Width Neural Tangent Kernels from Feynman Diagrams
arxiv.org·17h
🧭SMT Solvers
Thyme: Think Beyond Images
arxiv.org·17h
🧮Programming Language Theory
AI That Helps Us Help Each Other: A Proactive System for Scaffolding Mentor-Novice Collaboration in Entrepreneurship Coaching
arxiv.org·17h
🧩Theorem Proving
AI Systems Often Prefer AI-Written Content, Study Finds via @sejournal, @MattGSouthern
searchenginejournal.com·6h
🔗Parser Combinators
REFN: A Reinforcement-Learning-From-Network Framework against 1-day/n-day Exploitations
arxiv.org·3d
⚙Functional Programming
MultiPark: Multimodal Parking Transformer with Next-Segment Prediction
arxiv.org·17h
⚖Algorithmic Game Theory
My First Agent build with qwen3
reddit.com·1d·
Discuss: r/LocalLLaMA
🧭SMT Solvers
9 Open Source Gems Every Developer Should Know 🔥
dev.to·21h·
Discuss: DEV
🔧Compiler Design
Quantum Algorithm Benchmarking via Dynamically-Adjusted Error Mitigation on Superconducting Qubit Arrays
dev.to·3d·
Discuss: DEV
🔐Cryptography
Automated Defect Classification via Hierarchical Multi-Scale Feature Extraction for Logic BIST
dev.to·1d·
Discuss: DEV
🛡️IoT Security
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Automated High-Resolution Microscopy Image Enhancement via Adaptive Wavelet Deconvolution
dev.to·1d·
Discuss: DEV
🔢Mathematical Logic
Project/Learning Advice
reddit.com·1d·
Discuss: r/AskProgramming
🔌Network Programming
GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
arxiv.org·17h
🤖Sci-Fi
Teaching the model: Designing LLM feedback loops that get smarter over time
venturebeat.com·2d
🧩Theorem Proving
UNVEILING: What Makes Linguistics Olympiad Puzzles Tricky for LLMs?
arxiv.org·17h
🧭SMT Solvers