Call for Proposals โ€“ Cinematic Memory: Narrative, Recollection, and Identity (Edited by David Ryan)
filmint.nuยท9h
๐Ÿ”Archive Semantics
Hidden Cost of Smart AI: 50ร— More COโ‚‚ for a Single Question
scitechdaily.comยท17h
๐Ÿง Intelligence Compression
Valuable News โ€“ 2025/08/18
vermaden.wordpress.comยท17h
๐Ÿ”ŒOperating system internals
Refine your initial prompt instead of course-correcting
elite-ai-assisted-coding.devยท1dยท
Discuss: Hacker News
๐Ÿ“Proof Assistants
Lets See What We Can do! with F# Computation Expressions โ€ข Andrew Browne โ€ข YOW! 2015
youtube.comยท13h
๐Ÿ”—Lisp
Typechecker Zoo
sdiehl.github.ioยท3dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Easy will always trump simple
surfingcomplexity.blogยท21hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Launch HN: Embedder (YC S25) โ€“ Claude Code for Embedded Software
news.ycombinator.comยท3dยท
Discuss: Hacker News, r/embedded
๐ŸŒWASI
Model intelligence is no longer the constraint for automation
latentintent.substack.comยท3dยท
Discuss: Substack
๐Ÿง Intelligence Compression
Why AI and "helpful" tech are making us helpless
afterburnout.coยท7hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
What Elite Tech Students Are Learning from Poetry
theatlantic.comยท3d
๐Ÿ›Digital humanities
Amazon is still struggling to stem the flood of AI-generated fake books
the-decoder.comยท1d
๐Ÿ“ฐRSS Reading Practices
OpenAI's o3 model outperforms the newer GPT-5 model on complex, multi-app office tasks
the-decoder.comยท2d
๐Ÿ”„Archival Workflows
Channels vs Mutexes In Go - the Big Showdown
dev.toยท2hยท
Discuss: DEV, r/golang
๐ŸŒŠStream Processing
Unveiling Chemically-Induced Tau Aggregation Resolution via Targeted Peptide Libraries and AI-Driven Screening
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Vector Forensics
A CLIP-based Uncertainty Modal Modeling (UMM) Framework for Pedestrian Re-Identification in Autonomous Driving
arxiv.orgยท22h
๐Ÿ“ŠLearned Metrics
Debian Preseed Notes - Classes
blog.raymond.burkholder.netยท1d
๐Ÿ”ŒOperating system internals
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.orgยท4d
๐Ÿง Machine Learning
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.orgยท4d
๐Ÿง Intelligence Compression
Create a travel planning agentic workflow with Amazon Nova
aws.amazon.comยท5h
๐ŸŒŠStreaming Systems