๐Ÿ“Š Static Analysis

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

DailyMe: Write less. Do more. Feel better
apps.apple.comยท1hยท
Discuss: Hacker News
โฌœMinimalism
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.aiยท3dยท
Discuss: Hacker News, Hacker News, Hacker News
๐ŸงฎSMT Solvers
AI Is the Answer to Everything
banagale.comยท9hยท
Discuss: Hacker News
๐Ÿค–AI Translation
Show HN: A rudimentary game engine to build four dimensional VR evironments
brainpaingames.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Physics
The Data Room App (thedataroom.app)
djpardis.medium.comยท1hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.comยท15hยท
Discuss: Hacker News, r/programming
๐ŸšShell Calculus
better-auth/better-auth
github.comยท6h
๐Ÿ”’WASM Capabilities
Asynchrony is not Concurrency
kristoff.itยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒŠStream Processing
The great misunderstanding of the DRY principle
pmatteo.comยท6dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Welcoming The Next Generation of Programmers
lucumr.pocoo.orgยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Connecting legibility to theory building in programming
ashwinsundar.comยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
What's an ORM? (Your Database Translator!) ๐Ÿ—ฃ๏ธ
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Yet Another Bad Analysis of AI
recursed.blogspot.comยท8hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.orgยท4h
๐Ÿ“ŠLearned Metrics
Quantitative Risk Management in Volatile Markets with an Expectile-Based Framework for the FTSE Index
arxiv.orgยท4h
๐Ÿง Machine Learning
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Vector Dimensionality
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.orgยท4h
๐Ÿ—๏ธConstructive Mathematics
The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
arxiv.orgยท4h
๐Ÿ—‚๏ธVector Databases
Question-Answer Extraction from Scientific Articles Using Knowledge Graphs and Large Language Models
arxiv.orgยท4h
๐Ÿ”Information Retrieval
**Essential Python Security Practices: Advanced Techniques to Protect Your Applications from Threats**
dev.toยท9hยท
Discuss: DEV
๐Ÿ›ก๏ธWASM Security