🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎲 Probabilistic Programming

Bayesian Inference, Monte Carlo, Probabilistic Models, Stan

When and How to Use Poisson Distribution in Data Analysis
mygreatlearning.com·3d
📊Information Theory
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
⚡Concurrency
Effortless PWA Integration in Next.js with next-PWA-pack
dev.family·7h·
Discuss: Hacker News
👐Open Source Software
ChatGPT vs. Grok vs. Gemini: Which AI chatbot should you use in 2025?
mashable.com·3h
🔗Parser Combinators
Chilli – A lightweight microframework for CLIs in Zig
github.com·11h·
Discuss: r/Zig
🧮Programming Language Theory
The Weather model (Indus Village): Procedural generation of daily weather for the simulation of small-scale socioecological systems
sciencedirect.com·11h
🧫Cellular Automata
Can OpenAI's gpt-oss-120b Outperform Llama 3, Mixtral, and Deepseek?
softreviewed.com·12h·
Discuss: DEV
🧭SMT Solvers
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1d
🧭SMT Solvers
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·2d
🧫Cellular Automata
Lifetime Early Prediction for Second-Life Lithium-Ion Battery: A Hierarchical Bayesian Learning Method
sciencedirect.com·14h
🛡️IoT Security
🧠 GenAI as a Backend Engineer: Part 1 - Model Serving
dev.to·7h·
Discuss: DEV
🧭SMT Solvers
Agentic-AI based Mathematical Framework for Commercialization of Energy Resilience in Electrical Distribution System Planning and Operation
arxiv.org·31m
⚖Algorithmic Game Theory
Fusion of Pervasive RF Data with Spatial Images via Vision Transformers for Enhanced Mapping in Smart Cities
arxiv.org·31m
🕸️Graph Theory
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·1d
🔗Parser Combinators
How to do AI Product-Idea Validation in < 2 Hours:
threadreaderapp.com·1h
🧩Theorem Proving
Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.org·1d
🧩Theorem Proving
Pulse Shape Discrimination Algorithms: Survey and Benchmark
arxiv.org·1d
⚙Functional Programming
Automated Algorithmic Discovery for Gravitational-Wave Detection Guided by LLM-Informed Evolutionary Monte Carlo Tree Search
arxiv.org·1d
🔗Parser Combinators
AI can write code, but should you trust it blindly?
dev.to·15h·
Discuss: DEV
🧩Theorem Proving
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·1d
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap