Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·1d·
Discuss: Substack
🎮Verification Games
Data Science Weekly – Issue 607
datascienceweekly.substack.com·6h·
Discuss: Substack
👁️System Observability
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.org·2d
⚙️PL Implementation
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·16h·
Discuss: Hacker News
⚙️PL Implementation
Durable Agent Loops
restate.dev·1d·
Discuss: Hacker News
👁️System Observability
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·6h
💻CS
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·2d
🐫OCaml
Constraint Hypergraphs as a Unifying Framework for Digital Twins
arxiv.org·2d
🏹Effect Systems
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·6h
🎮Verification Games
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·6h
🐫OCaml
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·1d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·6h
✓Automated Theorem Proving
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
arxiv.org·2d
🧪Property-Based Testing
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·1d·
Discuss: Hacker News
🔤DSLs