andrii
1.5K posts

andrii retweetledi

@Love2Code @blelbach People who blindly merge any code are bad software engineers
English

@blelbach I find myself in between. I have zero doubt that AI tech is already useful and will only get more capable, I use it daily, but I also think people who would blindly merge AI-generated code without reviewing it are bad software engineers.
English

andrii retweetledi

Another view of the Rio Matias Hernandez, soon to be home of Interceptor 025
Science girl@sciencegirl
The flow of plastic into the ocean
English

@Jordan_W_Taylor An average adult does with his body what ads tell them to do and what their peers do. The ban is a bit hardcore and should’ve started with banning all tobacco ads and increasing tobacco sales taxes even more. But either way I am happy for the UK
English

I can't agree with this. Smoking may be a grim habit, but what an adult does to their own body is their own choice. This sets a nasty precedent.
Should the state have opinions on other areas of lifestyle, or diet, as well? It's none of their business.
The link is about legislation that's finished drafting in the UK to ban cigarettes for all people born after 2008.
bbc.com/news/articles/…
English
andrii retweetledi
andrii retweetledi

Excitining News! Signal Shot is a public moonshot to verify the Signal protocol and its Rust implementation using Lean.
It is a joint effort of Signal (Rolfe Schmidt), the Beneficial AI Foundation (Max Tegmark), and the Lean FRO.
leodemoura.github.io/blog/2026-4-20…
#leanprover #leanlang
English


New 0-day in Lean just dropped. Your secure software just got borked. All your bases are mine.
kirancodes.me/posts/log-who-…

English

Here's another one: Ghostty's logo rendered as 256 Ghostty splits.

andrii@ynorsk
The new applescript feature in Ghostty by @mitchellh is so cool. I just wish I could configure the divider's width, to make a proper Mondrian :)
English

The new applescript feature in Ghostty by @mitchellh is so cool. I just wish I could configure the divider's width, to make a proper Mondrian :)

English
andrii retweetledi

I will be speaking about #categorytheoryillustrated at ZuriHac!
ZuriHac@ZuriHac
ZuriHac 2026 - Registrations are open! ZuriHac is a completely free, three-day grassroots Haskell coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. zureg.zfoh.ch/register
English


Nobody had heard of @leanprover until recently, and now people are creating specialised models for it. The future looks pretty bright!

English

@noahzweben It seems more like if someone already is a millionaire now has a window to throw their token through :)
English

Who wants to be a millionaire? Now you can be (with tokens).
1M Opus included in Max and up plans!
Claude@claudeai
1 million context window: Now generally available for Claude Opus 4.6 and Claude Sonnet 4.6.
English








