Moving regression artificial neural network framework for reliability evaluation of complex structure/system
sciencedirect.com·7h
🎲Probabilistic Programming
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·9h
🔍Static Analysis
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·6h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.com·2h
🔍Static Analysis
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
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·7h·
Discuss: DEV
📈Complexity Theory
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·7h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·19h·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·10h
🧮Programming Language Theory
Flag this post
Information Gain-based Policy Optimization: A Simple and Effective Approach forMulti-Turn LLM Agents
paperium.net·21h·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·1h
🔢Mathematical Logic
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·18h
🔗Parser Combinators
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
🧩Theorem Proving
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·18h
🔢Mathematical Logic
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·18h
🎲Probabilistic Programming
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·18h
🔗Parser Combinators
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·1h·
Discuss: r/golang
🤝Protocol Design
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
🔢Mathematical Logic
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
⚙Functional Programming
Flag this post