Elixir v1.20: Now a gradually typed language

415 cloud8421 2026-06-03 19:57:16 UTC elixir-lang.org Llama Share 139

Elixir v1.20 introduces type inference and gradual type checking without annotations, reporting dead code and verified bugs with a low false positive rate. The dynamic() type allows for compatibility and narrowing, ensuring only verified bugs are reported.

Gemma 4 12B: A unified, encoder-free multimodal model

616 rvz 2026-06-03 16:57:16 UTC blog.google Llama Share 251

Gemma 4 12B is a mid-sized model with native audio inputs, offering powerful multimodal capabilities in a reduced memory footprint. It achieves this through a streamlined architecture that integrates audio and vision input directly into the LLM backbone.

I was recently diagnosed with anti-NMDA receptor encephalitis

415 Tomte 2026-06-03 16:57:16 UTC burntsushi.net Llama Share 116

I was diagnosed with anti-NMDA receptor encephalitis, an autoimmune disorder causing brain inflammation. Early treatment with IVIG and steroids helped me recover from severe symptoms including psychosis and suicidal ideation.

DaVinci Resolve 21

349 pentagrama 2026-06-03 14:57:16 UTC blackmagicdesign.com Llama Share 166

DaVinci Resolve is a powerful video editing software that supports Mac, Windows, and Linux, with features like AI region tracking and HDR grading. It offers various hardware panels for color correction, audio editing, and mixing.

Gooey: A GPU-accelerated UI framework for Zig

122 ksec 2026-06-03 17:57:16 UTC github.com/duanebester GoogleT5 Share 34

Gooey-based claude client using the zig 0.16 std. background tasks never touch ui state directly — they only push typed results. support column resizing, sorting, and selection. ideal for chat messages or expandable rows. set the active theme before rendering: set a light/dark pair of theme values and swap between them the same way as the built-ins. if you want to use

Uber's $1,500/month AI limit is a useful signal for AI tool pricing

309 pdyc 2026-06-03 13:57:16 UTC simonwillison.net Llama Share 391

Uber limits AI tool spending to $1,500 per month per employee to manage costs. This policy applies to tools like Claude Code and Cursor, hinting at a real dollar value for Uber's AI usage.

Pwnd Blaster: Hacking your PC using your speaker without ever touching it

619 xx_ns 2026-06-03 10:57:16 UTC blog.nns.ee Llama Share 98

The user discovered vulnerabilities in the Creative Sound Blaster Katana V2X firmware that allow an attacker to turn the speaker into a covert spying tool or Rubber Ducky without pairing or physical access. The user found that the speaker's Bluetooth connection can be exploited to send CTP commands, and they created a custom firmware that turns the speaker into a keyboard, allowing remote ...

ESP32-S31

231 volemo 2026-06-03 16:57:16 UTC espressif.com Llama Share 125

ESP32-S31 is a versatile SoC with wireless and wired connectivity, dual-core RISC-V microcontroller, and robust security features. It supports various protocols, interfaces, and multimedia capabilities for IoT applications, smart displays, and voice-enabled devices.

A Man Who Reads Books for a Living (One Every Two Days)

43 gmays 2026-06-03 20:57:16 UTC lithub.com Llama Share 18

Clarke Speicher is a professional book reader who evaluates literature for screen adaptation, reading about six books a week and having read over 6,000 books in two decades. He writes detailed synopses of books, evaluating their cinematic potential and recommending whether they should be adapted into movies or TV shows.

Ableton Extensions SDK

29 bennett_dev 2026-06-03 20:57:16 UTC ableton.com Full Share 8

Extensions SDK is an open JavaScript toolkit allowing anyone to create custom tools that expand the possibilities inside Live 12 Suite

A Post-Quantum Future for Let's Encrypt

200 SGran 2026-06-03 15:57:16 UTC letsencrypt.org Llama Share 107

Let's Encrypt is planning to use Merkle Tree Certificates for post-quantum authentication. This approach adds security without slowing down the web.

Brume is a 24-voice multi-timbral desktop synth for the CM5

39 oceanwaves 2026-06-03 19:57:16 UTC brume.aftertone.co Llama Share 14

Brume is a desktop music machine with four synthesis engines and a 10-inch touch surface. It connects to a DAW via one USB cable and features a Lua FX slot for custom processing.

Show HN: Mnemo – local-first AI memory layer for any LLM (Rust, SQLite,petgraph)

16 zaydmulani 2026-06-03 20:57:16 UTC github.com/zaydmulani09 Llama Share 5

mnemo is a local-first AI memory layer for LLMs that extracts entities and relationships from conversations and stores them in a persistent knowledge graph. It works with Ollama, OpenAI, and Anthropic APIs, and can be used to retrieve relevant context for future prompts.

Launch HN: Hyper (YC P26) – Company brain to power agentic development

45 shalinshah 2026-06-03 17:57:16 UTC news.ycombinator.com Llama Share 43

Shalin and Kanyes, founders of Hyper, created a shared "company brain" that plugs into company info to make AI agents better. Hyper ingests company data, synthesizes it into a knowledge graph, and increases AI efficiency, saving time.

Self-hosted dev sandboxes with preview URLs (Docker, Go, no K8s)

