Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·1d·
Discuss: r/homelab
🏠HomeLab
Effects as Capabilities in Scala
nrinaudo.github.io·22h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·1d·
Discuss: Hacker News
🔬Unikernels
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·15h·
Discuss: r/programming
🤖Program Synthesis
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·2d·
Discuss: Hacker News, r/programming
❄️Nixified Development
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·2d
🤖Program Synthesis
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
BlazingMQ: A modern, high-performance open message queuing system
github.com·4d·
Discuss: Hacker News
🏠HomeLab
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·2d
⚙Operational Semantics
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
💎Refinement Types
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus
How OpenAI Operator Works with AI Agents
anchorbrowser.io·16h·
Discuss: Hacker News
🧠Automated Reasoning
Deliberate Abstraction
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
chalk + debug just got owned on npm… and honestly, this is the nightmare I’ve been expecting
codeant.ai·2d·
Discuss: Hacker News, r/node, r/programming
👁️System Observability
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·1d
🤖Program Synthesis