MariaDB vs. PostgreSQL: Understanding the Architectural Differences That Matter
mariadb.org·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
A Lost IBM PC/AT Model? Analyzing a Newfound Old BIOS (int10h.org)
int10h.org·18h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Flag this post
Show HN: ChatGPT for Forms
proloom.app·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Think for Yourself
kevlinhenney.medium.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·1d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Flag this post
Image formats: Codecs and compression tools
developer.mozilla.org·1d
🔲Cellular Automata
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Credentials Evidence or Simulate
preludes.eu·2d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
Intentionality
lesswrong.com·1d
📵Digital Minimalism
Flag this post
People Seem Funny In The Head About Subtle Signals
lesswrong.com·10h
🎮Verification Games
Flag this post
UNILocPro: Unified Localization Integrating Model-Based Geometry and Channel Charting
arxiv.org·3d
👁️Observability
Flag this post
Automated Exoplanet Atmospheric Biosignature Discrimination via Spectral Decomposition & Machine Learning
dev.to·23h·
Discuss: DEV
👁️Observability
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·2d
📐Linear Algebra
Flag this post
Production-Grade AI Agents: Architecture Patterns That Actually Work
dev.to·17h·
Discuss: DEV
🛡️seL4
Flag this post
AI in Frontend Development: Lessons from Testing Modern Design-to-Code Tools like V0, Builder.io, and Kombai
dev.to·9h·
Discuss: DEV
🌐ActivityPub
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
High-Resolution Magnetic Particle Imaging System Matrix Recovery Using a Vision Transformer with Residual Feature Network
arxiv.org·1d
📐Linear Algebra
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·2d
📚Automata Learning
Flag this post