A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·2d·
Discuss: Hacker News
🤖Program Synthesis
Effects as Capabilities in Scala
nrinaudo.github.io·16h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·13h·
Discuss: Hacker News
🧠Automated Reasoning
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
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·2d·
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
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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·10h·
Discuss: Hacker News
🧠Automated Reasoning
Deliberate Abstraction
entropicthoughts.com·2d·
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·1d·
Discuss: Hacker News, r/node, r/programming
👁️System Observability
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·1d
🤖Program Synthesis