I took the Game of Thrones smartphone to a real castle to see if it could stick the (King's) landing
techradar.comยท10h
๐ŸŒˆColor Archaeology
The story of Bram Cohen and the BitTorrent protocol
xda-developers.comยท9h
๐ŸŒŠBitTorrent
DupeGuru lets you quickly find and remove duplicate files from your drives
techspot.comยท2d
๐Ÿ”„Content Deduplication
Trying to find an app to overview my homelab
reddit.comยท6hยท
Discuss: r/homelab
๐Ÿ Homelab Archaeology
Three ways formally verified code can go wrong in practice
buttondown.comยท1d
๐Ÿ“œProof Carrying Code
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Fighting Email Spam on Your Mail Server with LLMs โ€” Privately
cybercarnet.euยท11hยท
Discuss: Hacker News, Hacker News, r/LocalLLaMA, r/selfhosted
โšกgRPC
Regression to the Mean
blog.engora.comยท1dยท
Discuss: Hacker News
๐ŸŽฏArithmetic Coding Theory
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท1dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
2025-10-10 # LLMs Are Transpilers
alloc.devยท2dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Statistics in the Era of AI
scienceforeveryone.scienceยท2dยท
Discuss: Hacker News
๐ŸŽ“Academic Torrents
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
The Library Method: Understanding @cache
dev.toยท1dยท
Discuss: DEV
โšกCache Theory
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท4hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Accelerated Cold Tolerance Breeding via Multi-Modal Phenotyping and Genome-Wide Predictive Modeling
dev.toยท3hยท
Discuss: DEV
โ˜•Precision Brewing
Built a โ€œcode-first + visualโ€ ETL/ELT Pipeline in Go โ€” feedback wanted from data folks
reddit.comยท6hยท
Discuss: r/golang
๐Ÿ’งLiquidhaskell
High-Throughput Reactive Sputtering Process Optimization via Adaptive Machine Learning Control
dev.toยท9hยท
Discuss: DEV
๐Ÿ“„Document Digitization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท1d
โ›ชChurch Encoding
Python For Data Engineering
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing