Advent of Code 2016
nbviewer.ipython.org·1d
🧩Theorem Proving
CppCon 2025 Back to Basics: Refactoring -- Amir Kirsh
isocpp.org·1d
🔌Network Programming
AI Algorithm Finds Unique Supernova 730 million Light-Years Away, Classifies It As 'Anomalous'
nordot.app·8h
🤖Sci-Fi
Use AI Agents to Experiment
ylan.segal-family.com·8h
🦀Rust
Microservice-Based LLM Agents Enable EDA Flow Automation (Duke Univ. and Univ. of Maryland)
semiengineering.com·2d
🧩Theorem Proving
Theoretical particle physicist tackles machine learning's black box
techxplore.com·4d
🧫Cellular Automata
"Why I Built an AI Terminal with Mermaid Themes (And Why Developer Tools Should Spark Joy) 🧜‍♀️"
rinawarptech.com·1d·
Discuss: DEV
🔧Compiler Design
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·10h·
Discuss: Substack
👐Open Source Software
Sowing Seeds
sonderwonder.bearblog.dev·1d
🧫Cellular Automata
7 Matplotlib Tricks to Better Visualize Your Machine Learning Models
machinelearningmastery.com·3d
🧫Cellular Automata
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·2d·
Discuss: Substack
💾Retrocomputing
My 48-hour project: A declarative meta package manager for Linux (like NixOS meets Bedrock), all in one 9000-line shell script.
github.com·2d·
Discuss: r/linux
👐Open Source Software
Build a Local AI Agent with MCP Tools Using GPT-OSS, LangChain & Streamlit
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
the-borrow-checker-is-not-the-problem
chadnauseam.com·1d
⚙Functional Programming
This is the ultimate home lab consolidation CPU
xda-developers.com·1d
🌍Distributed Systems
AI-Powered Note Taker & Summarizer I Built From Scratch
dev.to·14h·
Discuss: DEV
🧮Programming Language Theory
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.org·3d
🔗Parser Combinators
Momentum Point-Perplexity Mechanics in Large Language Models
arxiv.org·4d
🔗Parser Combinators
Leveraging Large Language Models for Rare Disease Named Entity Recognition
arxiv.org·3d
🔗Parser Combinators
Precision-Guided Triggerable ADC Delivery via Enzyme-Responsive Peptide Linkers: A Computational & Experimental Validation
dev.to·1h·
Discuss: DEV
🔐Cryptography