Mike

598 posts

Mike

Mike

@mike_the_brain

https://t.co/6N70qq6dNn Shipposting. FAFO Building useful products in public at https://t.co/NETpCJR7ni.

Katılım Kasım 2023
118 Takip Edilen43 Takipçiler
Mike
Mike@mike_the_brain·
@yasser_elsaid_ are credentials here about having authority (being widely recognized to be good at something?) or just pure skills?
English
0
0
0
369
Yasser
Yasser@yasser_elsaid_·
my contrarian first-principles take after 1 month in sf: - taste is the new bottleneck - being high agency is orthogonal to credentials - the only non-trivial leverage left is shifting the overton window stochastically via the irl connection economy.
English
90
21
700
164.1K
Mike
Mike@mike_the_brain·
@thekitze how can you generate stuff with faces, though? is this chinese version of seedance?
English
0
0
0
324
Mike
Mike@mike_the_brain·
@fcoury question: why do homebrew versions of codex arrive so late?
English
2
0
13
10.5K
Felipe Coury 🦀
/goal also lands in Codex CLI 0.128.0. Our take on the Ralph loop: keep a goal alive across turns. Don't stop until it's achieved. Built by my co-worker and OpenAI mentor Eric Traut, aka the Pyright guy. One of the GOATs I get to work with daily.
English
168
238
3.5K
845.3K
Szymon Rybczak
Szymon Rybczak@SzymonRybczak·
i’m flying to Poland today for final high school exams next week 🫣 back in San Francisco in two weeks 🇺🇸
Szymon Rybczak tweet media
English
11
0
101
4.6K
Mike retweetledi
Amjad Masad
Amjad Masad@amasad·
It's honestly impressive that GitHub kept the service up at all, given this kind of growth. I predicted this years ago: Free services will become untenable with the advent of human-level bots. Worth exploring micro-payments: Even cents per git push might be enough to reduce spam and make this sustainable. Maybe powered by Bitcoin to keep this open and accessible (as opposed to KYCing users).
Amjad Masad tweet media
Mitchell Hashimoto@mitchellh

Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. mitchellh.com/writing/ghostt…

English
108
87
1.5K
264.2K
Mike
Mike@mike_the_brain·
@AmpCode These start being really annoying: Error thinking: Input tag 'adaptive' found using 'type' does not match any of the expected tags: 'disabled', 'enabled'
Mike tweet media
English
0
0
0
31
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
Name something you can say both during sex and while writing C++
English
624
41
1.7K
629K
Mike
Mike@mike_the_brain·
where is gpt 5.5 kurwa
English
0
0
0
263
Mike
Mike@mike_the_brain·
@charlieholtz what's under the hood? electron, tauri or native?
English
1
0
4
2.1K
Charlie Holtz
Charlie Holtz@charlieholtz·
We've re-built Conductor from scratch to make it twice as fast. Creating tabs, switching workspaces, and rendering files are all 50% faster, memory usage is lower, and the app is 150 MB smaller. Introducing Conductor Allegro!
English
167
63
2K
227K
Mike retweetledi
𝕮𝖍𝖆𝖗𝖑𝖞❤️‍🔥
the ADHD urge to use parentheses in every sentence (because every thought comes with bonus thoughts (and those have bonus thoughts too))
English
313
12.1K
68.1K
1.3M
Mike
Mike@mike_the_brain·
@haki_xer "All systems running"
English
1
0
0
691
Haki
Haki@haki_xer·
Be honest, does this look vibe coded and if yes why?
Haki tweet mediaHaki tweet media
English
131
3
97
23.8K
Mike
Mike@mike_the_brain·
@valigo I live in DWORD, such a nice city, way better than SZCZECIN
English
0
1
8
454
Valentin Ignatev
Valentin Ignatev@valigo·
Let's play a game - win32 types vs Polish language: LPCWSTR PSZCZYNA WCSLEN WCZESNY LPCTSTR BYDGOSZCZ WSTRZAS HGDIOBJ DOWOD HWINSTA DLUGOSC LPCSTR DWORD KAL LPWSTR SZCZECIN PCWSTR BLAD PUHALF CHUJ UHALF
Polski
259
980
10.9K
476K
Mike
Mike@mike_the_brain·
@valigo KAL is hard one
English
0
0
1
156