Measuring the impact of AI on experienced open-source developer productivity

Is Gemini 2.5 good at bounding boxes?

Postgres LISTEN/NOTIFY does not scale

Flix – A powerful effect-oriented programming language

Paper: <a href="https:&#x2F;&#x2F;eprint.iacr.org&#x2F;2025&#x2F;118" rel="nofollow">https:&#x2F;&#x2F;eprint.iacr.org&#x2F;2025&#x2F;118</a>

How to prove false statements: Practical attacks on Fiat-Shamir

Hey HN,I&#x27;m a solopreneur and run a web design agency.I create open-source apps, but I also work as a freelancer and designer. I was accepting any new freelance project via forms on my agency website.I was using Typeform, but as time went by and more people submitted forms, it got more and more expensive. That time, I thought to use Google Form, but it was way too blocky and looked very unprofessional on my agency website.So I thought to build my own forms for my own usage, and it turns out it almost doubled form submissions and inquiry calls.I was happy, so I thought to build it for everyone and make it open-source.I added AI functionalities using Vercel AISDK. I can generate forms almost instantly using AI and also added analytics AI so that users can talk with their forms—more like talk with their analytics data.I&#x27;ve been building this publicly, sharing updates on my X account (preetsuthar17)I hope this product will be as helpful to you as it was for me. Would love your feedback plsPreet

Show HN: Typeform was too expensive so I built my own forms

Bret Victor on why current trend of AIs is at odds with his work

Graphical Linear Algebra

FOKS: Federated Open Key Service

Red Hat Technical Writing Style Guide

Optimizing a Math Expression Parser in Rust

Matt Trout has died

Analyzing database trends through 1.8M Hacker News headlines

Grok 4

Hey HN, we&#x27;re a YC startup building an open-source, privacy-first alternative to Perplexity Comet.No invite system unlike bunch of others – you can download it today from our website or GitHub: <a href="https:&#x2F;&#x2F;github.com&#x2F;browseros-ai&#x2F;BrowserOS">https:&#x2F;&#x2F;github.com&#x2F;browseros-ai&#x2F;BrowserOS</a>--- Why bother building an alternative? We believe browsers will become the new operating systems, where we offload much bunch of our work to AI agents. But these agents will have access to all your sensitive data – emails, docs, on top of your browser history. Open-source, privacy-first alternatives need to exist.We&#x27;re not a search or ad company, so no weird incentives. Your data stays on your machine. You can use local LLMs with Ollama. We also support BYOK (bring your own keys), so no $200&#x2F;month plans.Another big difference vs Perplexity Comet: our agent runs locally in your browser (not on their server). You can actually watch it click around and do stuff, which is pretty cool! Short demo here: <a href="https:&#x2F;&#x2F;bit.ly&#x2F;browserOS-demo" rel="nofollow">https:&#x2F;&#x2F;bit.ly&#x2F;browserOS-demo</a>--- How we built? We patch Chromium&#x27;s C++ source code with our changes, so we have the same security as Google Chrome. We also have an auto-updater for security patches and regular updates.Working with Chromium&#x27;s 15M lines of C++ has been another fun adventure that I&#x27;m writing a blog post on. Cursor&#x2F;VSCode breaks at this scale, so we&#x27;re back to using grep to find stuff and make changes. Claude code works surprisingly well too.Building the binary takes ~3 hours on our M4 Max MacBook.--- Next? We&#x27;re just 2 people with a lot of work ahead (Firefox started with 3 hackers, history rhymes!). But we strongly believe that a privacy-first browser with local LLM support is more important than ever – since agents will have access to so much sensitive data.Looking forward to any and all comments!

Show HN: Open source alternative to Perplexity Comet

Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation

Orwell Diaries 1938-1942

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs

Millions of Cars Exposed to Remote Hacking via PerfektBlue Attack

Hey HN, Henry and Roman here - we&#x27;ve been building a cross-platform framework for deploying LLMs, VLMs, Embedding Models and TTS models locally on smartphones.Ollama enables deploying LLMs models locally on laptops and edge severs, Cactus enables deploying on phones. Deploying directly on phones facilitates building AI apps and agents capable of phone use without breaking privacy, supports real-time inference with no latency, we have seen personalised RAG pipelines for users and more.Apple and Google actively went into local AI models recently with the launch of Apple Foundation Frameworks and Google AI Edge respectively. However, both are platform-specific and only support specific models from the company. To this end, Cactus:- Is available in Flutter, React-Native &amp; Kotlin Multi-platform for cross-platform developers, since most apps are built with these today.- Supports any GGUF model you can find on Huggingface; Qwen, Gemma, Llama, DeepSeek, Phi, Mistral, SmolLM, SmolVLM, InternVLM, Jan Nano etc.- Accommodates from FP32 to as low as 2-bit quantized models, for better efficiency and less device strain.- Have MCP tool-calls to make them performant, truly helpful (set reminder, gallery search, reply messages) and more.- Fallback to big cloud models for complex, constrained or large-context tasks, ensuring robustness and high availability.It&#x27;s completely open source. Would love to have more people try it out and tell us how to make it great!Repo: <a href="https:&#x2F;&#x2F;github.com&#x2F;cactus-compute&#x2F;cactus">https:&#x2F;&#x2F;github.com&#x2F;cactus-compute&#x2F;cactus</a>

Show HN: Cactus – Ollama for Smartphones