Scaling Down and Back Up Again
science.org·19m
⚙Functional Programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·57m
🧮Programming Language Theory
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·10h·
Discuss: Hacker News
🔧Compiler Design
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
🧭SMT Solvers
Building, Fast and Slow
idiallo.com·10h
🏗️Software Architecture
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·3h·
Discuss: Hacker News
🧭SMT Solvers
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·5h·
Discuss: Hacker News
📈Complexity Theory
How far can we push AI autonomy in code generation?
martinfowler.com·4h·
Discuss: Hacker News
🔧Compiler Design
A Start Of A Journey: BillsTechDeck
dev.to·8h·
Discuss: DEV
🏗️Software Architecture
PilotRL: Training Language Model Agents via Global Planning-Guided Progressive Reinforcement Learning
arxiv.org·1d
⚖️Logic Programming
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🧮Programming Language Theory
S-RRG-Bench: Structured Radiology Report Generation with Fine-Grained Evaluation Framework
arxiv.org·14h
🔧Compiler Design
Microstructure characterization in thermal barrier coatings using Sparse Polynomial Chaos Classifiers and Global Sensitivity Analysis
sciencedirect.com·2d
🛡️IoT Security
Accurate and Interpretable Postmenstrual Age Prediction via Multimodal Large Language Model
arxiv.org·14h
🔢Mathematical Logic
Uncertainty Estimation for Novel Views in Gaussian Splatting from Primitive-Based Representations of Error and Visibility
arxiv.org·14h
🧫Cellular Automata
Nakamoto Consensus from Multiple Resources
arxiv.org·14h
🤝Protocol Design
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.org·14h
🔗Parser Combinators
Proactive Disentangled Modeling of Trigger-Object Pairings for Backdoor Defense
arxiv.org·14h
🔐Cryptography
The Observer Effect for belief measurement
lesswrong.com·3d
⚖️Logic Programming
Agent-Based Feature Generation from Clinical Notes for Outcome Prediction
arxiv.org·14h
🧫Cellular Automata