Cactus Language • Pragmatics 11
inquiryintoinquiry.com·13h
📝Concrete Syntax
**Hyper-Specific Sub-field Selection:** Automated Code Refactoring with Semantic Dependency Graph Optimization
dev.to·5h·
Discuss: DEV
📏Code Metrics
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·5h·
Discuss: Hacker News
🎯Performance Proofs
A thesis week
blog.mitrichev.ch·17h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·13h
🌀Differential Geometry
Why do we even need SIMD instructions ?
lemire.me·6h·
Discuss: Hacker News
🚀SIMD Text Processing
The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·2h
🕸️Tensor Networks
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🔲Cellular Automata
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·11h·
Discuss: r/golang
🧠Lisp Dialects
Midnight: An ORM that is only for SQLite
github.com·19h·
Discuss: Hacker News
💾SQLite
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Long Polar vs. LDPC Codes under Complexity-Constrained Decoding
arxiv.org·2d
⚛️Quantum LDPC
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.to·2h·
Discuss: DEV, r/golang
💧Liquid Types
How To Solve Every Programming Problem
blog.codeminer42.com·3d
📐Interval Arithmetic
Generating Structured Outputs from LLMs
towardsdatascience.com·1d
📐Format Grammars
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·4h·
Discuss: Hacker News
🦋Format Metamorphosis
SAT Requires Exhaustive Search
link.springer.com·5d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Why Tail-Recursive Functions Are Loops
kmicinski.com·1d·
Discuss: Hacker News
🔗Lisp
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·16h·
Discuss: Hacker News
🌊Streaming Algorithms