Visualizing Intersecting Sets
upset.app·12h·
Discuss: Hacker News
🗄️databases
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·2d·
Discuss: Hacker News
query optimization
Flag this post
Clerk vs. Auth0 vs. Keycloak vs. FusionAuth
justaftermidnight247.com·7h·
Discuss: Hacker News
formal methods
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5d·
Discuss: Hacker News
formal methods
Flag this post
Creating Lisp Systems
renato.athaydes.com·3d·
Discuss: Hacker News
🐫ocaml
Flag this post
YOLO Mode Is How You Build Fast. Auditable Control Is How You Ship Faster
securetrajectories.substack.com·2d·
Discuss: Substack
formal methods
Flag this post
The AI Deskilling Paradox
cacm.acm.org·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Deep Learning Without Training
zenodo.org·1d·
Discuss: Hacker News
🐫ocaml
Flag this post
What data do coding agents send, and where to?
chasersystems.com·4d·
Discuss: Hacker News
🌐network programming
Flag this post
American Wind Farms
tech.marksblogg.com·2d·
Discuss: Hacker News
🗄️databases
Flag this post
How we built the demo for the Current NOLA Day 2 keynote using Flink and AI
rmoff.net·1d·
Discuss: Hacker News
formal methods
Flag this post
Sometimes Postgres Isn't the Answer
pomerium.com·1d·
Discuss: Hacker News
query optimization
Flag this post
Leaving PyTorch and Meta
soumith.ch·2d·
formal methods
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·2d·
Discuss: Hacker News
formal methods
Flag this post
Run LLMs Locally
ikangai.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·3d·
🔄compilers
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·3d·
Discuss: Hacker News
🗄️databases
Flag this post
Scaling Sideways: Why You Might Want To Run Two Production Apps
judoscale.com·3d·
Discuss: Hacker News
🌐network programming
Flag this post
Bootc for Workstation Use
lwn.net·21h·
🔄compilers
Flag this post
BackMark: Markdown-Native Task Management for AI-Powered Vibe Coding
backmark.tech·1d·
Discuss: Hacker News
🔄compilers
Flag this post