Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·1d
🧮Algebraic Datatypes
Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·1d
👑Isabelle
Launching RustMailer – My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.com·23h·
Discuss: Hacker News
🦀Rust Borrowing
Create a Local IMDB MCP Server in Python
mkaz.blog·39m·
Discuss: Hacker News
🎞️MKV Internals
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·21h·
Discuss: Hacker News, r/programming
🔗Lisp
This Should Not Be Possible
ghuntley.com·13h·
Discuss: Hacker News
🛡️eBPF Security
Context Engineering for AI Agents: Lessons
manus.im·21h·
Discuss: Hacker News
⚡Incremental Computation
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·2d
🌳Context free grammars
Easy Agents: Build autonomous agents with just natural language
github.com·18h·
Discuss: Hacker News
⚡Proof Automation
Build an AI Agent Web App with String and Lovable
pipedream.com·16h·
Discuss: Hacker News
🎙️Whisper
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·2d·
Discuss: Hacker News
🌳Incremental Parsing
Introduction: AI Terminology
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·2d
📄PDF Internals
Machine Learning Fundamentals: dropout example
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·2d·
Discuss: Hacker News
⚡Proof Automation
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·1d
✓Automated Theorem Proving
Finja: What If Your Rust Function Was a Jinja Template?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·1d
🧮Kolmogorov Complexity