abnv's Feed · Scour

RFC 9920: RFC Editor Model (Version 3)

rfc-editor.org·18h

📡Protocol Parsers

Your Terminal Doesn’t Have to Be Boring: Add Random Emojis to Your Shell

hackernoon.com·10h

💻Terminal Control

Sign up or login to customize your feed and get personalized topic recommendations

Cantor Normal Form

infinitelymore.xyz

·2h

λLambda Calculus

Embodied machine learning: From research ideas to classroom activities

raspberrypi.org·1h

Compiler-Driven Static Analysis Locking Context Checking Merged For Linux 7.0

phoronix.com·1d

🏃Escape Analysis

SectorC: a C compiler in 512 bytes

blog.adafruit.com·2d

🔄Forth Metacompiler

OpenEnv in Practice: Evaluating Tool-Using Agents in Real-World Environments

huggingface.co·15h

Proving What's Possible

buttondown.com·21h

📜Proof Languages

Inspecting the Source of Go Modules

words.filippo.io·1h·

Discuss: Lobsters, Hacker News

🗑️Stack Scanning GC

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

⚖️Inference Rules

A Newbie's First Contribution to (Rust for) Linux

blog.buenzli.dev·3d·

Discuss: Hacker News

⚙️TOML Parsers

en.wikipedia.org·2d

🔗Category Theory

Custom ESLint rules as AI guardrails: turning repeated mistakes into structural impossibilities

jw.hn·1d·

Discuss: Hacker News, r/SoftwareEngineering, r/coding, r/node, r/typescript

✅Configuration Validation

Turn any codebase into interactive, multi-level documentation

revibe.codes·2d·

Discuss: Hacker News

📚Self-Documenting Code

Cache-aware disaggregated inference for up to 40% faster long-context LLM serving

together.ai·1d·

Discuss: Hacker News, r/LocalLLaMA

⏲️Embedded GC

Beyond the Prompt - Why and How to Fine-tune Your Own Models

devblogs.microsoft.com·22h

🎮Language Ergonomics

I got tired of copying AI output between tools, so I built a system to keep context intact

miniloop.ai·1d·

Discuss: DEV

🎭Program Synthesis

The benefit of AI-assisted coding isn't just about coding faster

johnlindblad.substack.com·20h·

Discuss: Substack

🎭Program Synthesis

I used to be fervent embedded DSL fan many years ago (particularly in college wi...

news.ycombinator.com·2d·

Discuss: Hacker News

🪆Embedded DSLs

Prompt to Protocol: Architecting Agent-Oriented Infrastructure for Production LLMs

pub.towardsai.net

·1d

🎭Program Synthesis

Loading more...