Show HN: FlatGem, a free GUI to bulk-process local files with Gemini API
github.com·18h·
Discuss: Hacker News
🔧Unikernel Development
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
The Paradigm
nonint.com·13h·
Discuss: Hacker News
📚Automata Learning
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Testing the not-so-happy path
jorgeortiz.dev·2h·
Discuss: r/rust
🧪Property-Based Testing
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·13h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics
Breaking Verifiable Abstractions
alperenkeles.com·21h·
Discuss: Hacker News, r/programming
🔍Formal Verification
What Does AI Do?
joecooper.me·15h·
Discuss: Hacker News
📚Automata Learning
The Grammar According to West
dwest.web.illinois.edu·5d·
Discuss: Hacker News
➡️Category Theory
Normality and the Turing Test
arxiv.org·1d
📚Automata Learning
Isolated(any)
nshipster.com·18h·
Discuss: Hacker News
🧮Lambda Calculus
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·1d
🧩Parser Combinators
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
How to Test
matklad.github.io·22h·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
Richard Pryor Stole a Lot of Half Cents and Bought a Ferrari
news.alvaroduran.com·1h·
Discuss: Hacker News
💎Refinement Types
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Context Engineering: A Primer
okigu.com·23h·
Discuss: Hacker News
🔍Formal Verification