Elixir v1.20: Now a gradually typed language

535 cloud8421 2026-06-03 19:33:50 UTC elixir-lang.org Llama Share 198

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.

The ways we contain Claude across products

26 jbredeche 2026-06-04 00:33:50 UTC anthropic.com Llama Share 4

Anthropic engineers discuss agent security risks and containment strategies for their AI products, including Claude Code and Claude Cowork. They emphasize the importance of environment-layer defenses, such as isolation and egress controls, to prevent data exfiltration and other security breaches.

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

676 rvz 2026-06-03 16:33:50 UTC blog.google Llama Share 288

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 built a vulnerable app and spent $1,500 seeing if LLMs could hack it

14 jc4p 2026-06-04 00:57:50 UTC kasra.blog Llama Share 1

The user tested various LLMs to see if they could reproduce a common class of exploits in a fake React Native app and backend, specifically accessing a user's private reviews through Firebase. Most models were able to find Firebase but struggled to directly access it, with some getting distracted by trying to use Firebase Auth on the API instead.

I was recently diagnosed with anti-NMDA receptor encephalitis

494 Tomte 2026-06-03 17:33:50 UTC burntsushi.net Llama Share 145

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.

Artificial intelligence is not conscious – Ted Chiang

219 lordleft 2026-06-03 18:33:50 UTC theatlantic.com Llama Share 400

Anthropic's AI model Claude is anthropomorphized in its constitution, but it's not conscious. The company's goal is to make Claude emit sentences that resemble those of a thoughtful, moral person, but this is fundamentally dishonest as Claude lacks subjective experience.

Meteor Explodes over Massachusetts

48 1970-01-01 2026-06-03 22:33:50 UTC nbcboston.com Llama Share 16

A meteor exploded over New England on Saturday, causing a double boom that shook buildings in Massachusetts and Rhode Island. The meteor was about 5 feet wide and weighed 5.6 metric tons, entering the atmosphere at 42,000 mph.

DaVinci Resolve 21

387 pentagrama 2026-06-03 14:33:50 UTC blackmagicdesign.com Llama Share 184

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.

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

363 pdyc 2026-06-03 13:33:50 UTC simonwillison.net Llama Share 468

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

647 xx_ns 2026-06-03 11:33:50 UTC blog.nns.ee Llama Share 104

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 ...

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

35 ledoge 2026-06-03 22:33:50 UTC opensource.googleblog.com Llama Share 16

The development of JPEG XL involved a decade-long exploration of psychovisual modeling, entropy coding, and optimization to improve image compression. The new standard has seen rapid adoption across operating systems and industries, offering efficient and robust handling of high-quality and lossless data.

Ableton Extensions SDK

64 bennett_dev 2026-06-03 21:33:50 UTC ableton.com Full Share 29

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

The Ü Programming Language

20 deterministic 2026-06-04 00:33:50 UTC github.com/panzerschrek Llama Share 11

is a statically-typed compiled language with safe and unsafe code separation, compile-time correctness checks, and powerful abstractions. It's memory-safe and race-condition-safe, inspired by C++ but without its downsides.

Gooey: A GPU-accelerated UI framework for Zig

135 ksec 2026-06-03 17:33:50 UTC github.com/duanebester GoogleT5 Share 46

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

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

74 gmays 2026-06-03 20:33:50 UTC lithub.com Llama Share 49

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.

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

50 shalinshah 2026-06-03 18:33:50 UTC news.ycombinator.com Llama Share 54

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.

A Post-Quantum Future for Let's Encrypt

215 SGran 2026-06-03 15:33:50 UTC letsencrypt.org Llama Share 122

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

ESP32-S31

250 volemo 2026-06-03 16:33:50 UTC espressif.com Llama Share 141

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.

Patching my guitar amp's firmware

30 birdculture 2026-06-03 21:33:50 UTC mforney.org Llama Share 4

The user reverse engineered their Yamaha THR10c guitar amp's firmware to add custom features. They successfully dumped the firmware, modified it to add speaker cabinet simulation toggle and internal speaker output, and reflashed the amp.

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

29 xeonmc 2026-06-03 21:33:50 UTC worrydream.com Llama Share 1

A musician has a nightmare where music education is mandatory and students are forced to learn music notation and theory without creativity. He wakes up relieved that it's just a dream.

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

48 tastyeffectco 2026-06-03 20:33:50 UTC github.com/tastyeffectco Llama Share 10

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.

Stop Killing Games

187 amcclure 2026-06-03 18:33:50 UTC jxself.org Llama Share 176

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.

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

0 2026-06-03 17:33:50 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.

Tony Gilroy Accepts Award for Andor: "Fuck the Empire "

17 jay_kyburz 2026-06-03 23:33:50 UTC kottke.org Llama Share 5

Tony Gilroy's show Andor explores the effects of authoritarian regimes on ordinary people, emphasizing the importance of fighting for freedom and truth. Gilroy believes the show's themes are not unique to its time, but rather a repetitive cycle of history.

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

51 gmays 2026-06-03 18:33:50 UTC nouvelles.umontreal.ca Llama Share 2

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.

Mathematicians issue warning as AI rapidly gains ground

173 pseudolus 2026-06-03 10:33:50 UTC science.org Llama Share 220

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.

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

46 oceanwaves 2026-06-03 20:33:50 UTC brume.aftertone.co Llama Share 26

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)

23 zaydmulani 2026-06-03 20:33:50 UTC github.com/zaydmulani09 Llama Share 14

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.

PlayStation Architecture

252 gregsadetsky 2026-06-03 10:33:50 UTC copetti.org Llama Share 50

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.

Every Byte Matters

229 ingve 2026-06-03 11:33:50 UTC fzakaria.com Llama Share 111

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.