Upgrade to Puma 7 and Unlock the Power of Fair Scheduled Keep-alive
heroku.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”งDevOps
Flag this post
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
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.comยท1dยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
Can automation help make the humanities more human?
resobscura.substack.comยท1hยท
Discuss: Substack
๐Ÿ“ตDigital Minimalism
Flag this post
Show HN: I got Stability AI's small audio model into a consumer iOS app
news.ycombinator.comยท3hยท
Discuss: Hacker News
๐ŸŽApple
Flag this post
DDD and the Simplicity Gospel
oluatte.comยท5dยท
Discuss: Hacker News, r/programming
๐Ÿ”คDSLs
Flag this post
4 Rules for Successful Vibe Coding
appsoftware.comยท1dยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท2d
โšกProcess Calculi
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: ReadMyMRI DICOM native preprocessor with multi model consensus/ML pipes
github.comยท2dยท
Discuss: Hacker News
๐Ÿ‘๏ธObservability
Flag this post
Assessing Lipid Trafficking Dynamics via Spatially Resolved Fluorescence Correlation Spectroscopy and Computational Modeling
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Linear Algebra
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท18hยท
Discuss: DEV
๐ŸŽฏComplexity Classes
Flag this post
Itโ€™s Time To Build APIs for AI, Not Just For Developers
thenewstack.ioยท2d
๐Ÿค–Program Synthesis
Flag this post
My SaaS homepage design journey as a backend developer
dev.toยท9hยท
Discuss: DEV
๐ŸŒActivityPub
Flag this post
AI for Predictive Monitoring in DevOps Environments
dev.toยท19hยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.orgยท19h
๐Ÿ”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
Autonomous Traceability Network Optimization via Multi-Agent Reinforcement Learning for Resilient Supply Chains
dev.toยท1dยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post