In my previous post, I walked through the task of formally deducing one lemma from another in Lean 4. The deduction was deliberately chosen to be short and only showcased a small number of Lean tac…

Dust off your space suit and hug a pine tree, because Outer Wilds has officially launched on Nintendo Switch!

Buy now on Nintendo E-Shop: https://www.nintendo.com/us/store/products/outer-wilds-archaeologist-editi…

💖 23

> The last 5 years of V8's garbage collector

New post by Andy Wingo

https://t.co/mUej1o5OwC

才能ちょっとほしい🍩

ボーカル：花隈千冬
作詞・作曲・動画：daniwell
https://aidn.jp/
https://twitter.com/daniwell_aidn

#今年も残りわずかなので今年一番伸びた絵を貼る見た絵描きさんも強制でやる
春陽讃歌🦊

skeb

Due to an issue in ext4 with data corruption in kernel 6.1.64-1, we are a pausing the 12.3 image release for today while we attend to fixes. Please do not update any systems at this time, we urge caution for users with UnattendeUpgrades configured.… http…

Pencils, Brushes and Paint 鉛筆、筆、絵の具
https://kyndinfo.notion.site/Pencils-Brushes-and-Paint-54c0f94aa30940aba2f11b637dc009c2?pvs=4

💖 377 🔁 65

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs - ratatui/ratatui

I’m currently writing a textbook on Electromagnetic Waves for my graduate optics students. I was reading up on zero refractive index materials for a chapter section and thought it would be fu…

I was honored to give a talk at UW Mathematics on "Language models and formal mathematics", covering:

- Neural theorem proving tutorial: https://github.com/wellecks/ntptutorial
- LLMstep: https://mathai2023.github.io/papers/40.pdf
- Llemma: https://arxi…

ねこ
https://aidn.jp/otohira/

💖 215

i hope you enjoy :)


full showcases for cut rooms:
9. Supernautica - LegS-Intermediate: https://youtu.be/-g7SWNNxQLg?t=22
15 & 16. Call of the Void - VtoC: https://youtu.be/auwPYukha_8
21. Vinculum - Berry Gate Challenge: https://youtu.be/6FV2eSrLFtI?t=24…