Jython talk. Dublin. Wed 8th November.
seanmcgrath.blogspot.com·5h
λLambda Formalization
Basketball trivia, editing distances, and derangement
leancrew.com·12h
🌳Trie Structures
Show HN: CodeLens.AI– Community benchmark comparing 6 LLMs on real code tasks
codelens.ai·18h·
Discuss: Hacker News
⚙️Compression Benchmarking
Atomic and Saturated Models
functor.network·5d·
Discuss: Hacker News
🔢Denotational Semantics
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·4d·
Discuss: Hacker News
🎯Interactive Provers
Precision Irrigation Optimization via Reinforcement Learning and Real-Time Soil Moisture Mapping
dev.to·18h·
Discuss: DEV
☕Precision Brewing
The Automatic Door System: With Statements Explained
dev.to·6h·
Discuss: DEV
🧠Program Logic
Python Selenium Architecture
dev.to·1h·
Discuss: DEV
🕸️WebAssembly
Surgeons Are Indian Males and Speech Therapists Are White Females: Auditing Biases in Vision-Language Models for Healthcare Professionals
arxiv.org·4h
🏛Digital humanities
A Hierarchical Geometry-guided Transformer for Histological Subtyping of Primary Liver Cancer
arxiv.org·1d
🌀Hyperbolic Geometry
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.org·2d
🌸Bloom Variants
Increasing LLM response trustworthiness using voting ensembles
arxiv.org·2d
🔍Information Retrieval
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·2d
🧠Machine Learning
Learning Mixtures of Linear Dynamical Systems (MoLDS) via Hybrid Tensor-EM Method
arxiv.org·1d
🌀Differential Geometry
A Beginner's GAN Adventure with Digits
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
Quantum Weaving: A New Era of Multimodal AI by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🔐Quantum Cryptography
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·3d
📊Learned Metrics
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Extreme Amodal Face Detection
arxiv.org·4h
🌀Differential Geometry
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2d
🧠Machine Learning