2025 Eastern Great Lakes (EaGL) workshop in Theory of Computation
cstheory-events.org·2h
⚡Parallel Computing
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Is class imbalance a problem in machine learning?
datascience.stackexchange.com·20h·
Discuss: Hacker News
🧠Machine Learning
Lightweight image segmentation for echocardiography
arxiv.org·19h
🌀Riemannian Computing
AI Idea #1757094341
dev.to·6h·
Discuss: DEV
🤖AI Curation
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·2d
🔤Type Theory
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·1d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
📝Text Embeddings
The maths you need to start understanding LLMs
gilesthomas.com·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Challenges in Understanding Modality Conflict in Vision-Language Models
arxiv.org·1d
📊Learned Metrics
AI Idea #1757094301
dev.to·6h·
Discuss: DEV
🤖AI Curation
Multimodal AI: Beyond Single-Mode Intelligence
dev.to·4h·
Discuss: DEV
🤖Advanced OCR
LangChain vs. LlamaIndex: The Right Framework for the Job, Not the Hype.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·2d
⚡Incremental Computation
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·1d
💻Local LLMs
Predictive Habit Formation via Dynamic Bayesian Network Optimization
dev.to·1h·
Discuss: DEV
🧠Machine Learning
Imitate Optimal Policy: Prevail and Induce Action Collapse in Policy Gradient
arxiv.org·1d
🔲Cellular Automata
Multitask Battery Management with Flexible Pretraining
arxiv.org·2d
🔩Systems Programming
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·1d
🧪CBOR Fuzzing
Conquering Infinity: A New Approach to AI Planning
dev.to·19h·
Discuss: DEV
⚡Z3 Optimization
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·1d·
Discuss: DEV
👁️System Observability