A focus week
blog.mitrichev.ch·2h·
Discuss: blog.mitrichev.ch
🌊Streaming Algorithms
AMI not AGI?
languagelog.ldc.upenn.edu·9h
🔲Cellular Automata
Issue 483
haskellweekly.news·2d
🔗Functional Compilers
Joy & Curiosity #48
registerspill.thorstenball.com·8h
⟷Bidirectional Programming
You're probably not learning with AI
aryas.dev·15h·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·5h·
Discuss: Hacker News
🖥️Terminal Emulators
Ada Lovelace and the Analytical Engine
blogs.bodleian.ox.ac.uk·1d·
Discuss: Hacker News
🇬🇧British Computing
Enabling Few-Shot Alzheimer's Disease Diagnosis on Tabular Biomarker Data with LLMs
arxiv.org·1d
💻Local LLMs
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
📝Concrete Syntax
Onboarding for Coding Agents
fuzzycomputer.com·9h·
Discuss: Hacker News
✨Effect Handlers
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·1d·
Discuss: Hacker News
⚔️Lean Tactics
Machine Learning Fundamentals: loss function example
dev.to·7h·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: logistic regression with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
✓Automated Theorem Proving
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·2d·
Discuss: Hacker News
📊APL Heritage
This web framework was built by Claude
rgk.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
The Dartboard Sequence
mathpages.com·2d·
Discuss: Hacker News
🎞️Tape Combinatorics
Cogito V2 Preview
deepcogito.com·2d·
Discuss: Hacker News
🧮Z3 Solver
Machine Learning Fundamentals: logistic regression
dev.to·2d·
Discuss: DEV
🧠Machine Learning
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
💧Liquid Types