How singleton contradicts longtermism
lesswrong.comยท3h
โ†•๏ธBidirectional Types
Loop MCP by SimpliflowAI
producthunt.comยท1d
๐ŸŒ™Lua
Build systems ร  la carte - 3236774.pdf
dl.acm.orgยท1d
๐ŸŒฑForth Kernels
Temporal_rs is here The datetime library powering Temporal in Boa and V8
boajs.devยท24mยท
Discuss: Hacker News
๐Ÿ“กProtocol Buffers
Fractran Programming Language
en.wikipedia.orgยท22hยท
Discuss: Hacker News
๐Ÿ“Rope Editors
Do any of the Rust folks out there know of any Rust issues for "async fns increase *code size* nonlinearly"?
bsky.appยท22hยท
Discuss: Bluesky
๐Ÿ”’Rust Borrowing
Cactus Language โ€ข Mechanics 2
inquiryintoinquiry.comยท1d
๐Ÿ“‹Backus-Naur Form
The history and future of software development (part 1)
stackoverflow.blogยท1h
๐ŸบCode Archeology
Is Fortran better than Python for teaching basics of numerical linear algebra?
loiseaujc.github.ioยท20hยท
๐ŸงฎLinear Algebra
Building a Debugger โ€ข Sy Brand & Tim Misiak
buzzsprout.comยท2dยท
Discuss: r/programming
๐Ÿ”Debugging Compilers
Identity Types
bartoszmilewski.comยท2dยท
Discuss: Hacker News
๐ŸŽฏType Theory
Quantum Computing Research in the Arab World
cacm.acm.orgยท1h
๐ŸงฉConstraint Solvers
Robot-assisted mapping of chemical reaction hyperspaces and networks
nature.comยท3m
โœจEffect Inference
The GPU Bottleneck: Why Your Multi-GPU Training is Crawling (and How to Fix It!)
pub.towardsai.netยท10h
๐Ÿ”€SIMD Programming
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Automated Glycan Structure Elucidation via Hybrid Quantum-Graph Neural Networks
dev.toยท12hยท
Discuss: DEV
๐ŸชœRecursive Descent
Relearning Microservices with a Weekend Mini eCommerce Build
dev.toยท12hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Pathways of Thoughts: Multi-Directional Thinking for Long-form Personalized Question Answering
arxiv.orgยท11h
๐ŸชœRecursive Descent
Built a database in Rust and got 1000x the performance of Neo4j
reddit.comยท3dยท
Discuss: r/rust
๐Ÿ”Query Engines