LangChain Might Be the New WordPress of AI
designveloper.com·3d·
Discuss: r/programming
📦Module Systems
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·7h
🔢Algebraic Data Types
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·1d·
🧩Parser Combinators
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·1d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·10h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
How We Built a Custom Vision LLM to Improve Document Processing at Grab
engineering.grab.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·23h·
📚Automata Learning
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Analysis of Beam Misalignment Effect in Inter-Satellite FSO Links
arxiv.org·10h
📐Linear Algebra
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
dev.to·20h·
Discuss: DEV
📊Runtime Verification
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
📚Automata Learning
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·4d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·10h
🛡️seL4
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·10h
🕸️Graph Theory
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
dev.to·6h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·2d·
Discuss: DEV
🧮Z3
Flag this post