571
Codex Is Live in Zed
From the Zed Blog: OpenAI's Codex AI agent is now available in Zed via the Agent Client Protocol (ACP).
New
The latest blog posts to take off on Hacker News. 7,293 posts.
572
Elixir 1.19
Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.
573
Zed is now available on Windows
From the Zed Blog: Zed for Windows is finally here. Download it today.
574
Exploring PostgreSQL 18's new UUIDv7 support
Exploring what's interesting about UUIDv7 support using a demo crab store.
575
Garbage collection for Rust: The finalizer frontier
Abstract Rust is a non-Garbage Collected (GCed) language, but the lack of GC makes expressing data-structures that require shared ownership awkward, inefficient, or both. In this paper we explore a new design for, and implementation of, GC in Rust, called Alloy . Unlike previous approaches to GC in Rust, Alloy allows…
576
When if is just a function
what does this mean and does it matter
577
The reason GCC is not a library (2000)
This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project .
578
CamoLeak: Critical GitHub Copilot Vulnerability Leaks Private Source Code
Get details on our discovery of a critical vulnerability in GitHub Copilot Chat.
579
Datastar response to misunderstandings
A recent blog post titled HTMX, Datastar, greedy developer and several Hacker News threads raised concerns about Datastar Pro, pricing, and whether features were “moved behind a paywall”. Here’s what has changed, who Pro is for, and how to achieve some of the same things with the free version.
580
"Vibe code hell" has replaced "tutorial hell" in coding education
When I started thinking about the problems with coding education in 2019, "tutorial hell" was enemy number one. You'd know you were living in it if you:
581
Igalia, Servo, and the Sovereign Tech Fund
Igalia is an open source consulting firm specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit…
582
Julia 1.12 highlights
Highlights of the Julia 1.12 release.
583
Now open for building: Introducing Gemini CLI extensions
Make Gemini CLI uniquely yours by connecting it to your everyday workflows and the tools you use most.
584
We found a bug in Go's ARM64 compiler
84 million requests a second means even rare bugs appear often. We'll reveal how we discovered a race condition in the Go arm64 compiler and got it fixed.
585
Erlang ARM32 JIT is born
A modular embedded ecosystem—bare-metal hardware, software stacks, and a cloud platform for real-time IoT and distributed systems.
586
Apps SDK
Learn to build plugins for ChatGPT and Codex with skills, MCP servers, and optional UI. Explore developer guides for authentication, testing, and publishing.
587
OpenZL: An open source format-aware compression framework
OpenZL is a new open source data compression framework that offers lossless compression for structured data. OpenZL is designed to offer the performance of a format-specific compressor with the eas…
588
Uv overtakes pip in CI
An opportunity for more opinionated defaults
589
Should I choose Ada, SPARK, or Rust over C/C++? (2024)
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming…
590
Managing context on the Claude Developer Platform
New context editing and memory tools enable Claude agents to handle long-running tasks without hitting context limits.
591
Solveit – A course and platform for solving problems with code
You can now sign up for ‘How to Solve It with Code’, which is a course in how to solve problems (including coding, writing, sysadmin, and research) using fast short iterations, and also provides a platform that makes this approach easier and more effective.
592
593
Fossabot: AI code review for Dependabot/Renovate on breaking changes and impacts
Announcing fossabot, a new AI Agent for making strategic dependency updates, backed by a comprehensive accuracy, consistency, and correctness framework.
594
Effective context engineering for AI agents
In this post, we explore strategies for effectively curating and managing their context.
595
LoRA Without Regret
How LoRA matches full training performance more broadly than expected.
596
What’s New in PostgreSQL 18 – a Developer’s Perspective
PostgreSQL 18 features that change how application developers write and ship code.
597
We reverse-engineered Flash Attention 4
Asynchrony, fast approximate exponents, and 10x more efficient softmax.
598
A Postmark backdoor that’s downloading emails
Secure the modern software stack with Koi. Gain visibility, context, and real-time protection over extensions, MCPs, and autonomous AI agent endpoints.
599
Context is the bottleneck for coding agents now
Ship production-quality code at superhuman speed.
600