Yes really, curl is still developed
daniel.haxx.seยท2dยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท3dยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Flag this post
Nimony v0.2 โ€“ early preview of Nim 3.0's compiler
nim-lang.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ“ฆOpam
Flag this post
LLMs' Sycophancy and the Dilemma of Objectivity (Medium, 3m Read)
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ“ตDigital Minimalism
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.comยท1dยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
Show HN: I got Stability AI's small audio model into a consumer iOS app
news.ycombinator.comยท1hยท
Discuss: Hacker News
๐ŸŽApple
Flag this post
DDD and the Simplicity Gospel
oluatte.comยท4dยท
๐Ÿ”คDSLs
Flag this post
4 Rules for Successful Vibe Coding
appsoftware.comยท1dยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Flag this post
5 Pillars of Successful Web App Development
devops.comยท12h
๐Ÿ”งDevOps
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.comยท2dยท
Discuss: Substack
ฮปFunctional Programming
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
Show HN: ReadMyMRI DICOM native preprocessor with multi model consensus/ML pipes
github.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธObservability
Flag this post
My SaaS homepage design journey as a backend developer
dev.toยท7hยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post
Predictive Anomaly Detection in HVAC System Coil Performance Using Dynamic Bayesian Networks
dev.toยท1dยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same Appโ€ฆ
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Flag this post
AI for Predictive Monitoring in DevOps Environments
dev.toยท17hยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.orgยท17h
๐Ÿ”Formal Verification
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.toยท2dยท
Discuss: DEV
๐Ÿ”’Protocol Verification
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.toยท11hยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post