Gradual negation types and the Python type system
jellezijlstra.github.io·1d·
Discuss: Hacker News
🔬Refinement Types
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·15h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
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·20h·
Discuss: Hacker News
🧠Machine Learning
Unveiling 18 Transformative AI Applications Redefining 2025
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·9h
🧠Machine Learning
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com·23h·
Discuss: Hacker News
⚖️Emulation Ethics
Grep a million GitHub repositories via MCP
vercel.com·1d·
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·9h
🤖Advanced OCR
AI Wizards at CheckThat! 2025: Enhancing Transformer-Based Embeddings with Sentiment for Subjectivity Detection in News Articles
arxiv.org·1d
🔍Information Retrieval
Fundamental Concepts In Cloud Computing.
dev.to·20h·
Discuss: DEV
🖥️Self-hosted Infrastructure
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
Go seems to accomplish the Zen of Python way better than Python
reddit.com·1h·
Discuss: r/golang
💻Programming languages
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking