Pinned Tweet
Super stoked to announce beta testing of my latest app for Apple users 🎉
All your battery charge meters in one place! Just hit the link for beta testing
chargedash.app
All your battery charge meters in one place! Just hit the link for beta testing
chargedash.app
3
3
13
3,120
That's a WinForms app. Seriously.
.NET 11 adds a visual styles mode you set with one line on Application. Set it to Net11 and the same Windows controls draw in a modern Windows look, toggle switches and dark mode included. The team plans Net12 and Net13 values to keep up.
Who's ? @loeffelmann #dotnetconf @dotnet
.NET 11 adds a visual styles mode you set with one line on Application. Set it to Net11 and the same Windows controls draw in a modern Windows look, toggle switches and dark mode included. The team plans Net12 and Net13 values to keep up.
Who's ? @loeffelmann #dotnetconf @dotnet
29
14
138
18,383
Remember how you all laughed 3 years ago when I said there wasn’t enough software in the world?
I think we haven’t seen anything yet.
I think we haven’t seen anything yet.
we are entering a renaissance in programming language and runtime research, and a golden age of software testing and verification
it’s time to rewrite all software
11
0
72
2,619
Osprey has formal proofs and symbolic execution built in
ospreylang.dev/docs/proof-wor…
Formal verification is becoming more realistic and we’ll finally get tools that reduce the real likelihood of bugs and inconsistencies
ospreylang.dev/docs/proof-wor…
Formal verification is becoming more realistic and we’ll finally get tools that reduce the real likelihood of bugs and inconsistencies
0
0
0
28
Omfg this is hilarious. Was almost gonna do this port myself 🤣
Microsoft decides on human written Go for typescript 7, makes up some dogmatic justification
Someone comes along, ports to Rust with AI, almost 2x speed up from reports
github.com/oxc-project/ts…
Microsoft decides on human written Go for typescript 7, makes up some dogmatic justification
Someone comes along, ports to Rust with AI, almost 2x speed up from reports
github.com/oxc-project/ts…
22
3
116
19,244
I wish people would realise the word "faster" is relative.
2x speed is 200% of the original speed.
2x faster is 300% of the original speed.
That's why when we say we made something "100% faster" it means it now runs at 2x the original speed.
2x speed is 200% of the original speed.
2x faster is 300% of the original speed.
That's why when we say we made something "100% faster" it means it now runs at 2x the original speed.
1
0
0
23
No. Speedup is the old time / new time. 2x speedup = half the runtime. I didn't say faster.
If I wanted to say that it was 3x the original, I’d say 200% faster
If I wanted to say that it was 3x the original, I’d say 200% faster
1
0
0
13
It’s hilarious how GitHub Copilot will tell you that your Flutter code won’t compile, even though there is a GitHub action job to run the analyzer and do a build that would fail if it wasn’t compiling
1
1
8
481
The analyzer is right there but Copilot doesn’t bother running it. It just hallucinates out of its ass and then leaves those comments on your PR
If a dev tool produced this many false positives, it would e destroyed
If a dev tool produced this many false positives, it would e destroyed
0
0
0
8
As much as the Jensen Huang memes are funny, it smacks of racism and political point scoring
1
0
8
653
Yeah, but I don’t like way anything to do with China has racial undertones that somehow imply anyone connected to China is somehow a threat to the USA. And one side of politics seems to be so intent on dunking on Huang, who they see as their enemy, that they bring racism in.
1
0
1
29
Finally created the Osprey Youtube and X accounts. Like, follow and subscribe appreciated 🙏
x.com/ospreydev/stat…
x.com/ospreydev/stat…
This tutorial shows you how to build an app that casts MP3 audio to your TV with algebraic effects. Like and subscribe for more Osprey content
youtu.be/bwaDoJf0DNM
0
2
4
352
I added C support to Deslop and added walkthrough videos on each of the docs pages. This really helps to show you how Deslop works. This is the one tool you absolutely need in the AI era
deslop.live/docs/research-…
deslop.live/docs/research-…
0
3
3
379
to write a compiler. By 4.5 it was becoming accurate and Opus 4 could handle compilers easily.
What bothers me is the dismissive attitude in the recording that wasn’t paying attention to the trajectory of AI…
What bothers me is the dismissive attitude in the recording that wasn’t paying attention to the trajectory of AI…
1
0
0
39
Now, typescript is in a predictable mess with no standard compiler. But I guess having multiple compilers could actually be a reasonable thing and might actually be healthy
0
0
0
37
In what sense is the TS team making something half baked?
The way I see it: the TS team makes the language with an official reference implementation. Anyone can make a clone, but making the original takes more effort.
The way I see it: the TS team makes the language with an official reference implementation. Anyone can make a clone, but making the original takes more effort.
1
0
0
19
They refused to use AI and insisted on Go and the result was that it was slow. We don’t know why it’s slow yet, but they should have done some prototypes with ai right at the beginning
1
0
0
18
This may constitute the dumbest decision @AnthropicAI has ever made, and they have made many very dumb decisions.
with this, i think it's quite likely that anthropic will never publicly release (or at least not in the coming months) a model more capable than opus 5.5 at llm training
1
1
22
3,431
It’s most likely a response to the massive anti ai sentiment and fear that’s growing in the USA
But it’s just so futile to decapitate anything right now. The only thing they might achieve is their top position
But it’s just so futile to decapitate anything right now. The only thing they might achieve is their top position
0
0
1
24
Google released cross-platform framework stats, and the RN community asked why Expo’s stats weren’t added to React Native’s own.
Google clarified: Expo was already included.
Now months later, Expo is building a faster cross-platform framework… in Rust. 😂
Google clarified: Expo was already included.
Now months later, Expo is building a faster cross-platform framework… in Rust. 😂
おお、Expo が AI エージェント前提で、Web・macOS・iOS・Linux のネイティブアプリを1つのコードで作れるクロスプラットフォームのランタイムを作ってるらしい👀 github.com/expo/exact
7
0
43
6,848
Every man and his dog is building a new UI toolkit on faster languages now. Here’s mine
ospreylang.dev/docs/osprey-na…
ospreylang.dev/docs/osprey-na…
1
0
1
240
PSA: If your system is building stuff slowly, do not be afraid to chop it all down with the edge of your hand, and rebuild from first principles.
1
0
2
245
