SAP Expands Its AI Stack for Developers
thenewstack.io·11h
🎲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
TestDriven.io: Cursor vs. Claude for Django Development
testdriven.io·14h
🏗️Software Architecture
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
⚖️Logic Programming
Flag this post
💥 Tech Talks Weekly #81: Podcasts Are Here ‼️
techtalksweekly.io·14h
🧮Programming Language Theory
Flag this post
Day 2 of building Secrin
🏗️Software Architecture
Flag this post
New comment by crb3l in "Ask HN: Who wants to be hired? (November 2025)"
🔌Network Programming
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🌍Distributed Systems
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·2h
🔐Cryptography
Flag this post
Knowledge Graph for Intelligent Generation of Artistic Image Creation: Constructing a New Annotation Hierarchy
arxiv.org·2h
🕸️Graph Theory
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·2d
🔗Parser Combinators
Flag this post
Part 1: Spec-Driven Development - Building Predictable AI-Assisted Software
🏗️Software Architecture
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·1d
🧮Programming Language Theory
Flag this post
Improving Gene Trees without more data
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
AI and the Loss of the Flow
🔍Static Analysis
Flag this post
Loading...Loading more...