Online activities 6 โ€“ 12 October
ests.wordpress.comยท1d
๐Ÿ”—Category Theory
2025 Board Nominations: Time to Vote
clojuriststogether.orgยท2d
๐Ÿ”ฎClojure
10.7 Fate Intelligence
preview.redd.itยท10hยท
Discuss: r/LifeTree
๐Ÿš‚Error Propagation
Protobuf: Rust Generated Code Guide
protobuf.devยท22h
๐Ÿฆ€Rust Macros
One model is not enough, too many models is hard: Technical deep dive
developers.redhat.comยท1h
๐Ÿ“ฆDependency Analysis
Tsoding, Bison and possible alternatives
youtube.comยท6hยท
Discuss: r/programming
๐Ÿ”งParser Generators
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.orgยท5dยท
Discuss: Hacker News
๐Ÿ“Mathematical Computing
Build a Powerful AI Chatbot UI in Minutes with Next.js
dev.toยท3hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
The Meaningfulness Gap in AI Ethics
dev.toยท4hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Unsealed document details abuse allegations against Dolphins' Tyreek Hill
nytimes.comยท9h
๐Ÿlisp
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.orgยท2d
โš–๏ธInference Rules
Join the Auth0 for AI Agents Challenge: $3,000 in Prizes!
dev.toยท1hยท
Discuss: DEV
๐Ÿ”ฎMetacircular Evaluators
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.orgยท11h
๐Ÿ”—Lexical Scoping
Artificial Intelligence: Key Trends & Developments
dev.toยท3hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.orgยท2d
๐Ÿš€Tokenizer Performance
Relative Code Comprehensibility Prediction
arxiv.orgยท1d
๐ŸŽฎLanguage Ergonomics
Day 25 of 90 day python series..
github.comยท1dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Built a small Rust-based LC-3 linter & formatter โ€” feedback welcome!
reddit.comยท1dยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend