Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·13h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·19h·
Discuss: Substack
⚙️Operating System Design
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·18h·
Discuss: Hacker News
📚Automata Learning
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·21h·
Discuss: Hacker News
💎Refinement Types
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Build an AI coding agent in Python
theptrk.com·4h·
Discuss: Hacker News
💎Refinement Types
Breaking Verifiable Abstractions
alperenkeles.com·21h·
Discuss: Hacker News, r/programming
🔍Formal Verification
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
The quiet software tooling Renaissance
pdx.su·18h·
Discuss: Hacker News
🔄Reproducible Builds
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·1d
📚Automata Learning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·15h·
Discuss: Hacker News
🧩Parser Combinators
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·11m·
Discuss: Hacker News
🐫Embedded OCaml
How to Test
matklad.github.io·22h·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing