Elixir v1.20: Now a gradually typed language

655 cloud8421 2026-06-03 19:35:43 UTC elixir-lang.org Llama Share 242

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.

"They're made out of weights"

237 MaxLeiter 2026-06-04 00:35:43 UTC maxleiter.com Llama Share 74

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.

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

125 littlexsparkee 2026-06-04 00:35:43 UTC dailycal.org Llama Share 70

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.

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

119 jc4p 2026-06-04 01:35:43 UTC kasra.blog Llama Share 47

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

770 rvz 2026-06-03 16:35:43 UTC blog.google Llama Share 311

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

85 jbredeche 2026-06-04 00:35:43 UTC anthropic.com Llama Share 38

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.

Artificial intelligence is not conscious – Ted Chiang

334 lordleft 2026-06-03 18:35:43 UTC theatlantic.com Llama Share 590

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.

I was recently diagnosed with anti-NMDA receptor encephalitis

551 Tomte 2026-06-03 17:35:43 UTC burntsushi.net Llama Share 176

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.

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

426 pdyc 2026-06-03 13:35:43 UTC simonwillison.net Llama Share 533

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

432 pentagrama 2026-06-03 14:35:43 UTC blackmagicdesign.com Llama Share 194

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

86 1970-01-01 2026-06-03 22:35:43 UTC nbcboston.com Llama Share 44

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.

CP/M-86 & MS-DOS Cross Development Environment

20 elvis70 2026-06-04 02:35:43 UTC github.com/tsupplis Llama Share 1

This project provides a cross-development environment for CP/M-86 and DOS, including tools like Aztec C compiler, MASM, and emulators like emu2 and tnylpo. The project is open-source and available on GitHub, with a Dockerfile and Makefile for easy setup and usage.

ESP32-S31

274 volemo 2026-06-03 16:35:43 UTC espressif.com Llama Share 149

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.

Life saving / first aid posters

10 cpu_ 2026-06-04 04:35:43 UTC news.ycombinator.com Full Share 0

Hi, While visiting someone, I observed a first aid poster on their fridge (I forgot to ask for the source from the host at that time). Similar to https://lifesavingfirstaid.com.au/posters/

A Man Who Reads Books for a Living

96 gmays 2026-06-03 20:35:43 UTC lithub.com Llama Share 70

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.

Gooey: A GPU-accelerated UI framework for Zig

153 ksec 2026-06-03 17:35:43 UTC github.com/duanebester GoogleT5 Share 55

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 Post-Quantum Future for Let's Encrypt

241 SGran 2026-06-03 15:35:43 UTC letsencrypt.org Llama Share 135

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

Ableton Extensions SDK

95 bennett_dev 2026-06-03 21:35:43 UTC ableton.com Full Share 37

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

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

59 ledoge 2026-06-03 22:35:43 UTC opensource.googleblog.com Llama Share 30

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.

DNS Is for People – Not for IT Infrastructure

26 louwrentius 2026-06-04 00:35:43 UTC louwrentius.com Llama Share 22

The article questions using DNS for internal IT infrastructure due to potential risks of failure and complexity. It suggests avoiding DNS altogether for increased reliability and robustness.

Patching my guitar amp's firmware

55 birdculture 2026-06-03 21:35:43 UTC mforney.org Llama Share 9

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.

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

61 shalinshah 2026-06-03 18:35:43 UTC news.ycombinator.com Llama Share 58

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.

U.S. to dismantle system tracking Atlantic currents that are at risk of collapse

365 rguiscard 2026-06-04 01:35:43 UTC e360.yale.edu Llama Share 236

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.

When does fragmentation occur in the CUDA caching allocator?

9 matt_d 2026-06-04 03:35:43 UTC docs.pytorch.org Prefix Share 1

Disclosure. This post was drafted by Claude (Anthropic’s coding assistant) with editing from ezyang. In an ideal world, users of CUDA memory in PyTorch programs should be able to abstract the allocator behavior as: there is a fixed amount of GPU memory, whenever you allocate this available memory goes down, and when you free the available memory goes back up. Unfortunately, the internal ...

Dumbphone 2

21 skogstokig 2026-06-04 01:35:43 UTC dumb.co Llama Share 4

Dumb.co was founded in 2025 in Washington, DC, as a response to a 30-day smartphone challenge. The Dumbphone 2 is a companion device syncing with smartphones, offering basic features like maps and messaging.

The Ü Programming Language

46 deterministic 2026-06-04 00:35:43 UTC github.com/panzerschrek Llama Share 34

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.

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

57 xeonmc 2026-06-03 21:35:43 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

207 pseudolus 2026-06-03 10:35:43 UTC science.org Llama Share 250

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.

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

0 2026-06-03 17:35:43 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.

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

73 tastyeffectco 2026-06-03 20:35:43 UTC github.com/tastyeffectco Llama Share 18

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.