Algo-Chip by ABA Games
⚖️Logic Programming
Flag this post
VMS/XDE: an OpenVMS x86 development environment for Linux and Windows/WSL
osnews.com·1h
👐Open Source Software
Flag this post
AI Overviews Change Every 2 Days (But Never Change Their Mind)
ahrefs.com·7h
🔗Parser Combinators
Flag this post
How to store passwords in your database
🔐Cryptography
Flag this post
The biggest controversy in maths could be settled by a computer
newscientist.com·5h
🧫Cellular Automata
Flag this post
Everything Is a Spreadsheet
🧮Programming Language Theory
Flag this post
Ringen: Under the Low Morning Sun
bluerenga.blog·1h
⚖️Logic Programming
Flag this post
Tiny386: an i386 PC emulator written in C99 that boots Windows 95 on ESP32
blog.adafruit.com·1d
🐧Linux
Flag this post
DockerShield - Free security scanner that caught my publicly exposed PostgreSQL (despite firewall)
🦀Rust
Flag this post
Early warning and prevention of mud cakes in large-diameter slurry shields: Insights from construction parameter data analysis and interpretable machine learnin...
sciencedirect.com·2d
🎲Probabilistic Programming
Flag this post
multiMentalRoBERTa: A Fine-tuned Multiclass Classifier for Mental Health Disorder
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
More Agents Helps but Adversarial Robustness Gap Persists
arxiv.org·12h
🧩Theorem Proving
Flag this post
The Production AI Agent Checklist
🧩Theorem Proving
Flag this post
Anchors in the Machine: Behavioral and Attributional Evidence of Anchoring Bias in LLMs
arxiv.org·12h
🔗Parser Combinators
Flag this post
Measurement of correlated charge noise in superconducting qubits at an underground facility
nature.com·3h
🔐Cryptography
Flag this post