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·18h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Reflecting on PLDI 2025
people.csail.mit.edu·5d·
Discuss: Hacker News
🌐Protocol Synthesis
Dendritic Learning: open-source upgrade to PyTorch based on modern neuroscience
github.com·18m·
Discuss: Hacker News
🤖Grammar Induction
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·12h
🤖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·3d
🔌Interface Evolution
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·3d
📊Learned Metrics
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·1d
🌀Differential Geometry
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·2d·
Discuss: DEV
👤Search Personalization
Identifying Task Groupings for Multi-Task Learning Using Pointwise V-Usable Information
arxiv.org·12h
🧠Intelligence Compression
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·12h
🧠Machine Learning
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·12h
📰RSS Archaeology
Fundamental Concepts In Cloud Computing.
dev.to·23h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🎞️Tape Combinatorics
Physically Based Neural LiDAR Resimulation
arxiv.org·12h
🔬Optical Physics
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·2d
🧠Machine Learning
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·1d
⚖️Feed Ranking