How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Categorical systems theory
topos.institute·11h
🔗Category Theory
XProc 3 Steps as XSpec Test Helper Functions
medium.com·6h
🔧Error Recovery
Joint optimization of maintenance and resource preparation of system with multi-indicator degradation based on multiple failure mode division
sciencedirect.com·5h
🗺️Region Types
Logical Operators & Control Flow
github.com·13h·
Discuss: DEV
🎭Delimited Continuations
Nonlinear phase gates as Airy transforms of the Wigner function
nature.com·10h
∀Quantified Types
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
📋Backus-Naur Form
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🌲Deforestation
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🌳Tree Shaking
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🔀SIMD Programming
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Languages
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🪢Rope Algorithms
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·11h·
Discuss: r/ClaudeAI
⚡Effect Handlers
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🔍ML Language