Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgΒ·18h
πŸ”—Category Theory
Flag this post
Java Generics and Collections β€’ Maurice Naftalin & Stuart Marks β€’ GOTO 2025
youtube.comΒ·1d
πŸ”—Go Generics
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toΒ·2hΒ·
Discuss: DEV
πŸ’¬Interactive REPLs
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgΒ·2hΒ·
Discuss: Hacker News
πŸ”¬Nanopasses
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comΒ·8hΒ·
πŸ—‚οΈType Indexing
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comΒ·13h
🎭Erlang OTP
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgΒ·8hΒ·
Discuss: Hacker News
πŸͺœRecursive Descent
Flag this post
Empirical Bayesian Multi-Bandit Learning
arxiv.orgΒ·18h
πŸ—ΊοΈRegion Inference
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·1d
βš–οΈInference Rules
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgΒ·21hΒ·
βœ…Type Checking
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·22h
πŸ“šStack Allocation
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.comΒ·58m
βš–οΈInference Rules
Flag this post
My ML Learning Journey: From Confusion to Building a Working Model
kaggle.comΒ·16hΒ·
Discuss: DEV
🌱Minimal ML
Flag this post
Issue 496
haskellweekly.newsΒ·1d
πŸ‘‘Dependent Haskell
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgΒ·18h
🌱Minimal ML
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comΒ·17hΒ·
Discuss: Hacker News
πŸͺœRecursive Descent
Flag this post
GIR-Bench: Versatile Benchmark for Generating Images with Reasoning
paperium.netΒ·6hΒ·
Discuss: DEV
πŸ—ΊοΈRegion Polymorphism
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comΒ·4hΒ·
Discuss: Hacker News
πŸͺœRecursive Descent
Flag this post