Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.aiยท18h
๐Ÿ“ŠQuery Optimizers
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
Developing desktop apps from scratch: A feature checklist
alek-tron.comยท6hยท
Discuss: Hacker News
๐ŸŒ‰Cross-Platform FFI
Flag this post
'Vibe coding' named word of the year by Collins Dictionary
bbc.comยท49m
๐Ÿ”—Concatenative
Flag this post
Structured data access layer for AI agents
docs.pylar.aiยท10hยท
Discuss: Hacker News
โš™๏ธConfiguration Languages
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.comยท21hยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Flag this post
ws-dl.blogspot.comยท7hยท
๐ŸŽญRacket
Flag this post
๐Ÿ’ฅ Tech Talks Weekly #81: Podcasts Are Here โ€ผ๏ธ
techtalksweekly.ioยท10h
๐Ÿ’ฌInteractive REPLs
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.comยท1dยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.comยท1dยท
๐Ÿฆ€MIR Optimization
Flag this post
LDBT instead of DBTL: combining machine learning and rapid cell-free testing
nature.comยท12h
โœจEffect Inference
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฎMetacircular Evaluators
Flag this post
Field notes from making a living without writing a line of code
ag404labs.comยท19hยท
Discuss: Hacker News
โšกLive Coding
Flag this post
Spring Data JPA Best Practices: Entity Design Guide
dev.toยท10hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Engines
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท22h
๐Ÿ—บ๏ธRegion Inference
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท1d
๐Ÿ”Type Inference
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท22h
๐ŸชœRecursive Descent
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.orgยท1d
โœจGleam
Flag this post
Mastering Angular Signals: A Complete Guide Beyond RxJS
dev.toยท15hยท
Discuss: DEV
๐ŸŒŠReactive Languages
Flag this post