Inside Pinecone: Slab Architecture
pinecone.io·14h·
Discuss: Hacker News
🌳Red-Black Trees
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·12h·
Discuss: Hacker News
λFunctional Programming
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·2h·
Discuss: Hacker News
🏗️Design Patterns
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
⏱️Computational Complexity
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·18h·
Discuss: Hacker News
⏱️Computational Complexity
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1h
λFunctional Programming
Flag this post
Cracking the Cube: How Competitive Rubik’s Cube Algorithms Inspire Modern AI and Programming
dev.to·1d·
Discuss: DEV
🔄Dynamic Programming
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·4h·
Discuss: Hacker News
📈Optimization
Flag this post
Day 2 of building Secrin
dev.to·4h·
Discuss: DEV
🗺️Graph Algorithms
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·20h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
λFunctional Programming
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·16h·
Discuss: Substack
λFunctional Programming
Flag this post
I built a leaderboard for Rerankers
reddit.com·11h·
Discuss: r/LocalLLaMA
🌳Red-Black Trees
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·12h·
Discuss: DEV
🔬Static Analysis
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·2h
λFunctional Programming
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·2h
⏱️Computational Complexity
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🔄Dynamic Programming
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·2h
λFunctional Programming
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·2h
🔢mathmemathics
Flag this post