Visualizing Intersecting Sets
upset.app·10h·
Discuss: Hacker News
🗄️databases
Flag this post
Yansu – The Serious Coding Plaftorm
yansu.isoform.ai·3d·
Discuss: Hacker News
🌐network programming
Flag this post
Using CRDTs and Sync as a Database
jackson.dev·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Core Product, Whole Product
turtlespace.blog·17h·
Discuss: Hacker News
🌐network programming
Flag this post
Wolfgang Wendt: "I like to describe IBM as an 'older startup'"
networkworld.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
The Agent Development Lifecycle (ADLC) – A new way to build reliable Agents
arthur.ai·4d·
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
Sourcekit-Bazel-bsp: iOS Development in Cursor / VSCode, for Bazel projects
github.com·12h·
Discuss: Hacker News
🔄compilers
Flag this post
Show HN: When 7 Codex Agents Sent Each Other 1k Messages over 2 Days
dicklesworthstone.github.io·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Code execution with MCP: Building more efficient agents
anthropic.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Creating Lisp Systems
renato.athaydes.com·3d·
Discuss: Hacker News
🐫ocaml
Flag this post
Fil-C
graydon2.dreamwidth.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
🔄compilers
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·4d·
Discuss: Hacker News
🔄compilers
Flag this post
YOLO Mode Is How You Build Fast. Auditable Control Is How You Ship Faster
securetrajectories.substack.com·1d·
Discuss: Substack
✅formal methods
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
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
The AI Deskilling Paradox
cacm.acm.org·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·3d·
Discuss: Hacker News, r/programming
🔄compilers
Flag this post
Sometimes Postgres Isn't the Answer
pomerium.com·1d·
Discuss: Hacker News
⚡query optimization
Flag this post