๐Ÿ“Š Static Analysis

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

Observable Notebooks 2.0
macwright.comยท2d
๐ŸŒŠStreaming Systems
Credo: Sustained High Sales Growth And Margins, Watching One Key Price Level
seekingalpha.comยท8h
๐Ÿ”BitFunnel
Free software activities in July 2025
chris-lamb.co.ukยท1d
๐ŸงFOSS
Beyond the Noise: How HackerOne Cuts Through the Noise in the Age of AI
hackerone.comยท3d
๐Ÿ”“Hacking
2025.07.DisappearingMoment
newsletter.disappearingmoment.comยท1d
๐ŸŽฏGradual Typing
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.netยท2d
๐Ÿ•ธ๏ธWASM Archives
Hiding secret codes in light protects against fake videos
news.cornell.eduยท7hยท
Discuss: Hacker News
๐ŸŽž๏ธMKV Forensics
The Dartboard Sequence
mathpages.comยท2dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
I built a stock picking AI agent. Here's what it did after one month
laurentiu-raducu.medium.comยท2hยท
Discuss: Hacker News
๐ŸŽ›๏ธFeed Filtering
Bazel Plugin Release: General Availability
blog.jetbrains.comยท2d
๐Ÿ”—Dependency Resolution
Predictive UX Engineering
travisbumgarner.devยท4dยท
Discuss: Hacker News, r/web_design, r/webdev
๐Ÿ“ŸCLI Design
A Practitioner's Taxonomy of IaC Patterns in the Wild
chkk.ioยท4dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Prompt Engineering for Generative AI โ€ข James Phoenix, Mike Taylor & Phil Winder
youtube.comยท1d
๐ŸŽ™๏ธWhisper
Lidarts โ€“ a free, open-source [scoring] website for darts games
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Top LLM Evaluation Tools in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Revolutionize Your AI Workflow with Prompt Optimizer!
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Archive Automation
Multilingual Self-Taught Faithfulness Evaluators
arxiv.orgยท4d
๐Ÿ’ปLocal LLMs
fresh home build coming soon
forums.anandtech.comยท7h
๐Ÿ”„Reproducible Builds
Schematra: Sinatra inspired Chicken web framework
github.comยท2dยท
Discuss: Lobsters, Hacker News
ฮปLambda Formalization
Learning Go, feedback on code / project
reddit.comยท3dยท
Discuss: r/golang
ฮปLambda Formalization