Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·12h·
Discuss: Hacker News
⚙️PL Implementation
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·2h·
Discuss: Substack
🔬Static Analysis
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
💻CS
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·6h
✓Automated Theorem Proving
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·6h
✓Automated Theorem Proving
Beyond the Linear Separability Ceiling
arxiv.org·6h
➡️Category Theory
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·6h
✓Automated Theorem Proving
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·6h
✓Automated Theorem Proving
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·6h
🐫OCaml
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔄Reproducible Builds
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3h·
Discuss: Substack
🔍Formal Verification
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔍Formal Verification
LLMs show cultural theory was right about the death of the author
programmablemutter.com·17h·
Discuss: Hacker News
➡️Category Theory
Curriculum Negative Mining For Temporal Networks
arxiv.org·6h
➡️Category Theory
Atherosclerosis through Hierarchical Explainable Neural Network Analysis
arxiv.org·6h
🏹Effect Systems
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·6h
💻CS
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving