abnv's Feed · Scour

Codified Finite-state Machines for Role-playing

arxiv.org·1d

🎯Finite Automata

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

arxiv.org·1d

🧪Compiler Testing

Differential Logic • 1

inquiryintoinquiry.com·1d

🧩Constraint Logic

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·1d

🖥️Lisp Machines

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·13h·

Discuss: Lobsters, Hacker News

🪆Embedded DSLs

An Analysis of User-space Idle State Instructions on x86 Processors

danglingpointers.substack.com·1d·

Discuss: Substack

📅Instruction Scheduling

Introducing uFowarder: The Consumer Proxy for Kafka Async Queuing

uber.com·1d

📮Message Queues

From CLI to GitHub Bot: Building a Code Management AI for Python

dev.to·4h·

Discuss: DEV

GKcodebase/API_Architecture: API designs in jaca

github.com·1d·

Discuss: DEV

Refactoring 038

dev.to·1d·

Discuss: DEV

🌈Gradual Languages

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🚂Error Propagation

High‑Performance Cryptographic Hash Function Based on Mersenne Prime Field Arithmetic and Efficient Modular Reduction **Abstract** Mersenne primes \(p=2^q-1\...

freederia.com·1d

🔗Hash Functions

One Year of Using Go

rugu.dev·1d·

Discuss: Hacker News

🤖Embedded Go

Kotlin Symbol Processing: создаём свой процессор

habr.com·21h

📋Template Compilers

My Current AI Coding Workflow

jonathannen.com·1d

🚀Code Motion

How I Extend My Workflow with Claude Code CLI

spin.atomicobject.com·15h

💬Interactive REPLs

The Risk of Not Optimizing Clock Power

semiwiki.com·21h

🔮Speculative Execution

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

The Engineering Discipline That Made AI Actually Useful

multigres.com·2d·

Discuss: Hacker News

📋Souffle Datalog

I run local LLMs daily, but I'll never trust them for these tasks

xda-developers.com·20h

🏰Capability Machines

mkincl/mkincl: A simple way to reuse Makefiles and scripts across multiple repositories

github.com·1d·

Discuss: Hacker News

🔗Language Toolchains

Loading more...