work
visakanv.com·23h
📜Digital Philology
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·2h
🖥️Modern Terminals
Anthropic Is Bleeding Out
wheresyoured.at·22h·
Discuss: Hacker News
🖥️Terminal Renaissance
LLMs and Algorithmic Trading
architect.co·1d·
Discuss: Hacker News
🧠Machine Learning
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·1d·
Discuss: Substack
🚚Data Migration
A deep dive into deeply recursive Go
mattermost.com·21h·
Discuss: Hacker News
⬆️Lambda Lifting
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·19h·
Discuss: Hacker News
📸PNG Optimization
Graphene-based artificial tongue achieves near-human-like sense of taste
phys.org·1d
🧲Magnetic Recording
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·1d
🔤Type Theory
Show HN: I made a CLI tool to batch convert handwritten notes to Markdown
github.com·4d·
Discuss: Hacker News
📄PostScript
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·1d
📐Mathematical Art
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·2d
🧮Kolmogorov Bounds
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.org·3d
🌀Differential Geometry
A Principled Framework for Multi-View Contrastive Learning
arxiv.org·2d
📊Learned Metrics
Scene Understanding in Action: Real-World Validation of Multimodal AI Integration
towardsdatascience.com·1d
🌀Hyperbolic Geometry
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·1d
📊Learned Metrics
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1d
⚡Incremental Computation
Bridging Sequential Deep Operator Network and Video Diffusion: Residual Refinement of Spatio-Temporal PDE Solutions
arxiv.org·3d
🌀Riemannian Computing
Wrist bone segmentation in X-ray images using CT-based simulations
arxiv.org·1d
🤖Advanced OCR
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·1d
🎯Proof Tactics