SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Finding Order-Preserving Subgraphs
arxiv.org·13h
🕸️Graph Algorithms
Billions of Edges per Second with Postgres
onesparse.com·22h·
Discuss: Hacker News
🗜️Graph Compression
Inside PinRec - Pinterest’s Production-Ready Generative Retrieval Model
shaped.ai·17h
🎯Retrieval Systems
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·1d·
Discuss: Hacker News
📝Log Parsing
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·5h
📐Interval Arithmetic
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Hierarchical Modeling (H-Nets)
cartesia.ai·21h·
Discuss: Hacker News
🌀Hyperbolic Geometry
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·2h
📊Vector Quantization
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·1d·
Discuss: Hacker News
📝Database WAL
Machine Learning Fundamentals: decision trees project
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Compressed data structures for Heegaard splittings
arxiv.org·13h
🕳️Persistent Homology
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·13h
✨Effect Handlers
Kiro and the future of AI spec-driven software development
kiro.dev·3h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
How Metrics (and LLMs) Can Trick You: A Field Guide to Paradoxes
towardsdatascience.com·12h
🧠Intelligence Compression
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Machine Learning Fundamentals: decision trees with python
dev.to·1d·
Discuss: DEV
🔗Topological Sorting