Yes really, curl is still developed
๐Network Protocols
Flag this post
Minimal Sufficiency: A Principle โSimilarโ to End-to-End
โ๏ธOperating System Design
Flag this post
OpenSource: Get answer DURING meetings. No more 'let me get back to you'
๐ActivityPub
Flag this post
Modeling the geopolitics of AI development
lesswrong.comยท1h
๐คProgram Synthesis
Flag this post
Neurodiversity Meeting - October 2025
youtube.comยท5h
๐Apple
Flag this post
Data Observability in Analytics: Tools, Techniques, and Why It Matters
kdnuggets.comยท6h
๐๏ธSystem Observability
Flag this post
After the Last Git Commit
๐งDevOps
Flag this post
LinuxPlay, open-source ultra-low-latency remote desktop for Linux (now with GitHub Sponsors!)
๐งUnikernel Development
Flag this post
The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.comยท3d
๐Reproducible Builds
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท14h
๐CBMC
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
๐งDevOps
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.orgยท14h
โExistential Types
Flag this post
F5 Bigip <--tls--> k8s nodeport
๐NetworkProtocols
Flag this post
useChat hook in Chef codebase.
๐Refinement Types
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท14h
๐OCaml Multicore
Flag this post
Loading...Loading more...