Touch Typing
brajeshwar.comยท2h
๐ŸŽฏGradual Typing
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.orgยท3d
๐Ÿฆ€Rust Macros
OCC 2025 Epilogue
82mhz.netยท1d
๐Ÿš€Indie Hacking
Open Sesame: Poems with Entropy
benwr.netยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ”“Password Cracking
The old Caveman Chemistry website
cavemanchemistry.comยท12hยท
Discuss: Hacker News
๐ŸงชManuscript Chemistry
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.comยท1dยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Bad Apple!! CD+G on a karaoke machine
gashlin.netยท3hยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฌFloppy imaging
Building a Dumber Team
dandreamsofcoding.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Are We Cooked?
bonnycode.comยท2dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Vibe Coding and Robocop
remysharp.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Hacking
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Effective Practices for Coding with a Chat-Based AI
infoq.comยท4dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. Thatโ€™s one of the main reasons I prefer Rust.
reddit.comยท23hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.orgยท3d
๐Ÿ—‚๏ธVector Databases
Tips for Writing Clean Code in TensorFlow 2
hackernoon.comยท17h
๐Ÿ“ŠQuantization
GitPilot
dev.toยท9hยท
Discuss: DEV
๐ŸŒฟgit
I built CodeMocker: AI-powered mock coding interviews
dev.toยท2dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
๐Ÿ” FastAPI JWT Authentication with SQLite Database for Secure APIs
dev.toยท9hยท
Discuss: DEV
๐ŸงฉSQLite Extensions
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.orgยท2d
โœ“Automated Theorem Proving