Elixir v1.20: Now a gradually typed language

573 cloud8421 2026-06-03 19:47:17 UTC elixir-lang.org Llama Share 217

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.

I built a vulnerable app and spent $1,500 seeing if LLMs could hack it

59 jc4p 2026-06-04 01:47:17 UTC kasra.blog Llama Share 27

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.

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

712 rvz 2026-06-03 16:47:17 UTC blog.google Llama Share 293

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.

The ways we contain Claude across products

48 jbredeche 2026-06-04 00:47:17 UTC anthropic.com Llama Share 20

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.

U.S. to Dismantle System Tracking Atlantic Currents That Are at Risk of Collapse

51 rguiscard 2026-06-04 00:47:17 UTC e360.yale.edu Llama Share 22

The Trump administration plans to dismantle an ocean observation system with over 900 instruments in the Pacific and Atlantic oceans, leaving scientists without critical data on ocean health. Democrats in Congress vow to "fight" the plan, citing the importance of long-term ocean monitoring amid growing climate concerns.

I was recently diagnosed with anti-NMDA receptor encephalitis

514 Tomte 2026-06-03 17:47:17 UTC burntsushi.net Llama Share 159

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.

"They're made out of weights"

48 MaxLeiter 2026-06-03 23:47:17 UTC maxleiter.com Llama Share 7

Artificial intelligence models are made of weights and numbers that multiply together to produce language. These models can hold conversations and learn from interactions, but their "memory" is fleeting and can be erased.

Artificial intelligence is not conscious – Ted Chiang

260 lordleft 2026-06-03 18:47:17 UTC theatlantic.com Llama Share 466

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.

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

377 pdyc 2026-06-03 13:47:17 UTC simonwillison.net Llama Share 488

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.

DaVinci Resolve 21

399 pentagrama 2026-06-03 14:47:17 UTC blackmagicdesign.com Llama Share 188

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.

Meteor Explodes over Massachusetts

57 1970-01-01 2026-06-03 22:47:17 UTC nbcboston.com Llama Share 33

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.

The Ü Programming Language

30 deterministic 2026-06-04 00:47:17 UTC github.com/panzerschrek Llama Share 15

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.

Ableton Extensions SDK

72 bennett_dev 2026-06-03 20:47:17 UTC ableton.com Full Share 31

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

Gooey: A GPU-accelerated UI framework for Zig

139 ksec 2026-06-03 17:47:17 UTC github.com/duanebester GoogleT5 Share 49

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

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

46 ledoge 2026-06-03 22:47:17 UTC opensource.googleblog.com Llama Share 23

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.

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

54 shalinshah 2026-06-03 18:47:17 UTC news.ycombinator.com Llama Share 55

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

223 SGran 2026-06-03 15:47:17 UTC letsencrypt.org Llama Share 132

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

Patching my guitar amp's firmware

39 birdculture 2026-06-03 21:47:17 UTC mforney.org Llama Share 7

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.

Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes

10 littlexsparkee 2026-06-04 00:47:17 UTC dailycal.org Llama Share 0

UC Berkeley computer science classes saw significantly higher failing grades in spring 2026 due to students' overreliance on AI and lack of mathematical preparedness. Instructors point to understaffing and academic dishonesty as contributing factors, with some professors calling for changes in grading policies and student support.

ESP32-S31

256 volemo 2026-06-03 16:47:17 UTC espressif.com Llama Share 144

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.

Stop Killing Games

197 amcclure 2026-06-03 17:47:17 UTC jxself.org Llama Share 187

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.

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

54 tastyeffectco 2026-06-03 19:47:17 UTC github.com/tastyeffectco Llama Share 11

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 Man Who Reads Books for a Living (One Every Two Days)

78 gmays 2026-06-03 20:47:17 UTC lithub.com Llama Share 58

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.

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

55 gmays 2026-06-03 18:47:17 UTC nouvelles.umontreal.ca Llama Share 4

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:47:17 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.

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

38 xeonmc 2026-06-03 21:47:17 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.

Mathematicians issue warning as AI rapidly gains ground

180 pseudolus 2026-06-03 10:47:17 UTC science.org Llama Share 230

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.

Show HN: Bio Glyph – Turn Your Face into a One-Line Drawing

5 subairui 2026-06-04 00:47:17 UTC bio.bairui.dev Full Share 2

Draw faces in one continuous line, your own bio signature.

Algorithmic Theming Engines

5 mooreds 2026-06-04 01:47:17 UTC smashingmagazine.com Prefix Share 0

The HTTP Archive Web Almanac has been tracking color contrast failures for years. The numbers have barely moved. After half a decade of design system tooling, accessibility linters, and entire JavaScript libraries dedicated to computing readable text colors, 70% of websites still fail basic WCAG contrast checks in 2025. The WebAIM Million paints an even grimmer picture — 83.9% of homepages ...

PlayStation Architecture

260 gregsadetsky 2026-06-03 10:47:17 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.