NDC Conferences: "Would YOU Survive the Titanic?", with ML and .NET - Simon Painter - NDC Copenhagen 2025
youtube.com·5h·
Discuss: DEV
🎲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·1d
🧩Theorem Proving
Flag this post
Inverse shortest paths in directed acyclic graphs
reddit.com·2d·
Discuss: r/compsci
🕸️Graph Theory
Flag this post
FSNet finds feasible power grid solutions in minutes, outperforming tried-and-true tools
techxplore.com·1d
🎲Probabilistic Programming
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·20h
🧩Theorem Proving
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Day 23: Python Positive Sum Function – Calculate the Sum of Positive Numbers in a List
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·4h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
I Got Tired of Deceptive Casino Bonuses, So I Built a "Truth Calculator" with Vanilla JavaScript. Here's How You Can Too.
dev.to·8h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·13h
🧮Programming Language Theory
Flag this post
Using Prisma for Schema and Kysely for Queries in a Next.js App
dev.to·12h·
Discuss: DEV
🏗️Software Architecture
Flag this post
Rasterizer Project - Part 4: Triceratops Wireframe
dev.to·1h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·4h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·11h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
Getting Started With Hibernate ORM and MongoDB
dev.to·8h·
Discuss: DEV
🗄️Database Theory
Flag this post
Wordle Solver
reddit.com·8h·
Discuss: r/opensource
🔗Parser Combinators
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·20h
⚖Algorithmic Game Theory
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·20h
🕸️Graph Theory
Flag this post