Embedded records - extracting data from classes
blogger.com·13h
⚙Functional Programming
Flag this post
Think DSP second edition
allendowney.com·1d
⚙Functional Programming
Flag this post
The state of SIMD in Rust in 2025
🏗Computer Architecture
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.com·1d
🔍Static Analysis
Flag this post
Building a Multimodal RAG That Responds with Text, Images, and Tables from Sources
towardsdatascience.com·1d
🎲Probabilistic Programming
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Formal Verification
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·14h
⚖️Logic Programming
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Prog8
🏗Computer Architecture
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
🎲Probabilistic Programming
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·14h
🎲Probabilistic Programming
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·14h
🧭SMT Solvers
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🤝Protocol Design
Flag this post
Neural Green's Functions
arxiv.org·14h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...