Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML
On brushing up math again
piyushgupta.xyz·1d
SimpleFold: Folding Proteins is Simpler than You Think
machinelearning.apple.com·4d
CAMBench-QR : A Structure-Aware Benchmark for Post-Hoc Explanations with QR Understanding
arxiv.org·5d
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·5d
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·5d
Supersimulators
arxiv.org·5d
Generating Consistent Imagery with Gemini
towardsdatascience.com·4d
Augmenting Limited and Biased RCTs through Pseudo-Sample Matching-Based Observational Data Fusion Method
arxiv.org·4d
I found this new NotebookLM feature so good, I might stop using all my other productivity apps
xda-developers.com·16h