Cactus Language • Syntax 12
inquiryintoinquiry.com·11h
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
derived set
ncatlab.org·12h
🧮Algebraic Archives
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·18h·
Discuss: Hacker News
🌀Brotli Internals
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·13h
📊Graph Databases
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·23h
🔍Type Inference
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·18h
📞Session Types
BNFGen: A random text generator based on context-free grammars
baturin.org·9h·
Discuss: Hacker News
🌳Context free grammars
10 Essential Machine Learning Key Terms Explained - MachineLearningMastery.com
machinelearningmastery.com·10h
🧠Machine Learning
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·9h·
Discuss: Hacker News
⚡Proof Automation
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·11h
💻Local LLMs
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·13h·
Discuss: Hacker News
📋DFDL
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·17h·
Discuss: Hacker News, r/programming
🔗Lisp
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·6h·
Discuss: Hacker News
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·21h
📝Concrete Syntax