Developer Walk-Through of Aider, an Open Source Agentic CLI
thenewstack.io·2d
👑Isabelle
PascalABC.NET
pascalabc.net·1d·
Discuss: Hacker News
💧Liquid Types
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·3d·
Discuss: Hacker News
🧮SMT Solvers
Why MIT switched from Scheme to Python (2009) | Hacker News
news.ycombinator.com·1d·
Discuss: Hacker News
💻CS
Scale, Flow & Microservices • James Lewis • YOW! 2019
youtube.com·17h
🌊Streaming Systems
Use Your Type System
dzombak.com·4d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Migrating to AI SDK v5: A Story of Tool Streaming, Caching, and Type Safety
braingrid.ai·3d·
Discuss: Hacker News
🔌Interface Evolution
Hermit: Manage isolated, self-bootstrapping sets of tools in software projects
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Interfaces for representing uncertainty
digitalseams.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems
arxiv.org·4d
✨Algebraic Effects
Oranits: Mission Assignment and Task Offloading in Open RAN-based ITS using Metaheuristic and Deep Reinforcement Learning
arxiv.org·1h
🕸️Network Topology
I Accidentally Discovered a Hidden Gem for Testing Premium AI Models (Completely Free!)
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.org·1d
📊Quantization
Machine Learning Fundamentals: gradient descent example
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Dark Side of Modalities: Reinforced Multimodal Distillation for Multimodal Knowledge Graph Reasoning
arxiv.org·1h
🧮Kolmogorov Complexity
SkinDualGen: Prompt-Driven Diffusion for Simultaneous Image-Mask Generation in Skin Lesions
arxiv.org·1h
🤖Advanced OCR
Review of Deep Learning Applications to Structural Proteomics Enabled by Cryogenic Electron Microscopy and Tomography
arxiv.org·1h
📊Quantization
Wine Characterisation with Spectral Information and Predictive Artificial Intelligence
arxiv.org·1h
🧠Machine Learning
A Modified Dielectric Contrast based Integral Equation for 2D TE Scattering by Inhomogeneous Domains
arxiv.org·1h
🕸️Algebraic Topology
How I Built MyMealMind — A Full Recipe Platform in Just Weeks with Bolt
dev.to·1d·
Discuss: DEV
📰Feed Readers