SInclude 5.5.0
so.nwalsh.com·1d
🔗Static Linking
Digital Forensics Round-Up, August 06 2025
forensicfocus.com·3d
🔐Archive Cryptanalysis
GHC Developer Blog: GHC 9.10.3-rc3 is now available
haskell.org·2d
🔗Functional Compilers
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·5d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎯Performance Proofs
Pianolizer Helps Your Musical Projects Distinguish Notes (2022)
hackaday.com·20h·
Discuss: Lobsters, Hacker News
🎹MIDI Archaeology
A one-click link saver for HN to deal with Tab-pocalypse
arnipluseinn.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Cursor MCP
docs.cursor.com·1d·
Discuss: Hacker News
🔄Sync Engine
Breaking through the Senior Engineer ceiling
incident.io·12h·
Discuss: Hacker News
🔐Capability Systems
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Quoting Sam Altman
simonwillison.net·1d
📡RSS
AI must RTFM: Why tech writers are becoming context curators
passo.uno·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Prompting GPT-5 for agentic workflows and advanced coding applications
the-decoder.com·1d
⚡Proof Automation
MCPoison: Vulnerability in Cursor IDE – Execute arbitrary code via MCP
heise.de·2d
🔓Hacking
NumPy for Data Science: Advanced Indexing, Amax Function & Array Iteration Explained
dev.to·14h·
Discuss: DEV
📊APL Heritage
Build a Recipe AI Agent with Koog and Docker
docker.com·1d
🌀Brotli Internals
GPT-5 critics are dead wrong
nerds.xyz·1d·
Discuss: Hacker News
🔍BitFunnel
Show HN: I put a GUI on the Gemini CLI and I'm not going back
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Automated FLIM Data Calibration via Bayesian Meta-Learning and Adaptive Kernel Regression
dev.to·1d·
Discuss: DEV
💿Optical Forensics
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·3d
📝Concrete Syntax
EndoMatcher: Generalizable Endoscopic Image Matcher via Multi-Domain Pre-training for Robot-Assisted Surgery
arxiv.org·2d
🌀Riemannian Computing