ByteDance's Seedream 4.0 matches (or beats) Google's "Nano Banana"
seedream.best·7h·
Discuss: Hacker News
📺Vintage Apple
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
1.0 release of the Google Cloud client libraries for Rust
github.com·1d·
Discuss: Hacker News, r/rust
⎈Kubernetes
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·19h·
Discuss: r/programming
🤖Program Synthesis
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·3d·
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
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·2d
⚙Operational Semantics
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Using RPI 5 Compute Module for FPGA Test
hackster.io·3d·
Discuss: Hacker News
🐫Embedded OCaml
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
💎Refinement Types
The short case for Oracle (via ChatGPT)
news.ycombinator.com·51m·
Discuss: Hacker News
⚙️PL Implementation
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·20h·
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