Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Realbasic (2000)
joelonsoftware.com·10h·
Discuss: Hacker News
💾Retro Computing
Defold editor scripting adds scene editing in 1.10.4
defold.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·1d·
Discuss: Hacker News
🔤DSLs
How to scale RL to 10^26 FLOPs
blog.jxmo.io·18h·
Discuss: Hacker News
🎮Verification Games
Data Science Weekly – Issue 607
datascienceweekly.substack.com·11h·
Discuss: Substack
👁️System Observability
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
AI Agent Benchmarks Are Broken
ddkang.substack.com·1h·
Discuss: Substack
👁️System Observability
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Croissant! Building a No-Framework Web App
dbushell.com·6h·
Discuss: Hacker News
🌐NetworkProtocols
Clustered PostgreSQL
arch.dog·5h·
Discuss: Lobsters, Hacker News
🏠HomeLab
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·1d·
Discuss: Hacker News
🐫OCaml
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·17h·
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·9h·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
So You Think You've Awoken ChatGPT
justismills.substack.com·21m·
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