@_binary_search

Trying to learn Spanish and doing some triathlon in my free time, sometimes simultaneous.

 Bélgica
github.com/iwankaramazow/
Joined March 2018
  • Tweets1K
  • Following337
  • Followers511
110Media
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
Building TScert: TypeScript based on a formally verified core, one feature at a time. @typescript made smart, pragmatic tradeoffs on a very hard problem. With unlimited agents, those tradeoffs can be revisited. First milestone: TScert verifying its own front end, which uses the TypeScript compiler's libraries. 189 functions out of 499 verified so far.
2
3
52
3,560
Replying to @vboykis
@vboykis writings.stephenwolfram.com/… Somehow, I felt like I was reading your blog. Many parallels.

What’s the Future for Pure Math Research in the Age of AI?

Stephen Wolfram chimes in about the future of pure math and AI based on his unique perspective of language creator and scientific researcher.

writings.stephenwolfram.com
1
84
Replying to @antirez @GoneChaos1 @mitsuhiko
Does it matter that C is less verifiable?
16
Replying to @_chenglou
It's already tomorrow in my timezone.
1
157
Replying to @_chenglou @WisprFlow
I'm on Spokenly + Nvidia Parakeet Tdt 0.6B V3 and seems to be doing the job
1
84
Replying to @bsansouci
End of an era.
1
7
Replying to @bsansouci
@grok what do you think?
1
43
Replying to @_chenglou
@grok explain
1
1
48
Replying to @_chenglou
Same article, printed out with every device in a different room*
1
78
Replying to @_binary_search @bsansouci
But yes, it’s very hard to compare. Feels like everything’s more or less is the same nowadays.
21
Replying to @bsansouci
Skill issue
1
1
25
Replying to @Sander_Spies
So life is a pure function
37
Replying to @bloodyowl
Yes 🥲
51
Replying to @_chenglou
“Diagnose with data, treat with design”
93
Replying to @vboykis
Keep these Sunday impulse buy tweets going. Thx.
1
96
Replying to @ryyppy
rm -rf'ing the backlog once a year is blissfuly liberating though. Good for the soul.
2
78
Replying to @vboykis
@vboykis
1
1
165
Replying to @thekitze
chenglou.me
79
Replying to @_chenglou @bsansouci
Oui mais Vivre près de la Belgique 🥳
1
158
New JS calendar
284
Load more