🌳 Pattern Match Compilation - abnv · Scour

seed.bytedance.com·7h

🗺️Region Polymorphism

The Condensate Theorem: Transformers are O(n), Not $O(n^2)$

arxiv.org·10h

🔍ML Language

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·3d

🔒Rust Borrowing

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·9h·

Discuss: DEV

Chain.io Launches AI Checks: Stop Hunting for Problems in Shipment Spreadsheets

prnewswire.com·2h

📮Message Queues

CloudSeed Rust - A Fullstack Rust Boilerplate for Building Webapps in Minutes

hamy.xyz·15h

🚂Cranelift Backend

Show HN: Klint – Linux Kernel Security Scanner

saturnine.cc·9h·

Discuss: Hacker News

The Myth of “Known APIs”: Why Inventory-First Security Models Are Already Obsolete

lab.wallarm.com·2h

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·1d·

Discuss: Hacker News

🌱Minimal Languages

Automatic Programming

notes.billmill.org·4d

🎭Program Synthesis

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·2d

Tip of the Week #49: Argument-Dependent Lookup

abseil.io·1d

🔗Lexical Scoping

Adding Myers Diff To Share Link Snapshots In Big Sexy Poems

bennadel.com·3h

📝Editor Buffers

Differential Logic • 4

inquiryintoinquiry.com·1d

∫Mathematical DSLs

Hello Edge: Keyword Spotting on Microcontrollers

paperium.net·2d·

Discuss: DEV

🔌Microcontrollers

Building Reliable AI Applications: A Validation Strategy

dev.to·1d·

Discuss: DEV

✅Configuration Validation

Capybara Programming Language

github.com·5h

🔬programming language theory

Building LLMs in Resource-Constrained Environments: A Hands-On Perspective

infoq.com·4h

🪜Recursive Descent

Is Your Machine Learning Pipeline as Efficient as it Could Be?

kdnuggets.com·3d

Language Server Protocol from Debug Symbols

forrestthewoods.com·1d

🌉Language Interop

Loading more...