Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
AI collaborator wrote a working C compiler from scratch
reddit.com·2d·
Discuss: r/programming
🤖Program Synthesis
⿻ Plurality & 6pack.care
lesswrong.com·8h
🔬Unikernels
Show HN: Omni-LPR – A multi-protocol license plate recognition server
news.ycombinator.com·15h·
Discuss: Hacker News
🛡️seL4
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Build an AI coding agent in Python
theptrk.com·34m·
Discuss: Hacker News
💎Refinement Types
An Explainable, Attention-Enhanced, Bidirectional Long Short-Term Memory Neural Network for Joint 48-Hour Forecasting of Temperature, Irradiance, and Relative H...
arxiv.org·1d
🔄Finite State Machines
You're also a neural network – train on the good stuff
magnusludviksson.substack.com·17h·
Discuss: Substack
🧠Automated Reasoning
Beyond Prediction: Reinforcement Learning as the Defining Leap in Healthcare AI
arxiv.org·1d
🩹Self-Healing Systems
The Mt. Rushmore Trap: How AI Turns Personal Discoveries into Grandeur
medium.com·2h·
Discuss: Hacker News
🎮Verification Games
The Cats are On To Something
lesswrong.com·3h
🎮Verification Games
Introduction to Writing Good Puzzle Hunt Puzzles
mit.edu·1d·
Discuss: Hacker News
🎮Verification Games
Breaking Verifiable Abstractions
alperenkeles.com·17h·
Discuss: Hacker News, r/programming
🔍Formal Verification
The Insight Gacha
lesswrong.com·12h
🎮Verification Games
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
This Page Is a Quine
pranavg.me·1d·
Discuss: Hacker News
🧮Lambda Calculus
Isolated(any)
nshipster.com·14h·
Discuss: Hacker News
🧮Lambda Calculus