🔤 Regular Expression Theory - tiferrei · Scour

MATCHA: Efficient Deployment of Deep Neural Networks on Multi-Accelerator Heterogeneous Edge SoCs 🧠Apple Neural Engine

arxiv.org·1d

Soppo language: Go, with the features it's missing 🐫Embedded OCaml

soppolang.dev·4d·Hacker News

Find and Fix AI Agent & LLM App Failures — Automatically | Kelet 📊Runtime Verification

kelet.ai·11h·Hacker News

Show HN: Spectre: A systems design-by-contract language, self hosted compiler 💎Refinement Types

spectrelang.org·4h·Hacker News

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

Brumbelow/uninum: A unified symbolic-numeric expression runtime for Python where all elementary functions are created from a single operator 🔢Algebraic Data Types

github.com·6h·Hacker News

research!rsc: Yacc is Not Dead 🧩Parser Combinators

research.swtch.com·5d·Lobsters

PEP 831 – Frame Pointers Everywhere: Enabling System-Level Observability for Python 👁️System Observability

reddit.com·6h·r/Python

Which Relations Can Be Generalized Implicitly? 🔁Fixed-Point Theory

lesswrong.com·1d

The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages 🔤DSLs

iqiipi.com·59m·Lobsters

A simple test-time method that beats Claude Mythos on Terminal-Bench ✓Automated Theorem Proving

llm-as-a-verifier.notion.site·7h·Hacker News

Robert Smith: Not all elementary functions can be expressed with exp-minus-log 🔀Brzozowski Derivatives

stylewarning.com·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Lisp is Not an Acceptable Lisp (2006) 📝Nix Language

steve-yegge.blogspot.com·6h·Hacker News

Reframing Data Assembly: pydantic-resolve vs SQLAlchemy ORM 💎Refinement Types

allmonday.github.io·4h·Hacker News

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

Show HN: Nous – A compiled language for self-healing AI agents 🧠Automated Reasoning

nous-lang.org·20h·Hacker News

Edward J. Schwartz: Computer Science Researcher 🔀Brzozowski Derivatives

edmcman.github.io·4d·Hacker News

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

Show HN: Omega Walls–open-source stateful runtime defense for RAG and AI agents 🛡️macOS Security

synqra.tech·14h·Hacker News

Loading more...