AjayMehta's Top FindsLoading...
The model underlying R-hat and a Bayesian estimator
statmodeling.stat.columbia.edu·3h
🎲Bayesian Stats
Flag this post
A Pragmatist's Guide to Mastering Python's Foundations
dev.to·2h·
Discuss: DEV
🐍Python
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔀Category Theory
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·10h·
Discuss: r/golang
🧮Haskell
Flag this post
I automated my Docker container updates safely with Watchtower
xda-developers.com·4h
🐳Docker
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·11h·
Discuss: DEV
🔷C#
Flag this post
Tuesday 18 November 2025
informatics.ed.ac.uk·10h
🎲Bayesian Stats
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·5h·
Discuss: Lobsters, Hacker News, r/rust
🔷C#
Flag this post
.NET Digest #9
pvs-studio.com·7h·
Discuss: r/programming
🔷C#
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🧮Haskell
Flag this post
Embedding TypeScript
andrews.substack.com·12h·
Discuss: Substack, r/programming
🔷C#
Flag this post
<p>**Abstract:** This paper introduces a novel framework for establishing algorithmic liability in the context of autonomous medical diagnosis. As AI systems in...
freederia.com·1h
🎲Bayesian Stats
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
🔀Category Theory
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.com·1d
🎲Bayesian Stats
Flag this post
PCT quantum symmetries -- section
ncatlab.org·9h
🔀Category Theory
Flag this post
Stainless Docs Platform — Early Access
stainless.com·4h·
Discuss: Hacker News
🔷C#
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧮Haskell
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·7h·
Discuss: Hacker News
🧮Haskell
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🧮Haskell
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·22h·
Discuss: Hacker News
🐍Python
Flag this post