Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·2d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Realbasic (2000)
joelonsoftware.com·17h·
Discuss: Hacker News
💾Retro Computing
Defold editor scripting adds scene editing in 1.10.4
defold.com·13h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Mental Model for C++ Coroutine
uvdn7.github.io·4h·
Discuss: Hacker News
🏹Effect Systems
Clustered PostgreSQL
arch.dog·11h·
Discuss: Lobsters, Hacker News
🏠HomeLab
How to Interview AI Engineers
blog.promptlayer.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Croissant! Building a No-Framework Web App
dbushell.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·1d·
Discuss: Hacker News
🐫OCaml
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·4h·
Discuss: Hacker News
🤖Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·16h·
Discuss: Hacker News, Hacker News, r/programming
✓Automated Theorem Proving
So You Think You've Awoken ChatGPT
justismills.substack.com·7h·
Discuss: Substack
✓Automated Theorem Proving
Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System
arxiv.org·2d
✓Automated Theorem Proving
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Towards Measurement Theory for Artificial Intelligence
arxiv.org·2d
✓Automated Theorem Proving
OLG++: A Semantic Extension of Obligation Logic Graph
arxiv.org·2d
✓Automated Theorem Proving
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Can adversarial attacks by large language models be attributed?
arxiv.org·1d
🛡️seL4
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·1d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🐫OCaml