More on โฯ
alexkritchevsky.comยท4d
๐Mathematical Art
Flag this post
How to Use Zorn's Lemma
โ๏ธLean Theorem
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
โจEffect Handlers
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท17h
๐งชProperty-Based Testing
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ง Lisp Dialects
Flag this post
The Biggest Challenge in #80DaysOfChallengesโฆ is a Lack of Challenges
โ๏ธLean Tactics
Flag this post
Uncertainty-Aware Diagnostics for Physics-Informed Machine Learning
arxiv.orgยท1d
๐ง Machine Learning
Flag this post
Modern Perfect Hashing
๐งชBinary Fuzzing
Flag this post
Performance evaluation of image convolution with gradient filters in OpenCL
๐๏ธFFmpeg Filters
Flag this post
Statistically Adaptive Differential Protection for AC Microgrids Based on Kullback-Leibler Divergence
arxiv.orgยท1d
๐Digital Signal Processing
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.orgยท3d
๐งฎKolmogorov Bounds
Flag this post
Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
arxiv.orgยท3d
โจAlgebraic Effects
Flag this post
Convergence analysis for an implementable scheme to solve the linear-quadratic stochastic optimal control problem with stochastic wave equation
arxiv.orgยท2d
๐ฏPerformance Proofs
Flag this post
Revealing the Unseen: AI-Powered Super-Resolution from Extreme Noise by Arvind Sundararajan
๐งLearned Audio
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
๐Format Specification
Flag this post
Loading...Loading more...