abnv's Feed · Scour

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

Data-Oriented Programming for Java: Beyond Records

openjdk.org·2d

📊Row Polymorphism

The Auth Platform Native to Go. Built for Any Stack.

go-better-auth.vercel.app·2h·

Discuss: r/golang

🌉Language Bridges

What are tokens and how to count them?

help.openai.com·1d·

Discuss: Hacker News

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·1d·

Discuss: r/cpp

🪄C Metaprogramming

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·1d

⚙️Async State Machines

Token Smuggling:How Non-Standard Encoding Bypass AI Security

instatunnel.my·1d·

Discuss: Hacker News, r/programming

🛡️Parser Security

Text classification with Python 3.14's zstd module • Max Halford

maxhalford.github.io·1d·

Discuss: Lobsters, Hacker News

📦Compression Algorithms

Codified Finite-state Machines for Role-playing

arxiv.org·1d

🎯Finite Automata

What if writing tests was a joyful experience?

blog.janestreet.com·1d·

Discuss: Hacker News

💬Interactive REPLs

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🧩Constraint Solvers

Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection

arxiv.org·1d

🧪Compiler Testing

Private Data Space Model

privatedata.space·2d

🪢Rope Data Structures

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

📡Erlang BEAM

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·1d

Lessons from BF-Tree: Building a Concurrent Larger-Than-Memory Index in Rust

zhihanz.github.io·2d·

Discuss: Hacker News

🧠Memory Consistency

Building a data greenhouse

jmduke.com·19h

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

Automatic Programming Returns

cyber-omelette.com·17h·

Discuss: Hacker News, r/programming

🎭Program Synthesis

Your Terminal Tabs Are Fragile. I Built Something Better.

mkennedy.codes·1d

💻Terminal UIs

annotate –> preview –> code generation

intentify.dev·1d·

Discuss: Hacker News

Loading more...