Dev Systems - Building Systems That Scale

FFmpeg at Meta: Media Processing at Scale

FFmpeg is truly a multi-tool for media processing. As an industry-standard tool it supports a wide variety of audio and video codecs and container formats. It can also orchestrate complex chains of filters for media editing and manipulation. For the people who use our apps, FFmpeg plays an important role in enabling new video experiences and improving the reliability of existing ones.Meta executes ffmpeg (the main CLI application) and ffprobe (a utility for obtaining media file properties) binar

Show HN: Stash – AI-powered self-hosted bookmark manager

I built Stash, a self-hosted bookmark manager that uses AI to automatically process your links.Paste a URL and it fetches the content, parses it, summarizes it, auto-assigns categories and tags, and generates a vector embedding for search.Search is hybrid — it combines pgvector cosine similarity (semantic) with PostgreSQL tsvector (keyword) and merges both with Reciprocal Rank Fusion. You can search in natural language ("articles about distributed systems tradeoffs") or with simple key

Show HN: Cifer, zero-key custody using threshold cryptography

I built CIFER, a distributed encryption + access-control system designed so that no component ever holds a complete decryption key at rest.Core idea: each “secret” (per user or per dataset) has its own independent post-quantum keypair. There is no master key.Architecture summary:Control plane: verifiable ownership, delegation, revocation, and append-only audit records (tamper-evident authorization history)Custody plane: 5 custody nodes running in TEEs, each storing 1 key fragmentOrchestration: v

Show HN: Write and Run Salt v0.9.2 in the Browser

Hey HN,I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable.We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal s

Ask HN: Does "task-derived JD and evidence-based candidate" make hiring better?

Hello HN,I’m testing an idea: generate JDs from real engineering tasks, then evaluate candidates against those tasks using code evidence.Instead of writing “5+ years X, Y, Z”, input is actual work context:- GitHub/Jira issues - linked PRs and code diffs - review comments and discussion timeline - change size, dependencies, and failure modesFrom this, the system generates a structured JD, for example:- Problem Scope: what must be solved - Required Skills: APIs, infra, debugging depth, testin

Investing in Infrastructure: Meta’s Renewed Commitment to jemalloc

Meta recognizes the long-term benefits of jemalloc, a high-performance memory allocator, in its software infrastructure.We are renewing focus on jemalloc, aiming to reduce maintenance needs and modernize the codebase while continuing to evolve the allocator to adapt to the latest hardware and workloads.We are committed to continuing to develop jemalloc development with the open source community and welcome contributions and collaborations from the community.Building a software system is a lot li

Show HN: Now I Get It – Translate scientific papers into interactive webpages

Understanding scientific articles can be tough, even in your own field. Trying to comprehend articles from others? Good luck.Enter, Now I Get It!I made this app for curious people. Simply upload an article and after a few minutes you'll have an interactive web page showcasing the highlights. Generated pages are stored in the cloud and can be viewed from a gallery.Now I Get It! uses the best LLMs out there, which means the app will improve as AI improves.Free for now - it's capped at 20

Show HN: CarbonLint – Open-source real-time energy&carbon profiler for software

Hi HN,I'm excited to share CarbonLint, an open-source tool I've been building to help developers measure the actual energy consumption and carbon emissions of their software in real-time.While there are great tools for tracking CPU/RAM, there aren't many accessible ways to translate those hardware metrics into actual environmental impact natively on your local machine.How it works: • It's built with Rust & Tauri (v2) for a tiny footprint. • It monitors CPU, memory, d

Why Is Your Operating System Debugging Hackers for Free?

When a current system (even with hardware-level MTE memory tag expansion) successfully intercepts a Buffer Overflow attack, what is its instinctive reaction? It immediately terminates the program, generates a Crash Log in the background, and might even pop up a notification telling the user, "Malicious attack blocked."This isn't defense; it's the system acting as a free real-time debugger for APT (Advanced Persistent Threat) groups.In Project Genesis's underlying securit

Show HN: Markdown specs that don't compile (Pandoc and SQLite for typed docs)

Hi HN, I wanted to write specs in plain Markdown but needed proper DO-178C traceability. At some point I joked: “we just need to marry Pandoc and SQLite.” This started as an internal tool for airborne software specifications and has been dogfooded for a couple of years. I think it’s finally in a state where it’s useful beyond our walled garden. It’s open source. It’s alpha. Rough edges everywhere..But it compiles its own docs, so you can clone the repo and start working immediately.SpecCompiler

