Perplexity's engineers use 2 AI coding tools, and they've cut development time from days to hours
businessinsider.com·2h
📏Code Metrics
Five Years After
isonomiaquarterly.com·23h·
Discuss: Hacker News
📡Information theory
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·3d·
Discuss: Hacker News
🦀Rust Verification
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·17h·
Discuss: Substack, r/programming
🗄️Database Sharding
My first verified (imperative) program
markushimmel.de·6d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Spending Inference Time
kevinlu.ai·18h·
Discuss: Hacker News
🌊Streaming Algorithms
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·20h·
Discuss: Hacker News
🧮Z3 Applications
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·10h·
Discuss: Hacker News
🔄Sync Engine
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🔗Concatenative Programming
MCP logging and tracing using mcp-trace | ContexaAI
dev.to·1d·
Discuss: DEV
👁️System Observability
Building a Kubernetes Operator in Go with Kube-Shift
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Air Quality Monitoring System Project | AQI Monitoring
hackster.io·3h
🏠Home Automation
The true cost of CVEs: Why you need to shift beyond vulnerabilities
reversinglabs.com·2d
🔓Hacking
Database Transactions: A Comprehensive Guide with Go
dev.to·1d·
Discuss: DEV
📝Database WAL
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·4h
👁️Perceptual Hashing
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·4h
🎙️Whisper
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·4h
🌳Context free grammars
How Grok-4 Could Transform Optical Character Recognition (OCR)
dev.to·10h·
Discuss: DEV
🤖Advanced OCR
Hiding in plain sight - Mount namespaces
haxrob.net·1d·
Discuss: Hacker News
🦠Parasitic Storage
AI Writes Code Now—So Why Do Developers Still Matter?
hackernoon.com·5d
🔍Concolic Testing