Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·3h·
Discuss: Hacker News
🧮Lambda Calculus
The Story of British Billionaire Mike Lynch’s Tragic Boat Sinking
wired.com·1d·
Discuss: Hacker News, r/TrueReddit, r/technews
🩹Self-Healing Systems
The Supply Chain Is the New Watering Hole
material.security·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Systematic attribution of heatwaves to the emissions of carbon majors
nature.com·19h·
Discuss: Hacker News
🏹Effect Systems
Redox-driven mineral and organic associations in Jezero Crater, Mars
nature.com·19h·
Discuss: Hacker News, r/space
🧗Climbing Tech
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
AI Apocalypse? Why language surrounding tech is sounding increasingly religious
thenationalherald.com·19h·
Discuss: Hacker News
🩹Self-Healing Systems
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com·17h·
Discuss: Hacker News
👁️System Observability
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.com·3d·
Discuss: r/programming
🔤DSLs
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
LiHRA: A LiDAR-Based HRI Dataset for Automated Risk Monitoring Methods
arxiv.org·2d
🩹Self-Healing Systems
PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
arxiv.org·2d
📚Automata Learning
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.org·3d
📚Automata Learning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
Single-Shot Decoding of Biased-Tailored Quantum LDPC Codes
arxiv.org·2d
🛡️seL4
ClockBench – Visual Reasoning AI Benchmark
github.com·3d·
Discuss: Hacker News
📊Runtime Verification
Taming LLM Sprawl: Why Enterprises Need an AI Gateway Now
thenewstack.io·1d
🤖Program Synthesis
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·3d
🎮Verification Games
Biomedical Literature Q&A System Using Retrieval-Augmented Generation (RAG)
arxiv.org·2d
🧩Parser Combinators
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·2d
📚Automata Learning