💻 CS

computer science, automata, theory, computation

Ari Lamstein: Video: A Python App for Analyzing Immigration Enforcement Data
arilamstein.com·11h
🚀Indie Hacking
Scale, Flow & Microservices • James Lewis • YOW! 2019
youtube.com·17h
🌊Streaming Systems
Beginner HomeLab for Programming and testing phase/VM
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·3d·
Discuss: Hacker News
🏛️Isabelle HOL
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·2d·
Discuss: Hacker News
⚡Proof Automation
Kernel
web.cs.wpi.edu·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Implement AI Typesetting in Word
medium.com·1d·
Discuss: Hacker News
📋Document Grammar
Six Principles for Production AI Agents
app.build·13h·
Discuss: Hacker News
⚙️TLA+
🎨 Clean code setup that boosts focus:
dev.to·1h·
Discuss: DEV
📟CLI Design
Medical Consultation Voice Agent
dev.to·22h·
Discuss: DEV
🎙️Whisper
STARN-GAT: A Multi-Modal Spatio-Temporal Graph Attention Network for Accident Severity Prediction
arxiv.org·1h
🌀Riemannian Computing
Can Small-Scale Data Poisoning Exacerbate Dialect-Linked Biases in Large Language Models?
arxiv.org·1d
🧠Intelligence Compression
Top Skills Data Scientists Should Learn in 2025
kdnuggets.com·13h
🧪Data science
🎨 Clean code setup that boosts focus:
dev.to·11h·
Discuss: DEV
📟CLI Design
VAMPIRE: Uncovering Vessel Directional and Morphological Information from OCTA Images for Cardiovascular Disease Risk Factor Prediction
arxiv.org·1h
🌀Differential Geometry
Efficient Self-Supervised Neuro-Analytic Visual Servoing for Real-time Quadrotor Control
arxiv.org·1h
📐Projective Geometry
Style-Aware Blending and Prototype-Based Cross-Contrast Consistency for Semi-Supervised Medical Image Segmentation
arxiv.org·1h
📊Learned Metrics
Clustering-Oriented Generative Attribute Graph Imputation
arxiv.org·1d
📐Vector Similarity
7 Must-Read AI and Prompt Engineering Books for Developers in 2025
dev.to·14h·
Discuss: DEV
⚡Proof Automation
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.org·4d
✨Effect Handlers