Make Map Icons with Orthographic Projections
esri.com·1h·
Discuss: Hacker News
🐫OCaml
The NASA Voyager Declaration Now
standupforscience.net·1h·
Discuss: Hacker News
🤖Program Synthesis
'I love you': Virus caused B. in damage and exposed vulnerabilities which remain
cnn.com·22h·
Discuss: Hacker News
💾Retro Computing
The C3 Programming Language
c3-lang.org·5d·
Discuss: Hacker News
🔬Static Analysis
QuakeNotch, Quake Terminal on your MacBook's notch
quakenotch.com·1d·
Discuss: Hacker News
🍎Apple
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·6d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Show HN: FigForm – Feel the power of Figma when creating customized forms
figform.io·3d·
Discuss: Hacker News
🐫Embedded OCaml
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·3d·
Discuss: Hacker News
🌐NetworkProtocols
A Founder's 20-Year Journey Through Compound Stupidity
valleyofdoubt.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Identifying Task Groupings for Multi-Task Learning Using Pointwise V-Usable Information
arxiv.org·3d
✓Automated Theorem Proving
Show HN: Anemos – CLI tool to manage Kubernetes manifests using JavaScript
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·3d
🐫OCaml
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·4d
🔤DSLs
METR study finds AI doesn't make devs as productive as they think
leaddev.com·4d·
Discuss: r/programming
🤖Program Synthesis
ChatGPT is not AI
newsletter.techworld-with-milan.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
On METR's AI Coding RCT
thezvi.substack.com·3d·
Discuss: Substack
👁️System Observability
Gitplay: Learn how a software project (using Git) evolved over time
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: UView – A Tool to View and Modify Unity Packages Outside Unity
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
ld-decode: Software defined LaserDisc decoder
github.com·1d·
Discuss: Hacker News
💾Retro Computing
Under-qualified sysadmin crashed Amazon.com for 3 hours with a typo
theregister.com·10h·
Discuss: Hacker News
❄️Nixified Development