Bits and Pieces from My Life 1.
el-lamento-de-orfeo.bearblog.devยท10h
๐Ÿ’ชSelf Help
Flag this post
Implementing E Unification using SMT
philipzucker.comยท1d
๐Ÿค–AI
Flag this post
๐ŸŽฒ Weeknotes 2025 W45: Polymorphic
denisdefreyne.comยท1d
๐Ÿ’ปProgramming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.orgยท5dยท
Discuss: Hacker News
๐Ÿ’ปProgramming
Flag this post
Everything You Need to Know About LLM Evaluation Metrics
machinelearningmastery.comยท1d
๐Ÿค–AI
Flag this post
Rediscovering C
dev.toยท2hยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
EncouRAGe: Evaluating RAG Local, Fast, and Reliable
arxiv.orgยท1d
๐Ÿค–AI
Flag this post
Hybrid Autoencoders for Tabular Data: Leveraging Model-Based Augmentation in Low-Label Settings
arxiv.orgยท14h
๐Ÿค–AI
Flag this post
Confidentiality in a Card-Based Protocol Under Repeated Biased Shuffles
arxiv.orgยท1d
๐Ÿ’ปProgramming
Flag this post
The Secret Life of Python: Generator Secrets - Functions That Remember
dev.toยท20hยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
Code Smell 314 - Model Collapse
dev.toยท8hยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
What Are the Facts? Automated Extraction of Court-Established Facts from Criminal-Court Opinions
arxiv.orgยท1d
๐Ÿค–AI
Flag this post
Decentralized Knowledge Graph Augmentation for Semantic Web3 Discovery
dev.toยท6hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Optimistic Online-to-Batch Conversions for Accelerated Convergence and Universality
arxiv.orgยท14h
๐Ÿค–AI
Flag this post
Dual-Pathway Fusion of EHRs and Knowledge Graphs for Predicting Unseen Drug-Drug Interactions
arxiv.orgยท14h
๐Ÿค–AI
Flag this post
Understanding the Logic Behind Two Sum โ€” and Extending It to Three Sum
dev.toยท3dยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
Evaluating Implicit Biases in LLM Reasoning through Logic Grid Puzzles
arxiv.orgยท14h
๐Ÿค–AI
Flag this post
Automated Kinaset Orchestration via Dynamic Bayesian Network for Enhanced Kinetochore Assembly
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
Condensation
lesswrong.comยท2d
๐Ÿ’ปProgramming
Flag this post
Long Grounded Thoughts: Distilling Compositional Visual Reasoning Chains at Scale
arxiv.orgยท14h
๐Ÿค–AI
Flag this post