New repository engagements page on trendshift.io
๐ณGit
Flag this post
Zensical โ A modern static site generator built by the Material for MkDocs team
๐๏ธObsidian
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
๐งฎVector Databases
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
๐๏ธDatabase Internals
Flag this post
Lowering in Reverse
๐ฅDataFusion
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
๐๏ธDatabase Internals
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
๐ฑEdge AI
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
๐๏ธDatabase Internals
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.orgยท5h
๐ซEffect Systems
Flag this post
Show HN: JermCAD โ A YAML-powered, vibe-coded, browser-based CAD software
๐จComputer Graphics
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
โกClickHouse
Flag this post
๐งฉ Hackathon Recap: Building โAPI Syncerโ โ Using AI to Work Smart, Not Hard
โกFastAPI
Flag this post
JSON Schema for Humans: Quickly Generate HTML Documentation from a JSON Schema
๐Technical Writing
Flag this post
Architectural Patterns for Securing Data: At Rest, In Transit, and At Runtime
๐Security
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท2d
๐Refinement Types
Flag this post
Loading...Loading more...