Scientists May Have Decoded the Mysterious Language of a Lost City
popularmechanics.comยท2d
๐Ÿ—๏ธPaleocryptography
Tape Library follow up!
i.redd.itยท15hยท
Discuss: r/homelab
๐Ÿ”Tape Forensics
Modern Data File Formats
stuartellis.nameยท10h
๐Ÿ’พDatabase Formats
Hoisington Investment Management Q3 2025 Review And Outlook
seekingalpha.comยท4h
๐Ÿ’ฐArchive Economics
Keyboard Holders, Generation 1
cceckman.comยท3dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Zig Is Great for Observability
inge.4pr.esยท13hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nzยท10hยท
Discuss: Hacker News
๐Ÿง Memory Allocators
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท1dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.orgยท2d
โšกProof Automation
Machines in the Crowd? Measuring the Footprint of Machine-Generated Text on Reddit
arxiv.orgยท3d
๐Ÿ›Digital humanities
Forecasting the Buzz: Enriching Hashtag Popularity Prediction with LLM Reasoning
arxiv.orgยท2d
โš–๏ธFeed Ranking
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
The Trillion Dollar AI Software Development Stack
a16z.comยท2dยท
Discuss: Hacker News
โšกProof Automation
My Hacker News app now supports Liquid Glass
apps.apple.comยท1hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.orgยท5d
๐ŸŽฏPerformance Proofs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท5d
โšกProof Automation
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.comยท18hยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.orgยท4d
๐Ÿง Machine Learning
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.orgยท4d
๐ŸŽจGraph Coloring