Effects in Rust (and Koka)
aloso.foo·23h·
Discuss: r/rust
⚡Algebraic Effects
Contrastive Weak-to-strong Generalization
arxiv.org·19h
🪜Recursive Descent
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·9h·
Discuss: DEV
💬Interactive REPLs
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.com·1d
✨Effect Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
🧮Combinator Calculus
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Unification Algorithms
IceQream: Quantitative chromosome accessibility analysis using physical TF models
nature.com·1d
🗺️Region Polymorphism
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🔧Scheme Macros
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·3h·
Discuss: DEV
📊DataFrame Types
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Average Controlled and Average Natural Micro Direct Effects in Summary Causal Graphs
arxiv.org·19h
✨Effect Inference
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·11h·
Discuss: r/ClaudeAI
⚡Effect Handlers
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·16h·
Discuss: Hacker News
📝Text Editors
Cactus Language • Semantics 3
inquiryintoinquiry.com·8h
📋Backus-Naur Form
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Hypernetworks: Neural Networks for Hierarchical Data
sturdystatistics.com·3d
🪜Recursive Descent
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·54m·
Discuss: Hacker News
↔️Bidirectional Typing
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·3h·
Discuss: r/programming
📡Protocol Buffers
Categorical systems theory
topos.institute·11h
🔗Category Theory