FFmpeg 8.0 adds Whisper support

Nginx introduces native support for ACME protocol

PYX: The next step in Python packaging

Related: https:&#x2F;&#x2F;www.theregister.com&#x2F;2025&#x2F;08&#x2F;13&#x2F;uk_expands_police_facial_recognition&#x2F;

Facial recognition vans to be rolled out across police forces in England

OCaml as my primary language

Kodak says it might have to cease operations

Zenobia Pay – A mission to build an alternative to high-fee card networks

NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices

Open Banking and Payments Competition

Funding Open Source like public infrastructure

What's the strongest AI model you can train on a laptop in five minutes?

Built this for my LLM workflows - needed searchable, persistent memory that wouldn&#x27;t blow up storage costs. I also wanted to use it locally for my research. It&#x27;s a content-addressed storage system with block-level deduplication (saves 30-40% on typical codebases). I have integrated the CLI tool into most of my workflows in Zed, Claude Code, and Cursor, and I provide the prompt I&#x27;m currently using in the repo.The project is in C++ and the build system is rough around the edges but is tested on macOS and Ubuntu 24.04.

Show HN: Yet another memory system for LLMs

What Medieval People Got Right About Learning (2019)

Hey HN! We’re Shraman and Shreyas Kar, building Golpo (<a href="https:&#x2F;&#x2F;video.golpoai.com">https:&#x2F;&#x2F;video.golpoai.com</a>), an AI generator for whiteboard-style explainer videos, capable of creating videos from any document or prompt.We’ve always made videos to communicate any concept and felt like it was the clearest way to communicate. But making good videos was time-consuming and tedious. It required planning, scripting, recording, editing, syncing voice with visuals. Even a 2-minute video could take hours.AI video tools are impressive at generating cinematic scenes and flashy content, but struggle to explain a product demo, walk through a complex workflow, or teach a technical topic. People still spend hours making explainer videos manually because existing AI tools aren’t built for learning or clarity.Our solution is Golpo. Our video generation engine generates time-aligned graphics with spoken narration that are good for onboarding, training, product walkthroughs, and education. It’s fast, scalable, and built from the ground up to help people understand complex ideas through simple storytelling.Here’s a demo: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=C_LGM0dEyDA#t=7" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=C_LGM0dEyDA#t=7</a>.Golpo is built specifically for use cases involving explaining, learning, and onboarding. In our (obviously biased!) opinion, it feels authentic and engaging in a way no other AI video generator does.Golpo can generate videos in over 190 languages. After it generates a video, you can fully customize its animations by just describing the changes you want to see in each motion graphic it generates in natural language.It was challenging to get this to work! Initially, we used a code-generation approach with Manim, where we fine-tuned a language model to emit Python animation scripts directly from the input text. While promising for small examples, this quickly became brittle, and the generated code usually contained broken imports, unsupported transforms, and poor timing alignment between narration and visuals. Debugging and regenerating these scripts was often slower than creating them manually.We also explored training a custom diffusion-based video model, but found it impractical for our needs. Diffusion could produce high-fidelity cinematic scenes, but generating coherent sequences beyond about 30 seconds was unreliable without complex stitching, making edits required regenerating large portions of the video, and visuals frequently drifted from the instructional intent, especially for abstract or technical topics. Also, we did not have the compute to scale this.Existing state-of-the-art systems like Sora and Veo 3 face similar limitations: they are optimized for cinematic storytelling, not step-by-step educational content, and they lack both the deterministic control needed for time-aligned narration and the scalability for 5–10 minute explainers.In the end, we took a different path of training a reinforcement learning agent to “draw” whiteboard strokes, step-by-step, optimized for clear, human-like explanations. This worked well because the action space was simple and the environment was not overly complex, allowing the agent to learn efficient, precise, and consistent drawing behaviors.Here are some sample videos that Golpo generated:<a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=33xNoWHYZGA" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=33xNoWHYZGA</a> (Whiteboard Gym - the tech behind Golpo itself)<a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=w_ZwKhptUqI" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=w_ZwKhptUqI</a> (How do RNNs work?)<a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=RxFKo-2sWCM" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=RxFKo-2sWCM</a> (function pointers in C)<a href="https:&#x2F;&#x2F;golpo-podcast-inputs.s3.us-east-2.amazonaws.com&#x2F;files&#x2F;4c26c0cf-4938-4371-a74b-a78eb18acc86.mp4" rel="nofollow">https:&#x2F;&#x2F;golpo-podcast-inputs.s3.us-east-2.amazonaws.com&#x2F;file...</a> (basic intro to Gödel&#x27;s theorem)You can try Golpo here: <a href="https:&#x2F;&#x2F;video.golpoai.com">https:&#x2F;&#x2F;video.golpoai.com</a>, and we will set you up with 2 credits. We’d love your feedback, especially on what feels off, what you’d want to control, and how you might use it. Comments welcome!

HN

FFmpeg 8.0 adds Whisper support

Nginx introduces native support for ACME protocol

PYX: The next step in Python packaging

Facial recognition vans to be rolled out across police forces in England

OCaml as my primary language

Kodak says it might have to cease operations

Zenobia Pay – A mission to build an alternative to high-fee card networks

NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices

Open Banking and Payments Competition

Funding Open Source like public infrastructure

What's the strongest AI model you can train on a laptop in five minutes?

Show HN: Yet another memory system for LLMs

What Medieval People Got Right About Learning (2019)

Launch HN: Golpo (YC S25) – AI-generated explainer videos

ForgeFed: ActivityPub-based forge federation protocol

iPhone DevOps

500 Days of Math

Arch shares its wiki strategy with Debian

Nyxt: The Emacs-like web browser

Meta accessed women's health data from Flo app without consent, says court