Marius Nohr (@marriz) header
Marius Nohr (@marriz) profile picture

Marius Nohr

@marriz

hmm

Joined January 2009
  • Tweets368
  • Following117
  • Followers178
26Media
Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)Photo by Marius Nohr (@marriz)
wow, this is super interesting. never thought about using lean and tla+ this way 🤯
Boris Cherny (@bcherny) profile pictureBoris Cherny
@bchernySep 22
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?
41
IT'S COMING HOME
Petter Northug Jr (@PetterNorthugJr) profile picturePetter Northug Jr
@PetterNorthugJrJul 7
Football’s coming home 🇳🇴🫶
47
Very much cope in this thread 😂
Erik Dale 🇳🇴 (@EuroDale) profile pictureErik Dale 🇳🇴
@EuroDaleJul 8
We do.
Image from Erik Dale 🇳🇴 (@EuroDale)
3
410
The best prediction so far
Solomon🇳🇴 (@_sol_omon) profile pictureSolomon🇳🇴
@_sol_omonJul 8
Norway 🇳🇴 path to the 2026 World Cup; Quarter finals; 🏴󠁧󠁢󠁥󠁮󠁧󠁿 0 - 2 🇳🇴 Semi finals; 🇦🇷 0- 1🇳🇴 (or ends a draw 🇳🇴 go through) Finals; 🇲🇦/🇪🇦/🇫🇷/🇩🇪 0 - 1 🇳🇴. End.
1
47
BREAKING: Trump is now calling Infantino to request for the removal of Belgiums goals in yesterdays match
1
64
You might not know this but CVS actually existed
atharv (@notathrv) profile pictureatharv
@notathrv8 Nov 2025
how tf did this guy create git, without using git!
Image from atharv (@notathrv)
79
a brain aneurysm?
tom ッ (@tom_antok) profile picturetom ッ
@tom_antok7 Nov 2025
What would this code return?
Image from tom ッ (@tom_antok)
45
Notorious C = 2 PI r
Image from Marius Nohr (@marriz)
25
All of the above
Sarabjeet singh (@Sarabjeet___) profile pictureSarabjeet singh@Sarabjeet___17 Oct 2025
Delete 2 apps • Instagram • Snapchat • Twitter (X) • WhatsApp • Facebook • Spotify • YouTube
12
lol
kitze 🛠️ tinkerer.club (@thekitze) profile picturekitze 🛠️ tinkerer.club
@thekitze13 Oct 2025
so in one day, among working on 134981 other things, gpt-5-codex on high helped me 1. move my blog from pages to app router 2. migrate from chakra ui 3. move the usage of kitze ui from dependency to shadcn registry and it's live in production already we. live. in. times.
14
Totally agree with this sentiment
Gabriel (@gbrl_dick) profile pictureGabriel
@gbrl_dick12 Oct 2025
i will say that i expected a cambrian explosion of custom software and passion projects that hasn’t really materialised.
1
32
Coffeescript <3 or you can just use a good linter with javascript
Kritika (@kritikakodes) profile pictureKritika
@kritikakodes12 Oct 2025
Any programming language that doesn't use semicolons? 🤔
9
people of twitter, i don't see color. i see btc
2
16
Let me know what features you miss 🫡
6
shower is the best debugger
Vlad Mihalcea (@vlad_mihalcea) profile pictureVlad Mihalcea
@vlad_mihalcea12 Oct 2025
Sleep is the best debugger.
10
if this post gets 100 likes, i'll stop pretending python is a good language for machine learning
9
too accurate
justin (@justinsunyt) profile picturejustin
@justinsunyt12 Oct 2025
sf is a bubble go outside, no one gives a shit about your b2b saas
33
Penflow.ai lacks a number of features, but what i've seen in other competitors, it's not going to be that hard to create them. i also think i can gain an advantage at some point. with custom objects that just create themselves

Penflow - Write better using the power of AI

Penflow is an AI powered tool for writers who want to write better, faster and more creative using AI.

penflow.ai
11
Backbone <3 Coffeescript. Actionscript. FaxJS
Kent C. Dodds 🐨 (@kentcdodds) profile pictureKent C. Dodds 🐨
@kentcdodds13 Oct 2025
I worked on a backbone application back in the day that had over 500k lines of code. In backbone, when you update the model or other state you have to trigger an update manually. Manually triggering updates was an issue for me exactly 0 times.
17
Yup. It's called competition
Nizzy (@nizzyabi) profile pictureNizzy
@nizzyabi12 Oct 2025
everyone’s building the same thing and it’s really freaking weird
17
Load more