📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

"You're Right" meme hat
huehueh.eu·2d·
Discuss: Hacker News
⚙️Proof Engineering
SilverBullet v2 released: open-source, self hosted, programmable notes
community.silverbullet.md·3d·
Discuss: Hacker News
🔓Open Source Software
Schedule-X has adopted Temporal API
schedule-x.dev·3d·
Discuss: Hacker News
⏱️Interval Archives
Exploring the Dominion of Anoma
research.anoma.net·5d·
Discuss: Lobsters, Hacker News
🤝Paxos Consensus
El Salvador protects its Bitcoin reserves from future threats
heise.de·3h
🔐Quantum Security
Measuring Nanoparticles by Scattering a Laser
hackaday.com·2d
🔬Optical Physics
The Guest review – a gloriously ridiculous thriller that slips down a treat
theguardian.com·1h
🎧Learned Audio
Will There Ever Be a 10x Prompt Engineer?
embedworkflow.com·5d·
Discuss: Hacker News
⚡Proof Automation
Scientists Are Racing to Unearth the Secrets of an Ancient Underwater World
popularmechanics.com·2d
🧊Arctic Storage
Best Ways to Translate Documents Online Without Losing Layout or Style
dev.to·3d·
Discuss: DEV
🔤Character Encoding
Any tips to reduce HDD bay noise ?
reddit.com·2d·
Discuss: r/homelab
🛠️Greaseweazle
Using ICMP or ARP for LAN Network scanning tool - Request for Advice
reddit.com·3d·
Discuss: r/golang
📡Network Stack
Paradigms of Intelligence Team
github.com·6d·
Discuss: Hacker News
🔲Cellular Automata
What is everyone using for JBOD's nowadays? (and why are there so few cheap JBODs available on eBay?)
reddit.com·8h·
Discuss: r/homelab
🏠Homelab Preservation
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·6d·
Discuss: DEV
🧠Intelligence Compression
Real-Time Overlay Measurement Distortion Correction via Adaptive Kalman Filtering
dev.to·2d·
Discuss: DEV
🔬Optical Physics
Applying SOLID Principles in Go
dev.to·5d·
Discuss: DEV
💧Liquid Types
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·5d
💻Local LLMs
Is it OK to be happy when the world is falling apart? | Avram Alpert
theguardian.com·1d
🏛️Philosophy
NLKI: A lightweight Natural Language Knowledge Integration Framework for Improving Small VLMs in Commonsense VQA Tasks
arxiv.org·4d
🎙️Whisper