artjom's Top FindsLoading...
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
✅formal methods
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·9h·
Discuss: Hacker News
✅formal methods
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·5h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Dive into Systems
diveintosystems.org·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🐫ocaml
Flag this post
Harness the Power of Atlas Search and Vector Search with $RankFusion
mongodb.com·10h·
Discuss: Hacker News
⚡query optimization
Flag this post
A SQLite extension for the crazy ones because everything could be a database
kruzenshtern.org·2h·
Discuss: Hacker News
🗄️databases
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·8h·
Discuss: Substack
⚙️systems programming
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Software design is refinement, not abstraction (2022)
sicpers.info·2h·
Discuss: Hacker News
✅formal methods
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·5h·
Discuss: Hacker News, r/cpp
🔄compilers
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·8h·
Discuss: Hacker News
✅formal methods
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·1h·
Discuss: Hacker News
🔄compilers
Flag this post
Building our geospatial database in production
radar.com·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Google's MCP Toolbox for Databases: A Technical Deep Dive for Engineering Teams
agnost.ai·3h·
Discuss: Hacker News
🗄️databases
Flag this post