Adventure in 1K (1983)
bluerenga.blog·3d
🕹️Retro Gaming
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
Ants Trapped in a Soviet Nuclear Bunker Survived for Years
sciencealert.com·1d·
Discuss: Hacker News
🔐Soviet Cryptography
[RFC] LLVM AI tool policy: start small, no slop - LLVM Project - LLVM Discussion Forums
discourse.llvm.org·20h
💻Local LLMs
It's easy to take image rendering in a terminal as granted, let alone video rendering. It's so cool when you think about it.
reddit.com·2d·
Discuss: r/linux
🖥️Terminal Renaissance
Off and unplugged UPS quietly clicking every 4 seconds
reddit.com·13h·
Discuss: r/homelab
🔒Secure Boot
Revel Part 3: Rendering 1 Million Cubes
velostudio.github.io·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🖥️Terminal Renaissance
Linux will not add support for RISC-V big-endian developmemts/experiments for now.
lore.kernel.org·3d·
Discuss: Hacker News, r/linux
🚀RISC-V Vector
Anatomy of a Modern Finetuning API
benanderson.work·2h·
Discuss: Hacker News
💻Local LLMs
Anthropologist addresses artificial intelligence and the authority we give to it
phys.org·1d
🌍Cultural Algorithms
The Closure Phenomenon: Functions That Remember
dev.to·1d·
Discuss: DEV
💻Programming languages
Agents go brrrrrrr
dev.to·3h·
Discuss: DEV
⚡Proof Automation
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·10h·
Discuss: Hacker News
🎯Interactive Provers
Title: Perplexity's Web Crawlers Allegedly Scraping Websites They're Not Supposed To
dev.to·8h·
Discuss: DEV
🌐WARC Forensics
Advanced Acoustic Anomaly Detection via Multi-Modal Bayesian Fusion
dev.to·1h·
Discuss: DEV
🎵Acoustic Fingerprinting
The Geek Code (1993)
github.com·1d·
Discuss: Hacker News
📜Binary Philology
Show HN: TorchSystem, Event driven systems with PyTorch
github.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Secrets Hackers Don’t Tell: Recon Techniques That Actually Pay
infosecwriteups.com·1h
🕵️Vector Smuggling
The Quantum Future: How AI is Redefining Possibility
dev.to·1d·
Discuss: DEV
⏰Time Crystals
Adaptive Predictive Maintenance using Hybrid Reluctance Sensors and Bayesian Filtering for High-Speed Circuit Breakers
dev.to·1d·
Discuss: DEV
🌊Stream Processing