πŸ“Š Static Analysis

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

Tempus acquires digital pathology company Paige for $81M
tempus.comΒ·1dΒ·
Discuss: Hacker News
🌊Stream Processing
Upgrading the CircuitHub codebase to GHC-9.10
informal.codesΒ·4d
πŸ”—Functional Compilers
Poisoned USA: Hastings, NE
hntrbrk.comΒ·6hΒ·
Discuss: Hacker News
🎯Gradual Typing
According to Harvard Scientists, This Missing Nutrient May Be the Key to Stopping Alzheimer’s
scitechdaily.comΒ·10h
πŸ’ΎSQLite
Lifecycle Management: Taking Control of Your ClickHouse Database Evolution
fiveonefour.comΒ·22hΒ·
Discuss: Hacker News
πŸ“šMARC Archaeology
Stock Portfolio Tracker
stockportfoliotracker.appΒ·1dΒ·
Discuss: Hacker News
πŸ”BitFunnel
Two laptops, six plugs:The South Korean cafes grappling students who dont leave
bbc.comΒ·14hΒ·
Discuss: Hacker News
πŸ‡―πŸ‡΅Japanese Computing
I don't buy Macs anymore
jasonsaidwhat.substack.comΒ·20hΒ·
Discuss: Substack
🍎Apple Computing
How chess, climbing & boxing help The Hundred's unlikely run-scorer
bbc.comΒ·12h
βš›οΈQuantum Algorithms
Save Wimbledon Park group apply for permission to appeal to the Court of Appeal
the-independent.comΒ·1d
πŸ“‹PREMIS Events
Would You Believe This Spy’s Name?
nytimes.comΒ·8h
🎯Gradual Typing
The JSON Schema standard aims to join ECMA
github.comΒ·4dΒ·
Discuss: Hacker News
🏷️Metadata Standards
Harriette Cole: Should I tell her mom what this 11-year-old girl posted?
mercurynews.comΒ·1d
πŸ—ƒarchives
Maybenot: A framework for traffic analysis defenses
github.comΒ·3dΒ·
Discuss: Lobsters, Hacker News
πŸ”BitFunnel
The Fairphone 6 no longer feels like a compromise (except in the US)
theverge.comΒ·6h
πŸ–₯️Modern Terminals
The Great Cognitive Handoff: How AI-Assisted Development Is Rewiring Civlization
zakelfassi.comΒ·5dΒ·
Discuss: Hacker News
🌍Cultural Algorithms
I'm a high-school student who wants to be a coder. I'm betting some of my peers will rely too much on AI.
businessinsider.comΒ·5d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Building an Efficient Code Review Process for Scaling SaaS Engineering Teams
dev.toΒ·4dΒ·
Discuss: DEV
πŸ“Code Metrics
Enterprise AI Development Gets a Major Upgrade: Claude Code Now Bundled with Team and Enterprise Plans
devops.comΒ·2d
πŸ”ŒInterface Evolution
πŸš€ 5 Ways AI is Transforming QA Leadership
dev.toΒ·4dΒ·
Discuss: DEV
πŸ”Concolic Testing