Emacs: Open URLs or search the web, plus browse-url-handlers
sachachua.com·16h
🐧FOSS
AI Creates the Problems it Solves
dbreunig.com·19h
⚡Proof Automation
Redesigning my server trays into touch-capable LED panels with real-time stats and synced media display
preview.redd.it·15h·
Discuss: r/homelab
🖥️Modern Terminals
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·1d·
Discuss: Hacker News
🔓Open Source Software
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
⚙️TLA+
Why Elixir? A Rebuttal to Common Misconceptions
matthewsinclair.com·4d·
Discuss: Hacker News, Hacker News
🌊Streaming Systems
Experience-Centric Resource Management in ISAC Networks: A Digital Agent-Assisted Approach
arxiv.org·2d
🔲Cellular Automata
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·1d
📈Time Series
Extracting ORR Catalyst Information for Fuel Cell from Scientific Literature
arxiv.org·1d
🔍Information Retrieval
Machine Learning Fundamentals: confusion matrix example
dev.to·3d·
Discuss: DEV
📥Feed Aggregation
How to Get the Best Out of Notion MCP Server with Cursor and Claude?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
JAX-MPM: A Learning-Augmented Differentiable Meshfree Framework for GPU-Accelerated Lagrangian Simulation and Geophysical Inverse Modeling
arxiv.org·4d
🌀Differential Geometry
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·3d
🧮Z3 Solver
The Metric That Determines AI Product Success
medium.com·19h·
Discuss: Hacker News
📏Code Metrics
AI-Powered Coding Tools & Software Development in 2025
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
LLM failures
funcall.blogspot.com·4d·
Discuss: www.blogger.com
💻Programming languages
[Media] Practice typing out Rust code to get comfortable with the syntax
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Object Oriented Programming is an expensive disaster which must end
medium.com·3d·
Discuss: Hacker News
💻Programming languages
Grok 4: Feature, Price ,Access and More
dev.to·1d·
Discuss: DEV
🔗Hypermedia APIs