Işıl Dillig Named 2025 ACM SIGPLAN Robin Milner Young Researcher
cs.utexas.edu·3d
💻Programming languages
Double Maths First Thing: Issue 2B
aperiodical.com·3d
👑Isabelle
Mandelbrot in x86 assembly by Claude
simonwillison.net·3d·
Discuss: Hacker News
🔬Binary Analysis
Flutter Exception Handling with try/catch and the Result type
codewithandrea.com·1d
💧Liquid Types
Making a speedrun timer in D
bradley.chatha.dev·2d·
Discuss: Hacker News
🎯Emulation Accuracy
Code⇄GUI bidirectional editing via LSP
jamesbvaughan.com·3d·
Discuss: Hacker News
⟷Bidirectional Programming
Health Insurance Appeals with Generative AI: From Lab to Production • Holden Karau • GOTO 2024
youtube.com·3d
📐Proof Assistants
Accelerate Legacy Application Modernization 4 times faster
techolution.com·2d·
Discuss: Hacker News
🤖Archive Automation
An Unexpected Journey with Cursor and Gemini 2.5 Pro
medium.com·3d·
Discuss: Hacker News
⚡Proof Automation
Echoes of AI: Investigating the Downstream Effects of AI Assistants on Software Maintainability
arxiv.org·3d
✨Effect Handlers
Tuning the Pixels, Not the Soul: How Filter Atoms Remake ConvNets
hackernoon.com·4d
🤖Advanced OCR
The Illusion of Fairness: Auditing Fairness Interventions with Audit Studies
arxiv.org·1d
✨Effect Handlers
AI Blood Journal
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
GLM-4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning
arxiv.org·3d
📊Learned Metrics
Can We Reliably Predict the Fed's Next Move? A Multi-Modal Approach to U.S. Monetary Policy Forecasting
arxiv.org·4d
🧠Machine Learning
Structure-preserving Lift & Learn: Scientific machine learning for nonlinear conservative partial differential equations
arxiv.org·3d
🌀Riemannian Computing
VOCAL: Visual Odometry via ContrAstive Learning
arxiv.org·3d
🌀Differential Geometry
Are Vision Transformer Representations Semantically Meaningful? A Case Study in Medical Imaging
arxiv.org·2d
🧠Machine Learning
Show HN: Worflows.py, the best way to build agents
github.com·4d·
Discuss: Hacker News
🌊Stream Processing
Run Any MCP Server Locally with Docker’s MCP Catalog and Toolkit
dev.to·1d·
Discuss: DEV
📦Container Security