Samsung 870 QVO 4TB SATA SSD-s: how are they doing after 4 years of use?
ounapuu.eeยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rusty Databases
Gauss, an Agent for Autoformalization
math.incยท4dยท
๐Ÿ›๏ธAgda
Java Is Dead! Long Live Java!
systemsandsociety.comยท6hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Programming Deflation
tidyfirst.substack.comยท22hยท
Discuss: Substack
โšกEffectful Programming
How I became a machine learning practitioner (2019)
blog.gregbrockman.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
The Impact of Robotaxis on Gig Worker Wages: Early Evidence and Future Outlook
gadallon.substack.comยท20hยท
Discuss: Substack
๐Ÿ–ฅ๏ธModern Terminals
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Lisp
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.comยท4d
๐Ÿ”ฌOptical Physics
As We May Think No More: From Bush's Memex to AI Alignment
memoryleak.substack.comยท3dยท
Discuss: Substack
๐ŸงฒMagnetic Philosophy
How Professional ICO Marketing Can Elevate Your Blockchain Project
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„RSS Infrastructure
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.toยท23hยท
Discuss: DEV
โšกProof Automation
A five-layer framework for AI governance: integrating regulation, standards, and certification
arxiv.orgยท9h
๐Ÿ”Capability Systems
Cryptanalysis and design for a family of plaintext non-delayed chaotic ciphers
arxiv.orgยท9h
๐Ÿ”Cryptographic Archaeology
Building Production-Ready AI Agents: A Multi-Framework Journey with Amazon Bedrock AgentCore
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
A Time-Series Foundation Model by Universal Delay Embedding
arxiv.orgยท9h
๐ŸŒ€Riemannian Computing
BiLSTM-VHP: BiLSTM-Powered Network for Viral Host Prediction
arxiv.orgยท9h
๐ŸงฎKolmogorov Complexity