Launch HN: Slashy (YC S25) – AI that connects to apps and does tasks
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·1d·
Discuss: Hacker News, r/technews
💻Programming languages
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·5d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Should we revisit Extreme Programming in the age of AI?
hyperact.co.uk·15h·
Discuss: Hacker News, r/programming
🔄Language Evolution
How to Discover the Binary System as a Child • Simon Peyton Jones & Chelsea Troy • GOTO 2025
youtube.com·5d
🎯Interactive Provers
ML needs a new programming language – Interview with Chris Lattner
dev.to·11h·
Discuss: DEV
🔗Functional Compilers
AI Idea #1757094301
dev.to·19h·
Discuss: DEV
🤖AI Curation
AI and the productivity trap
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Why Eval Startups Fail
thomasliao.com·4h·
Discuss: Hacker News
📏Code Metrics
HTB Certified Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·7h
🔐PKI Archaeology
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·1d·
Discuss: Hacker News
📊Quantization
The Prompt Engineering Framework Every CEO Should USE
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Learning General Policies From Examples
arxiv.org·2d
🔗Constraint Handling
How I Learned Python by Making Fun Projects
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Cracking the Sparse Reward Code: Finding the Hidden Order in AI's Learning Signals
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Turning Documentation into Intelligence: RAG with Just SQL + LLM
dev.to·5h·
Discuss: DEV
📡RSS Automation
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·1d
🔍eBPF
How to Test
matklad.github.io·5d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
CausalARC: Abstract Reasoning with Causal World Models
arxiv.org·1d
✨Algebraic Effects
Row Impartial Terminus
arxiv.org·2d
🎯Interactive Provers