Becoming a Core Developer
stefaniemolin.com·1d
🔬Static Analysis
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
The Collapse of Centralized AI Discovery
👁️Observability
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
📦Unikernel Systems
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
✓Automated Theorem Proving
Flag this post
Writing a DOS Clone in 2019
🔧Darwin Internals
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·23h
🧩Parser Combinators
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🔧DevOps
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
🔲Cellular Automata
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
🩹Self-Healing Systems
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
📊Runtime Verification
Flag this post
Adaptive Control for a Physics-Informed Model of a Thermal Energy Distribution System: Qualitative Analysis
arxiv.org·23h
🩹Self-Healing Systems
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·22h
🖥Self-Hosting
Flag this post
Real-Time Process Optimization via Adaptive Bayesian Reinforcement Learning and Multi-Objective Genetic Algorithms
🩹Self-Healing Systems
Flag this post
Dynamic Resource Allocation in CXL-Enabled Heterogeneous Compute Clusters
⚙️Operating System Design
Flag this post
Async/Await is finally back in Zig
⚡Process Calculi
Flag this post
Loading...Loading more...