SAP Expands Its AI Stack for Developers
thenewstack.io·6h
🎲Probabilistic Programming
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·2d
🧭SMT Solvers
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
📈Complexity Theory
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
⚖️Logic Programming
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔐Cryptography
Flag this post
Day 2 of building Secrin
🏗️Software Architecture
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
🎲Probabilistic Programming
Flag this post
New comment by crb3l in "Ask HN: Who wants to be hired? (November 2025)"
🔌Network Programming
Flag this post
Building Scalable API Test Automation with Postman + Newman — My Gradific API Testing Project
🔍Static Analysis
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
🦀Rust
Flag this post
How multi-agent collaboration is redefining real-world problem solving
infoworld.com·16h
🌍Distributed Systems
Flag this post
Co-Optimizing GPU Architecture And SW To Enhance Edge Inference Performance (NVIDIA)
semiengineering.com·7h
🎲Probabilistic Programming
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🔗Parser Combinators
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
🧮Programming Language Theory
Flag this post
Loading...Loading more...