Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Cactus Language • Syntax 12
inquiryintoinquiry.com·8h
📝Concrete Syntax
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·10h
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·47m·
Discuss: Hacker News
📟Terminal Typography
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Simulating a neural operating system with Gemini 2.5 Flash-Lite
developers.googleblog.com·5h
🎯Emulator Accuracy
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·9h·
Discuss: Hacker News
📋DFDL
Pure UI
rauchg.com·8h·
Discuss: Hacker News
🎨Nordic Design
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·11h·
Discuss: DEV
🤖Lisp Machines