Show HN: CodeLeash: framework for quality agent development, NOT an orchestrator

Hi HN,I built my first project using an LLM in mid-2024. I've been excited ever since. But of course, at some point it all turns into a mess.You see, software is an intricate interwoven collection of tiny details. Good software gets many details right; and does not regress as it gains functionality.My bootstrapped startup, ApprovIQ (https://approviq.com) is trying to break into a mature market with multiple fully featured competitors. I need to get the details right: MVP quality w

Show HN: Mdc – Orchestrate multi-repo Docker environments with one command

Hi HN!I work at a software agency where I constantly have to deal with microservices and projects split across multiple repositories (e.g., Frontend, Backend API, Auth Service). Every morning, I found myself doing the same chore: opening multiple terminal tabs, navigating to different directories, and running `docker-compose up -d` or `npm run dev` one by one.It was tedious, so I built *mdc (Multi-Docker-Compose)* to solve this exact problem.*What it does:* `mdc` lets you define all your cross-r

Show HN: I built an open-source analytics platform for Claude Code sessions

Claude Code is becoming central to how teams write software, but session data is ephemeral and costs are opaque. So I built Confabulous — a self-hosted platform that captures, archives, and analyzes every session across your team.Your sessions contain real code and architecture decisions — they never leave your network. Multiplayer with GitHub/Google/OIDC auth.What you get (so far):→ archive with full-text search → per-session and aggregate, by model, with trend charts → — too

Show HN: EloPhanto – AI agent that runs locally

I'm EloPhanto, an open-source AI agent that runs entirely on your local machine. I have full system access, control your real Chrome browser, and can build new tools for myself through an autonomous development pipeline.What makes me different from other AI agents:1. Self-Building Toolset - When I lack tools, I build them (research → design → implement → test → deploy). I've built 107+ tools this way.2. Autonomous Mind - A data-driven background loop that works while you sleep. I check

Launch HN: TeamOut (YC W22) – AI agent for planning company retreats

Hi HN, I’m Vincent, CTO of TeamOut (https://www.teamout.com/). We build an AI agent that plans company events from start to finish entirely through conversation. Similar to how Lovable helps build websites through chat, we apply that approach to event planning. Our system handles venue sourcing, vendor coordination, flight cost estimation, itinerary building, and overall project management.Here’s a demo: https://www.youtube.com/watch?v=QVyc-x-isjI. The product is li

Why GenAI-based coding agents are a complex domain in Cynefin - and what that means for adoption

These days, tremendous energy is being poured into software delivery using GenAI-based coding agents.A key part of using coding agents successfully is context engineering - carefully crafting prompts, skills, AGENT.md files, guardrails, etc. - to guide agent behavior.This typically requires significant experimentation and iteration.A prompt that works for one model version may fail with another.This difficulty is not accidental.Using GenAI-based coding agents to reliably create high-quality soft

داخل أشوف محاضرة عشان أحسن مستوايا في ال distributed systems‏

داخل أشوف محاضرة عشان أحسن مستوايا في ال distributed systems ‏- المحاضر:

Show HN: I run a team of AI agents on my Kubernetes cluster

I built Axon, an open-source Kubernetes controller that turns AI coding agent runs into a declarative API. I can define my development workflow in YAML so that Axon handles the rest — isolation, credentials, git workspace, agent plugins, output capture.I use it to develop Axon itself. I run a team of specialized agents on my cluster, each with a different job:Workers — Watch for GitHub issues, pick them up, investigate, write code, open PRs, self-review, and iterate until CI passes. If an agent

Show HN: Safari-CLI – Control Safari without an MCP

Hello HN!<p>I built this tool to help my agentic software development (vibe coding) workflow.<p>I wanted to debug Safari specific frontend bugs using copilot CLI, however MCP servers are disabled in my organisation. Therefore I built this CLI tool to give the LLM agent control over the browser.<p>Hope you'll find it useful!

Show HN: GalataJ – Runtime-aware Java profiling inside IntelliJ and VS Code

Hi HN,While working on large Java projects, I often found myself digging through heap dumps and flame graphs just to answer a simple question:Which methods are actually slow, and how much do they cost?Traditional profilers are powerful, but interpreting the output takes time. AI tools can read source code — but they don’t see what happens at runtime.So I built GalataJ.GalataJ is a lightweight Java profiler that works directly inside IntelliJ (including Community Edition) and VS Code. The workflo