Claude on Rails
obie.medium.comยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
The Whole Code Catalog
futureofcoding.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Elmo's World NP-complete problem (2006)
blog.plover.comยท3dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
The Bitter Lesson
finbarr.caยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Many small evals beat one big eval, for AI Products
getkiln.aiยท11hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท2d
๐Ÿ“Concrete Syntax
Rust Forge Conf 2025 Schedule Announced
newsletter.rustforgeconf.comยท14h
๐Ÿฆ€Rust Macros
Project Vend: Can Claude run a small shop? (And why does that matter?)
anthropic.comยท11hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
An AI Agent That Interprets Papers So You Donโ€™t Have To: Full Build Guide
hackernoon.comยท1d
๐Ÿ”ฌAcademic Search
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.toยท5dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Language Modeling by Language Models
arxiv.orgยท1d
๐Ÿค–Grammar Induction
Amalโ€™s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Ciphers
Video Perception Models for 3D Scene Synthesis
arxiv.orgยท1d
๐Ÿ“Projective Geometry
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750570224424500๏ผ‰
dev.toยท5dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Python Fundamentals: asyncio
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Off-Policy Evaluation and Learning for the Future under Non-Stationarity
arxiv.orgยท1d
๐Ÿง Machine Learning
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.orgยท23h
๐Ÿ”BitFunnel
A Principled Approach to Randomized Selection under Uncertainty
arxiv.orgยท2d
๐ŸŒธBloom Variants
Async Programming in Rust Using Tokio: A Practical Guide
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Macros