10-Year Study Links Cycling to Longer, Healthier Lives
scitechdaily.com·4h
🎯Emulator Accuracy
Flag this post
CCC Test of Time award
cstheory-events.org·3d
🧮Theoretical Computer Science
Flag this post
Reading List 11/8/2025
construction-physics.com·3d
⚙️Cassette Mechanics
Flag this post
Why we chose OCaml to write Stategraph
stategraph.dev·4d·
Discuss: Hacker News, r/programming
🔒Linear Types
Flag this post
Arti, a complete rewrite of the C Tor codebase in Rust
tpo.pages.torproject.net·1d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·4d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Councils of Agents
theengineeringmanager.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
Why Renting a GPU Server Can Help Startups Jumpstart AI Projects
dev.to·4h·
Discuss: DEV
🖥️Modern Terminals
Flag this post
How to Create a Responsive Portfolio Website with HTML and CSS Source Code
dev.to·4h·
Discuss: DEV
🎬WebCodecs
Flag this post
Use A.I. to Reinvigorate Democracy — Not Replace It
nytimes.com·4h·
Discuss: Hacker News
🌍Cultural Algorithms
Flag this post
Murder Web Forms with BPMN Driven AI Agents
medium.com·13h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
TLS For AI Agents? No. Wristbands For The Idiots In Line
dev.to·2d·
Discuss: DEV
🎯NTLM Attacks
Flag this post
Deep Self-Evolving Reasoning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
7 Steps to Effectively Validate AI-Generated Code
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Flag this post
RF-Behavior: A Multimodal Radio-Frequency Dataset for Human Behavior and Emotion Analysis
arxiv.org·9h
🧠Machine Learning
Flag this post
The 12 best retro gaming gifts for the 2025 holidays
engadget.com·1h
🕹️Retro Gaming
Flag this post
Fast‑Track Knowledge Bases: How to Build Semantic AI Search by Andriy Burkov
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Flag this post
IonQ's Q3: Inflection Is Near
seekingalpha.com·1d
🔍Information Retrieval
Flag this post
Advanced Nanostructured Coatings for Hydrokinetic Turbine Blade Erosion Mitigation
dev.to·1d·
Discuss: DEV
📝Database WAL
Flag this post
Improving Asset Allocation in a Fast Moving Consumer Goods B2B Company: An Interpretable Machine Learning Framework for Commercial Cooler Assignment Based on Mu...
arxiv.org·9h
🧠Learned Indexing
Flag this post