Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Real-Time AI-Powered DDoS Detection
timeplus.com·11h·
Discuss: Hacker News
📮Persistent Queues
Claude helped me built this insane weather application.
preview.redd.it·17h·
Discuss: r/ClaudeAI
🏠indieweb
Cuckoo hashing improves SIMD hash tables
reiner.org·3d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Hash Tables
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🔍ML Language
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
How to implement unique word generation via token graph traversal with local LLMs?
reddit.com·2d·
Discuss: r/LocalLLaMA
🔍Tokenizers
Advanced RAG: Comparing GraphRAG, Corrective RAG, and Self-RAG
pub.towardsai.net·2d
🌊Streaming Lexers
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·1d
🤖Abstract Machines
Introducing the Gemini 2.5 Computer Use model
blog.google·8h·
Discuss: Hacker News
🏰Capability Machines
AI Image Generators Can't Render Text. Here's Why (And 4 Fixes That Actually Work)
dev.to·3d·
Discuss: DEV
🎭Program Synthesis
Decrypt Modality Gap in Multimodal Contrastive Learning: From Convergent Representation to Pair Alignment
arxiv.org·23h
🗺️Region Polymorphism
From Research to Reality: Bridging the Gap with AI Index 2025 Insights for Practical Application
dev.to·7h·
Discuss: DEV
🎮Language Ergonomics
Learning Efficient Meshflow and Optical Flow from Event Cameras
arxiv.org·23h
🌊Loop Invariant Motion
Linguistic and Audio Embedding-Based Machine Learning for Alzheimer's Dementia and Mild Cognitive Impairment Detection: Insights from the PROCESS Challenge
arxiv.org·23h
🌱Minimal ML
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
📋Souffle Datalog
English speakers are lucky - thoughts from developing a keyboard app
reddit.com·2d·
Discuss: r/SideProject
📝Rope Editors
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·2d·
Discuss: r/webdev
🚀Code Motion
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·23h
✨Effect Inference