Job Posting: Systems and Security Administrator
citizenlab.ca·13h
🛡️IoT Security
Advantages and Pitfalls of Public Investment in Open Source Infrastructure
fossforce.com·1h
👐Open Source Software
Profiling Performance in Python
realpython.com·13h
🏗Computer Architecture
Maestro 2.0
maestro.dev·11h·
Discuss: Hacker News
🏗️Software Architecture
After using Obsidian Bases, I can’t see myself going back to Notion
makeuseof.com·15h
🗄️Database Theory
Trading Grids: A Technical Deep Dive
koolcodez.com·1d·
Discuss: Hacker News
⚙Functional Programming
I open-sourced a protocol to create auditable logs for AI agents
medium.com·13h·
Discuss: Hacker News
🧩Theorem Proving
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·4d·
Discuss: Hacker News
🧩Theorem Proving
Automated Grain Boundary Characterization via Deep Feature Extraction and Bayesian Inversion in HR-TEM Data
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Evaluating Movement Initiation Timing in Ultimate Frisbee via Temporal Counterfactuals
arxiv.org·23h
🎲Probabilistic Programming
ChatGPT 4o was the real leap in LLM's
reddit.com·13h·
Discuss: r/ChatGPT
🔧Compiler Design
Where do I find funding?
reddit.com·9h·
Discuss: r/opensource
🌍Distributed Systems
Claude Code: From Zero to Hero
dev.to·9h·
Discuss: DEV
👐Open Source Software
Human-in-the-Loop for AI: The Advantage Behind Accurate Systems
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Show HN: I made AI Agent App that literally uses your phone
github.com·13h·
Discuss: Hacker News
🧫Cellular Automata
Year of the Microcontroller
blog.a1w.ca·1d
🏗Computer Architecture
The NMDAR/TRPM4 death complex is a major promoter of disease progression in the 5xFAD mouse model of Alzheimer’s disease
nature.com·1d
🔢Mathematical Logic
Probabilistic Forecasting Cryptocurrencies Volatility: From Point to Quantile Forecasts
arxiv.org·1d
🎲Probabilistic Programming
AI Contrarians on the Problems With Vibe Coding
thenewstack.io·9h
🧩Theorem Proving
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·23h
🧩Theorem Proving