⚖️ Inference Rules - abnv · Scour

Do frontier LLMs still express different values in different languages? 🌉Language Bridges

lesswrong.com·6d·

Gemini Links 01/04/2026: Hallucinations, Stitching, and Type Systems 🔬Nanopasses

techrights.org·1d·

One thing is one thing, and another is another (About working hours) 🎭Delimited Continuations

infekta.bearblog.dev·8h·

Using Existing Immigration Regulations to Vet for Cultural Compatibility 🌉Language Bridges

cis.org·6d·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·2d·Hacker News·

Simondon 101 🎯Type Theory

gripofbrutalism.bearblog.dev·4d·

Reasoning 📜Proof Languages

breno.bearblog.dev·10h·

From boiling lead and black art: An essay on the history of mathematical typography 📝Rope Editors

practicallyefficient.com·3d·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

God Is A Genius 🔗Concatenative Theory

adevotion.org·4d·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·17h·

Your AI Just Wrote 500 Lines of Code. Can You Prove Any of It Works? 🔍Static Analysis

pub.towardsai.net

·1d·

Electronic dance music events appear to provide a mental health boost for women over 40 🕸️P2P Protocols

psypost.org·4d·

Building AI Decision Audit Trails: What the UN AI Hub Means for Developers 🎲Property Testing

blog.cronozen.com·2d·DEV·

alexziskind1/llm-inference-calculator 🔍ML Language

github.com·1d·

Knowledge Governance For The Agentic Economy. ♾️Codata Types

padisovereignbureau.substack.com·1d·DEV·

Red-black tree in Lean 4 prover with everything proved 🧮Theorem Provers

rentry.co·1d·Lobsters·

Parsing a Chinese Poem as a Formal System That Runs 📋Backus-Naur Form

jimiwen.substack.com·2d·Substack·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

Making AI Inference Fit Where It Shouldn’t ✨Effect Inference

medium.com

·5d·

Loading more...