Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·56m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Logic App Http Connector with Swagger + C# Function App
dev.to·10h·
Discuss: DEV
🔐CBOR
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🎯Performance Proofs
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·9h·
Discuss: Hacker News
✅Format Verification
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·1d·
Discuss: r/MachineLearning
🧠Learned Compression
Coding, as we knew it, has forever changed
k1024.org·20m
🔄Language Evolution
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·2d
🌐Protocol Synthesis
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Python Fundamentals: annotation
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Creating Domain Types for Safer Code
dev.to·2h·
Discuss: DEV
🔒Linear Types
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
I'm scared of artificial stupidity
idiotlamborghini.com·2h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing