Bloom filters are good for search that does not scale
notpeerreviewed.com·1h·
Discuss: r/programming
📝Term Rewriting
Flag this post
Headless PHP – as far as I understand the landscape
blog.fortrabbit.com·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Debugging in the Age of AI Isn’t About Fixing Broken Code
shiftmag.dev·6h·
Discuss: r/programming
👁️System Observability
Flag this post
Modelling beliefs about sets
emiruz.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Creating a very basic gRPC server
dev.to·2h·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·16h
📚Automata Learning
Flag this post
⚠️ Most Developers Are Using AI Wrong — Here’s How to Fix It
dev.to·42m·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·2h·
Discuss: Substack
🔧DevOps
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
dev.to·16h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·4d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·16h
🧩Parser Combinators
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·16h
🧮SMT Solvers
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
GIL and Race Condition in Python
dev.to·1d·
Discuss: DEV
⏰Timed Automata
Flag this post