Structural vs. Mathematical “Under” (2023)
dyalog.com·7h·
Discuss: Lobsters, Hacker News
📊type
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·3h
📥Embeddings
Pest gotchas
andreabergia.com·10h
📥Embeddings
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
📊type
LLMs Are Trained to Assume Their Output Is Perfect
lesswrong.com·7h
📥Embeddings
On systematic construction of correct logic programs
arxiv.org·3h
🏗️Enterprise Software Architecture
The Hilbert program
infinitelymore.xyz·18h
📊type
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🏗️Enterprise Software Architecture
Do I not like Ruby anymore? (2024)
sgt.hootr.club·42m·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·21h·
Discuss: DEV
🏡Self-hosting
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·4d·
Discuss: r/LocalLLaMA
📥Embeddings
Building a Regex Engine
abstractsyntaxseed.com·5d·
Discuss: Lobsters, Hacker News
📥Embeddings
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
📥Embeddings
CppCon 2025 Keynote: Reflection: C++’s Decade-Defining Rocket Engine -- Herb Sutter
isocpp.org·15h
🏗️Enterprise Software Architecture
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
📊type
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·17h·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Linguistic Neuron Overlap Patterns to Facilitate Cross-lingual Transfer on Low-resource Languages
arxiv.org·3h
📥Embeddings
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·20h
🏗️Enterprise Software Architecture
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Clojure 1.12.2
clojure.org·1d
🏗️Enterprise Software Architecture