Joined May 2007
94 Photos and videos
Pinned Tweet
May 22
If America doesn't immediately stop H1-B and OPT visa programs, we are going to have a very abrupt employment disaster. Slightly reducing the accelerator 1% right before you smash into a brick wall isn't helpful. We need brakes.
1
3
228
May 22
Started the port of CakeML to WASM
1
3
353
@_@ retweeted
MAGA is far too fiscally liberal, too comfortable with big government, and not nearly pro 2A enough for me. I’m looking for actual constitutional conservatism. 🇺🇸
408
362
3,602
43,940
May 22
Using rust will result in 20% of your code being vulnerable. I'm just the messenger warning you.
Rust Could Eliminate 80% of Linux Kernel CVEs! itsfoss.com/news/linux-kerne…
1
9
1,113
@_@ retweeted
If Russia spent $30M to unseat a congressman we’d never hear the end of it.
274
5,197
40,080
489,532
May 22
My intuition to only use formally proven languages and rigor with AI is correct. Businesses can't rely on slop.
JUST IN: Starbucks retires AI inventory tool across North America after it reportedly miscounted & mislabeled store items.
1
2
6
530
May 21
The "America First" administration is 100% tone-deaf.
May 21
This year’s H-1B season is wrapping up, and we’re seeing great results from @POTUS’ new policies that prioritize America First! Stay tuned for more updates, but here’s what we’re seeing so far: ✅More top talent: We’re approving more applicants with advanced degrees and higher salaries—especially those who studied at U.S. universities. An overwhelming 71.5% of selected aliens hold a U.S. master’s degree or higher, compared to 57% last year. ✅Stronger workforce: These skilled workers are making a real impact on our economy and we’re closing the door on the low-wage and low-skilled foreign labor pipeline approved under Biden administration policies. This year, only 17.7% of all selected registrations were in the lowest wage category. ✅Restoring integrity: The number of properly submitted registrations plummeted by 38.5%, from 343,981 in fiscal year 2026 to just 211,600 in fiscal year 2027. This data is a clear sign that the days of abusing the program with mass, low-wage registrations are over, and that the program is better serving its intended purpose of attracting highly skilled foreign workers and protecting the wages, working conditions, and job opportunities of American workers. More details coming soon!
1
3
273
May 21
Eat The Rich! Unless they move away. :( Slippery bastards! Come back! We didn't have a contingency for $2-3B tax loss! Ppl need to stand still so they can be eaten!
Since the first day Zohran"The Destroyer" took office NYC has lost over 500 businesses to Florida, Texas and North Carolina resulting in a 2.5 billion dollar TAX LOSS to the state.
1
4
253
@_@ retweeted
The illusion that software engineering is just coding existed among non-technical people even before AI. They thought anyone who opens an IDE is a software engineer. Hell, even editing HTML wasn't much different from writing C code. And now that they have AI writing the code for them, the same people think they can replace engineers. AI didn't create the illusion, but it sure as hell amplified it.
AI created the illusion that writing code is all it takes to be an engineer.
36
89
768
65,959
May 21
I'm really happy with my FStar architecture. It's very solid. I have implemented TLS 1.2 & 1.3, from scratch, with formal proofs against RFCs, on top of my invertible-syntax codec library and state machine library. Complete formally proven TLS 1.2/1.3 HTTP server in FStar ☑️
1
8
574
May 21
I'm to the right of America First. America Only.
1
68
@_@ retweeted
When Tucker left Fox News and Candace left the daily wire people said they were done. They were just getting started. Let’s go!
41
134
1,265
14,243
May 21
I like AI as a specification partner. It is good at evaluating the current state of tech, synthesizing positive traits that we like across the field, generalizing what is common, and formulating specs for a new (better) library. I've done this more than 2 dozen times now. 👍
67
May 21
As a human, I can use my clippers with the #1 guide to shave my head with millimeter precision for 0 yen. Also, having a woman cut your hair by hand is worth $$. We don't need to roboticize everything. I don't understand Asians. People will pay for human touch in the future.
🇨🇳 NEW: Chinese cities are rolling out AI-powered robot barber kiosks that scan customers in 3D and cut hair with millimeter precision for just 60 yen per session.
1
1
6
506
@_@ retweeted
🇮🇳🇺🇸 Cisco’s Indian President Jeetu Patel fired 4,000 Americans. While 4,000 American families process Cisco's layoffs, Jeetu Patel is doubling down on 1,570 new Indian H-1B hires. Cisco rakes in billions from American taxpayers, only to fire 4,000 hard working Americans.
839
5,796
11,794
431,052
May 21
I've been learning a ton about seL4 lately. I have my code deployed on it. I'm working on an Erlang/OTP-like supervisor & inter-node message bus. seL4 has 90% of the primitives to make this happen and microkernels are perfect for supervised processes & message passing.
1
8
250