kim

# Daily Hacker News 1. [**OpenAI departures: Why can’t former employees talk?**](https://www.vox.com/future-perfect/2024/5/17/24158478/openai-departures-sam-altman-employees-chatgpt-release) `www.vox.com` [`comments`](https://news.ycombinator.com/item?id=40393121) 2. [**Bend: a high-level language that runs on GPUs (via HVM2)**](https://github.com/HigherOrderCO/Bend) `github.com` [`comments`](https://news.ycombinator.com/item?id=40390287) 3. [**Zoraxy: Open-Source,...

# Daily Hacker News 1. [**Computer scientists invent an efficient new way to count**](https://www.quantamagazine.org/computer-scientists-invent-an-efficient-new-way-to-count-20240516/) `www.quantamagazine.org` [`comments`](https://news.ycombinator.com/item?id=40379175) 2. [**A forged Apple employee badge**](https://cabel.com/2024/05/16/the-forged-apple-employee-badge/) `cabel.com` [`comments`](https://news.ycombinator.com/item?id=40384013) 3. [**Exercises to Learn Rust**](https://rust-exercises.com/) `rust-exercises.com`...

# Daily Hacker News 1. [**VCs aren’t your friends**](https://www.openvc.app/blog/vcs-arent-your-friends) `www.openvc.app` [`comments`](https://news.ycombinator.com/item?id=40375548) 2. [**Some notes on Rust, mutable aliasing and formal verification**](https://graydon2.dreamwidth.org/312681.html) `graydon2.dreamwidth.org` [`comments`](https://news.ycombinator.com/item?id=40375341) 3. [**Things I won't work with: the...

# Daily Hacker News 1. [**Translation of the Rust's core and alloc crates to Coq for formal verification**](https://formal.land/blog/2024/04/26/translation-core-alloc-crates) `formal.land` [`comments`](https://news.ycombinator.com/item?id=40363744) 2. [**A low budget consumer hardware espionage implant: a GSM...

# Daily Hacker News 1. [**GPT-4o**](https://openai.com/index/hello-gpt-4o/) `openai.com` [`comments`](https://news.ycombinator.com/item?id=40345775) 2. [**Using ARG in a Dockerfile – beware the gotcha**](https://qmacro.org/blog/posts/2024/05/13/using-arg-in-a-dockerfile-beware-the-gotcha/) `qmacro.org` [`comments`](https://news.ycombinator.com/item?id=40352426) 3. [**SEQUEL: A Structured English Query Language (1974)**](https://dl.acm.org/doi/epdf/10.1145/800296.811515) `dl.acm.org` [`comments`](https://news.ycombinator.com/item?id=40337445)...

# Daily Hacker News 1. [**GPUs Go Brrr**](https://hazyresearch.stanford.edu/blog/2024-05-12-tk) `hazyresearch.stanford.edu` [`comments`](https://news.ycombinator.com/item?id=40337936) 2. [**Protecting your email address via SVG instead of JavaScript**](https://rouninmedia.github.io/protecting-your-email-address-via-svg-instead-of-js/) `rouninmedia.github.io` [`comments`](https://news.ycombinator.com/item?id=40340642) 3. [**A Slower Speed of Light (2012)**](http://gamelab.mit.edu/games/a-slower-speed-of-light/) `gamelab.mit.edu`...

# Daily Hacker News 1. [**Show HN: Open-Source Video Editor Web App**](https://news.ycombinator.com/item?id=40331968) [`comments`](https://news.ycombinator.com/item?id=40331968) 2. [**Immersive Linear Algebra (2015)**](http://immersivemath.com/ila/index.html) `immersivemath.com` [`comments`](https://news.ycombinator.com/item?id=40329388) 3. [**Virtualizing the 6502 on a 6502 with 6o6**](http://oldvcr.blogspot.com/2024/04/virtualizing-6502-with-6o6-and.html) `oldvcr.blogspot.com`...

# Daily Hacker News 1. [**Most of Europe is glowing pink under the aurora**](https://www.foto-webcam.eu/webcam/lucknerhaus/) `www.foto-webcam.eu` [`comments`](https://news.ycombinator.com/item?id=40324179) 2. [**The Derivative of a Number**](https://rjlipton.com/2014/08/19/the-derivative-of-a-number/) `rjlipton.com` [`comments`](https://news.ycombinator.com/item?id=40326305) 3. [**Jim Simons has died**](https://www.simonsfoundation.org/2024/05/10/simons-foundation-co-founder-mathematician-and-investor-jim-simons-dies-at-86/) `www.simonsfoundation.org`...

# Daily Hacker News 1. [**Roman Tyrian purple snail dye found in UK for first time**](https://www.bbc.com/news/articles/cjje132jvygo) `www.bbc.com` [`comments`](https://news.ycombinator.com/item?id=40315970) 2. [**Elvish, expressive programming language and a versatile interactive shell**](https://elv.sh) `elv.sh` [`comments`](https://news.ycombinator.com/item?id=40316010)...

# Daily Hacker News 1. [**AlphaFold 3 predicts the structure and interactions of life's molecules**](https://blog.google/technology/ai/google-deepmind-isomorphic-alphafold-3-ai-model/) `blog.google` [`comments`](https://news.ycombinator.com/item?id=40298927) 2. [**Consistency LLM: converting LLMs to parallel decoders accelerates inference 3.5x**](https://hao-ai-lab.github.io/blogs/cllm/) `hao-ai-lab.github.io` [`comments`](https://news.ycombinator.com/item?id=40302201)...