Building our geospatial database in production
radar.com·1h·
Discuss: Hacker News
🎯GADT
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·2d·
Discuss: Substack
🎨GADTs
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
4 Rules for Successful Vibe Coding
appsoftware.com·3h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
👁️Observability
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·1d
🎨GADTs
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·1d
📚Automata Learning
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Being "Usefully Concrete"
lesswrong.com·19h
➡️Category Theory
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·12h
🕸️Graph Theory
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·12h
🔍CBMC
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·12h
❓Existential Types
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🧩Parser Combinators
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·1d
📚Automata Learning
Flag this post
Automated Figure-Text Alignment & Knowledge Extraction for Scientific Literature
dev.to·18h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Region-Aware Reconstruction Strategy for Pre-training fMRI Foundation Model
arxiv.org·1d
📚Automata Learning
Flag this post