Gradual negation types and the Python type system
jellezijlstra.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Reflecting on PLDI 2025
people.csail.mit.edu·4d·
Discuss: Hacker News
🌐Protocol Synthesis
All AI Models Might be The Same
blog.jxmo.io·16h·
Discuss: Hacker News
🧠Machine Learning
Agent DB
agentdb.dev·14h·
Discuss: Hacker News
🗄️Database Internals
Machine Learning Fundamentals: dimensionality reduction example
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Confidence-Filtered Relevance (CFR): An Interpretable and Uncertainty-Aware Machine Learning Framework for Naturalness Assessment in Satellite Imagery
arxiv.org·5h
🧠Machine Learning
Waiting is worth it and can be improved with predictions
arxiv.org·5h
📡Information theory
From Entity SEO to LLM Discoverability: How 1st.Partners Builds Affiliate Infrastructure for the AI Era
dev.to·47m·
Discuss: DEV
📰Content Curation
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
🤐Secure Multiparty
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·5h
🧠Machine Learning
Grep a million GitHub repositories via MCP
vercel.com·20h·
Discuss: Hacker News
⚡Proof Automation
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·2d
🕸️Neo4j
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Vertex-Guided Redundant Constraints Identification for Unit Commitment
arxiv.org·3d
📈Linear programming
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·5h
🤖Advanced OCR
AI Wizards at CheckThat! 2025: Enhancing Transformer-Based Embeddings with Sentiment for Subjectivity Detection in News Articles
arxiv.org·1d
🔍Information Retrieval
The Future of AI Agent Communication with ACP
towardsdatascience.com·2d
🔌Interface Evolution
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·3d
📊Learned Metrics