Python heapq.nlargest vs list.sort
ddaa.net·1d·
Discuss: r/programming
🏹Effect Systems
HMQ: Principal Type Inference Under a Prefix
microsoft.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·1d·
Discuss: Hacker News
👁️System Observability
The case for building operator interfaces before AI agents
henrypray.com·2d·
Discuss: Hacker News
👁️System Observability
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Don’t compare programming to the real world
expressionstatement.com·1d·
Discuss: r/programming
👁️System Observability
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·2d·
Discuss: Substack
🧪Property-Based Testing
Making Docs Better for AI and Humans
redmonk.com·21h·
Discuss: Hacker News
🤖Program Synthesis
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
✓Automated Theorem Proving
AI Agents Under the Hood
blog.surkar.in·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·1d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·3d
🔠Type-Level Programming
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
🏹Effect Systems
Ground Truth Ambient Occlusion
github.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·17h·
Discuss: Hacker News
🔬Unikernels
Time Series Foundation Models for Multivariate Financial Time Series Forecasting
arxiv.org·1d
🐫OCaml
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·1d
🎮Verification Games
Bujo.nvim – bullet journal accessible from anywhere
github.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.org·3d
🔠Type-Level Programming