24 tastyeffectco 2026-06-03 19:57:16 UTC github.com/tastyeffectco Llama Share 4

Sandboxed is an open-source engine for AI app-builder products that provides isolated cloud dev environments and a live preview URL. It's a self-hosted, single-command solution that runs on one machine, ideal for building AI app-builders, agent platforms, and coding playgrounds.

A Mathematician's Lament – Paul Lockhart (2002) [pdf]

9 xeonmc 2026-06-03 21:57:16 UTC worrydream.com Prefix Share 0

musician wakes from a terrible nightmare. In his dream he finds himself in a society where music education has been made mandatory. “We are helping our students become more competitive in an increasingly sound-filled world.” Educators, school systems, and the state are put in charge of this vital project. Studies are commissioned, committees are formed, and decisions are made— all without the ...

Embryos shape their limbs: a key discovery of "genetic brakes"

41 gmays 2026-06-03 17:57:16 UTC nouvelles.umontreal.ca Llama Share 1

Canadian scientists led by Marie Kmita discovered how genetic brakes regulate limb formation in embryos. The Polycomb complexes PRC1 and PRC2 silence genes at the right time to ensure proper development.

Skyvern (YC S23) Is Hiring Open-Source Loving DevRel Engineers

0 2026-06-03 17:57:16 UTC ycombinator.com Llama Share

Skyvern is an open-source AI agent that automates browser tasks, seeking a content creator to build its social presence and engage with the AI community. The ideal candidate has a technical background, can explain complex products, and is comfortable on camera.

Rootshell: A new E2EE email service hosted in Iceland

37 sc0rt 2026-06-03 19:57:16 UTC rootshell.is Full Share 29

rootshell.is Sign in to your mailbox

Book Dedications

29 walz 2026-06-03 19:57:16 UTC walzr.com Llama Share 8

This book is dedicated to numerous individuals, including family members, friends, and those who have inspired or supported the author throughout their life. The dedications range from loved ones who have passed away to those who have made a significant impact on the author's life, with a focus on themes of love, loss, and resilience.

Stop Killing Games

160 amcclure 2026-06-03 17:57:16 UTC jxself.org Llama Share 148

The "Stop Killing Games" movement is demanding software freedom, not just consumer rights. They want control over their games, not just temporary permission to play them.

MacBook Neo is so popular that Apple doubled production

295 tosh 2026-06-03 16:57:16 UTC macrumors.com Llama Share 309

Apple's MacBook Neo has exceeded expectations with strong demand, leading to a doubling of production to 10 million units in 2026. The laptop's success has driven a record number of first-time Mac buyers and is seen as a major growth opportunity for Apple.

Meta workers can opt out of being tracked at work up to 30 min

647 reconnecting 2026-06-03 12:57:16 UTC bbc.com Llama Share 609

Meta is scaling back its plan to track employees' computer activity after backlash from staff. Employees can now opt out of tracking for up to 30 minutes at a time or request exemptions.

Every Byte Matters

219 ingve 2026-06-03 11:57:16 UTC fzakaria.com Llama Share 109

Understanding cache line and page sizes is crucial for optimizing performance in Java. Keeping a tight control on working set size can drastically affect time for random access patterns.

Mathematicians issue warning as AI rapidly gains ground

145 pseudolus 2026-06-03 10:57:16 UTC science.org Llama Share 186

Mathematicians are warning that unchecked AI automation threatens the field's values and integrity. They call for responsible AI use in a public declaration, urging support for human creativity and understanding in mathematics.

PlayStation Architecture

233 gregsadetsky 2026-06-03 10:57:16 UTC copetti.org Llama Share 47

Sony designed the PlayStation's CPU, a MIPS R3000A-based chip, to be simple and practical, but this simplicity came at a cost. The CPU lacks a Floating-Point Unit (FPU) and has a pipelined design that requires manual filling of delay slots to mitigate pipeline hazards.

New Texas Instruments 5532 chips are not the 5532s we’ve used for decades

69 SpikedCola 2026-06-03 16:57:16 UTC groupdiy.com Llama Share 32

TI changed the NE5532's input stage from NPN to PNP and slew rate from 9V/µs to 5V/µs. This is a significant change, making the new part different from the original.

Fluid Simulation for Dummies (2006)

51 sebg 2026-06-03 15:57:16 UTC mikeash.com GoogleT5 Share 15

The code and ideas that i'm going to present are based on jos stam&# 39;s paper. a simple solution is to set each corner cell equal to the average of its three neighbors - this counteracts the motion of the fluid which would take it through the wall if it were to move through it. to make sure that fluid is incompressible, we need to satisfy the non-diverg

Journey to JPEG XL: open-source experiments shaped the future of image coding

5 ledoge 2026-06-03 21:57:16 UTC opensource.googleblog.com Prefix Share 2

The internet runs on images. Since the early days of the web, there has been a relentless tension between visual fidelity and bandwidth. For decades, the industry relied on the venerable JPEG standard for images loading fast. It served us remarkably well, but as displays moved to High Dynamic Range (HDR) and Wide Color Gamut (WCG), the format began to show its limits. The road to JPEG XL ...

Show HN: Nutrepedia – Nutrition info in 29 locales built with Clojure and Htmx

108 llovan 2026-06-03 16:57:16 UTC nutrepedia.com Full Share 20