Book Review: ‘Algospeak’ shows just how much social media is changing us
mercurynews.com·20h
🏛Digital humanities
Why AI is moving from chatbots to the browser
theverge.com·1d
🖥️Terminal Renaissance
Popular NPM linter packages hijacked via phishing to drop malware
bleepingcomputer.com·18h·
Discuss: Hacker News
📦Package Managers
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·3d·
Discuss: Hacker News
🏛Digital humanities
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·2d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
MCP with Postgres – Querying my data in plain English
punits.dev·2d·
Discuss: Hacker News
🔗Constraint Handling
You Can't Buy Integration (2021)
martinfowler.com·1d·
Discuss: Hacker News
⚡SMT Integration
Why Your AI Agent Still Feels Like a Toy (And How We're Fixing It)
dev.to·1d·
Discuss: DEV
⚙️TLA+
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·2d
📊APL Heritage
Machine Learning Fundamentals: dropout project
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Gaslight-driven development
tonsky.me·4d·
Discuss: Hacker News
🐛Fuzzing
Building a Dumber Team
dandreamsofcoding.com·17h·
Discuss: Hacker News
⚡Proof Automation
Xenity Engine -- open-source game engine for PSP, PlayStation 3, PS Vita, and modern platforms
github.com·11h·
Discuss: r/programming
📼Retro Games
Python Fundamentals: celery
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
Getting past LLM "day one" problem with MIRIX
fujimon.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Parsing Protobuf Like Never Before
mcyoung.xyz·4d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
Solving the Context Rot Problem for Coding Agents
install.md·3d·
Discuss: Hacker News
🌳Incremental Parsing
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·3d
💻Programming languages