🔣 Formal languages - mateja · Scour

Formal Methods 🏗️Enterprise Software Architecture

formalmethods.dk·6d·Lobsters

Formal Constraints on Dependency Syntax 📥Embeddings

arxiv.org·2d

The Roc Programming Language 🔍RecSys

roc-lang.org·19h·Hacker News

Pre-Compiled Filter Sets and Query-Time Specialization in Temporal Databases 📊type

blog.minns.ai·21h·r/rust

EoinDavey/tsPEG: PEG Parser Generator for TypeScript 🏗️Enterprise Software Architecture

github.com·1d

Type-Guided Constrained Decoding: How to Stop LLMs from Hallucinating Code 🏗️Enterprise Software Architecture

medium.com·5d

The Empty Middle of AI Coding 🏗️Enterprise Software Architecture

xificurc.github.io·16h·Hacker News

Summary how common lisp conditions line up to the acl2 theorem + accidental common lisp metaobject protocol e.g. 🏗️Enterprise Software Architecture

lispy-gopher-show.itch.io·2d

Tim Bradshaw: Rules for Lisp programs 🏗️Enterprise Software Architecture

tfeb.org·18h

The Rocq Prover 9.2 documentation 🏗️Enterprise Software Architecture

rocq-prover.org·1d·Hacker News

Post-Penultimate Conditional Syntax 📊type

joel.place·4d·Hacker News

How We Use Gherkin, Envelopes, and Schemas to Shape Agent Behavior 🏗️Enterprise Software Architecture

cucumber.io·10h·DEV

Syntax of .me – Simple, Powerful, and Language-Agnostic 📥Embeddings

neurons-me.github.io·2d·DEV

Some Subtleties When Parsing 6502 Assembly Language 🏗️Enterprise Software Architecture

bumbershootsoft.wordpress.com·4d·Hacker News

Reflection On Recursion • 1 📊type

inquiryintoinquiry.com·2d

A Guide to Context Engineering for LLMs 🏗️Enterprise Software Architecture

blog.bytebytego.com·2d

An introduction to Turing machines and computation 📥Embeddings

max-amb.github.io·5d·Hacker News

Where is it like to be a language model? 📥Embeddings

robinsloan.com·2d·Lobsters, Hacker News, Hacker News

Formal Modeling and Analysis of Distributed Systems from AWS 🏗️Enterprise Software Architecture

p-org.github.io·2d·Hacker News

The Grammar Is Not Its Own Ground 📥Embeddings

jimiwen.substack.com·6d·Substack

Loading more...