Remember Your First Time (in Philosophy)?
cacm.acm.org·1d
🧮Theoretical Computer Science
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·1d
🔗Constraint Handling
Flag this post
State of the post-quantum Internet in 2025
blog.cloudflare.com·8h·
Discuss: Hacker News
🔐Quantum Security
Flag this post
Who needs Graphviz when you can build it yourself?
spidermonkey.dev·4h·
Discuss: Hacker News
⟷Bidirectional Programming
Flag this post
Beyond Accuracy: A 5-Step Framework for Meaningful AI Evaluation
oblsk.com·1h·
Discuss: Hacker News
🤖AI Curation
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·1d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
FlowCapX: Physics-Grounded Flow Capture with Long-Term Consistency
arxiv.org·17h
⚙️Cassette Mechanics
Flag this post
R-Horizon: How Far Can Your Large Reasoning Model Really Go in Breadth andDepth?
dev.to·9h·
Discuss: DEV
🧮Datalog Systems
Flag this post
The New Calculus of AI-based Coding
blog.joemag.dev·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Flag this post
MOBO-OSD: Batch Multi-Objective Bayesian Optimization via Orthogonal Search Directions
arxiv.org·1d
⚡Incremental Computation
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·1d·
Discuss: DEV
⚡Hardware Transactional Memory
Flag this post
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
arxiv.org·1d
🧠Machine Learning
Flag this post
A new measure for dynamic leakage based on quantitative information flow
arxiv.org·1d
🕳️Information Leakage
Flag this post
Diagnosing Bottlenecks in Data Visualization Understanding by Vision-Language Models
arxiv.org·17h
🌀Differential Geometry
Flag this post
SQL Mandelbrot Benchmark
github.com·2d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
Complexity Dependent Error Rates for Physics-informed Statistical Learning via the Small-ball Method
arxiv.org·17h
🧮Kolmogorov Bounds
Flag this post
Hard part about building AI Agents isn't planning it's making them stick to plan
sia.build·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
The Forgotten Hero in the AI Workflow
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Flag this post
Exploring Semantic-constrained Adversarial Example with Instruction Uncertainty Reduction
arxiv.org·17h
⚔️Lean Tactics
Flag this post
Accelerating Data Generation for Nonlinear temporal PDEs via homologous perturbation in solution space
arxiv.org·1d
🌀Differential Geometry
Flag this post