📊 Static Analysis

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

/visual: A web component gallery
me.micahrl.com·2d
🧩WASM Components
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·4d
🔄Reproducible Builds
Alibaba's Qwen2.5 only excels at math thanks to memorized training data
the-decoder.com·23h
🧠Intelligence Compression
Initial homelab designing and planning
preview.redd.it·9h·
Discuss: r/homelab
🏠HomeLab
Rumble in the jungle: APT41’s new target in Africa
securelist.com·4h
🎫Kerberos Exploitation
Knowledge Pillars and Certiport Global Partnership Announcement
knowledge-pillars.com·6h·
Discuss: Hacker News
🗺️Competency Maps
Notes on Image Generation with GPT-4.1
taoofmac.com·17h·
Discuss: Hacker News
📐Mathematical Art
Feedback is broken. I'm building a solution
feedplain.com·1d·
Discuss: Hacker News
🎯Recommendation Metrics
Diary of a Startup – the rise and fall of ArsDigita
web.archive.org·2h·
Discuss: Hacker News
🔓Open Source Software
Portable Forensics with Toby: A Raspberry Pi Toolkit
bakerstreetforensics.com·15h·
Discuss: Hacker News
💾Disk Utilities
I Teach Creative Writing. This Is What A.I. Is Doing to Students.
notes.billmill.org·1h
🏛Digital humanities
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.com·2d·
Discuss: Hacker News
🕸️Neo4j
Remnants: Chapter 3 - Warm Body
hackernoon.com·11h
🎯Gradual Typing
I'm Tired of Talking About AI
paddy.carvers.com·20h·
Discuss: Lobsters, Hacker News, r/programming
🔩Systems Programming
Ask HN: Looking for alpha testers for HRAM (asm)
news.ycombinator.com·16h·
Discuss: Hacker News
⚙️Modern Assembly
CrewAI meets RAG: built-in and custom solutions
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Complete Beginner's Guide to GenAI Development: From Python to Production-Ready AI Agents
dev.to·19h·
Discuss: DEV
🌳Context free grammars
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·16h·
Discuss: Hacker News
🦋Format Metamorphosis
Machine Learning Fundamentals: dropout project
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·8h
🧠Machine Learning