Chaos-inspired active learning for physics-informed neural networks to assess the reliability of multi-state systems
sciencedirect.com·7h
🎲Probabilistic Programming
Flag this post
SAP Expands Its AI Stack for Developers
thenewstack.io·2h
🎲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
TestDriven.io: Cursor vs. Claude for Django Development
testdriven.io·5h
🏗️Software Architecture
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
💥 Tech Talks Weekly #81: Podcasts Are Here ‼️
techtalksweekly.io·5h
🧮Programming Language Theory
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
AI and the Loss of the Flow
🔍Static Analysis
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·1d
🔗Parser Combinators
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔐Cryptography
Flag this post
What Claude Code "enhancement" are you most proud of that YOU created?
👐Open Source Software
Flag this post
New comment by crb3l in "Ask HN: Who wants to be hired? (November 2025)"
🔌Network Programming
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
🎲Probabilistic Programming
Flag this post
Building Scalable API Test Automation with Postman + Newman — My Gradific API Testing Project
🔍Static Analysis
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 multi-agent collaboration is redefining real-world problem solving
infoworld.com·13h
🌍Distributed Systems
Flag this post
Loading...Loading more...