Travis Whitaker (hs/acc)
@TravisMWhitaker
Followers
4K
Following
62K
Media
114
Statuses
4K
I am weaponizing Haskell and Nix.
Costa Mesa, CA
Joined November 2008
If you need to use gRPC with Haskell, please check grapesy: The focus of this project was protocol correctness coupled with the ability to tolerate troublesome peer implementations.
2
6
72
If this guy learns Haskell in 6 weeks and is willing to relocate to OC, he can work on my team at Anduril.
@ArmandDoma @VivekGRamaswamy It isn't about the credential. I'm obviously super smart and know how to work hard. If silicon valley is desperate for workers they would be trying to poach me right now. Also, you don't need to get a college degree to learn to code. I learned ancient Greek in 6 weeks. It's a.
238
161
5K
It is absolutely necessary to do code screens with guys like this.
85
57
4K
macOS’ internals are a much better piece of engineering than Linux. And the NT kernel is much better than both of those Unix slop troughs but you guys aren’t ready for that conversation.
119
77
2K
> Almost every important piece of software from the last 10 years uses Go:. - list of the most insufferable slopware ever.
Go is the programming language of the internet and the modern era. Almost every important piece of software from the last 10 years uses Go:. - Docker.- Kubernetes.- Terraform.- Prometheus.- Grafana.- Lets Encrypt.- CockroachDB.- etcd.- Ethereum.- Vault.- Packer.- Caddy.
48
32
1K
100% powered by Haskell.
Introducing Pulsar — a first of its kind family of software-defined electromagnetic warfare (EW) systems that utilizes AI at the tactical edge to rapidly identify and counter new threats in hours or days, not months or years. Threats are evolving faster than ever before — a cat
52
58
1K
If you think:. int x = ….unsigned int y = ….x > y. should pass the type checker, you are part of the reason why all the software is so bad.
44
35
942
I don’t get the H-1B drama. Two things can be true at once. More than 5 of the top 10 SWEs I’ve worked with weren’t born in the US. I want them for work for American companies. Simultaneously, having H-1B janitors/accounting interns/etc. seems questionable. What am I missing?.
53
11
487
@texas_hodlr That, plus a lot of “open source contributor” cooommitters aren’t that good at writing code.
9
0
452
Absolutely not. Specialize in one of:. - ME.- EE.- software. If you must do “robotics” learn linear systems and modern control theory (especially geometric controls).
If you’re a guy in your early 20s, start learning robotics. Go in depth if you have to.
22
18
378
Don’t hate me but why is pardoning Ross Ulbricht a good thing?.
232
4
361
@tricyclic02 @JeremyTate41 > set theory.> silly. This is why much more math curriculum is needed.
3
2
350
Going to use Haskell to remotely detonate this guy’s pager for saying this.
The only thing Haskell is good for is parsing text.
11
7
350
Learn Haskell. Come weaponize Haskell at Anduril.
Say you graduated last year with your CS bachelor’s. No internships during school. Been doing lots of job applications, got some interviews but no offers. Grinding leetcode + side projects all the while. Do u keep pushing on? Start looking at non-swe roles? What’s ur next move?.
27
6
330
Legendary bait.
8
1
312
Why do so many photogenic young women like my schizo Haskell tweets exactly 100 milliseconds after I click “Post?” 🤔.
39
2
281
@LottoLabs I’m very thankful for the work @IOHK_Charles funds, we use a lot of stuff that IOG has open sourced.
6
36
270
I found out. The sentencing judge was batshit crazy.
Don’t hate me but why is pardoning Ross Ulbricht a good thing?.
12
7
255
Growing up is realizing that the software is bad because other people really, really want it to be bad.
Instead of admitting defeat and using Rust's "?" Golang developers would rather write code like this:
10
11
228
Sober driving is better for large vehicles if your driver is mediocre or weak. Drunk driving is far superior for a strong driver. If you think sober driving is better, then there are huge improvements you can make in how you get around.
Static typing is better for large codebases if your development team is mediocre or weak. Dynamic typing is far superior for a strong team. If you think static typing is better, then there are huge improvements you can make in how you structure your code and how you test.
7
24
215
My Haskell team at Anduril Industries is accepting applications for Summer 2025 internships. Please apply here:.
16
20
214
> Waaah I can’t find an entry level job. Post your GitHub nerds.
Surprised that people still think a high GPA is the golden ticket to a good engineering job. Completing the coursework and getting good grades checks a box, but the real proving ground is in your projects and internships. For software this is best demonstrated on GitHub.
10
3
165
@bayesalgo The people who made the open source stuff you use aren’t guaranteed to be a good fit for your team.
6
0
163
This attitude explains my experience with the Ramp product.
a backend engineer can’t be a frontend engineer but a frontend engineer can easily be a backend engineer 🤷♂️.
3
0
157
I remember people I worked with ~7 years ago citing this guy’s work when explaining why Nix/NixOS was unnecessary for what we were doing/incidental reproducibility was fine/just use golang for everything and deploy containers everywhere/etc.
I can now reboot my NixOS machine into my choice of Gnome, Plasma, Hyprland (all Wayland), or i3 (X11). They all share a common NixOS config so I have my programs, dot files, etc. I can't imagine Linux desktop application development without this, and it's hard to imagine doing.
8
4
153
Arguing with Turkish high school students on this website about the errors of Rust and Islam is my most effective recruiting strategy by far.
7
1
148
Why are Anduril job posts auto-removed from the Haskell subreddit? 🤔.
9
1
148
Super weird that so many of the people who want Anduril banned from NixOS and Haskell are super mad about this. I hope Linus removes Chinese communists next.
Several Linux Kernel Driver Maintainers Removed Due To Their Association To Russia.
10
3
141
@redacted_io I have learned to tolerate extremely effective assholes. If this guy is as good as he says, shouldn’t be a problem.
3
0
139
Recently extended an offer to a Haskell+Futhark engineer. Going to interview a dude who cooked his own ADS-B demodulator in plain Haskell soon. The kids are alright.
3
2
137
Working on it. .
OCaml is being used by Jane Street so heavily that they added their own extensions to it including better rust-like memory management and a new web framework. When will haskell ever see this type of glory?.
2
2
136
@mycodendral Are you able to work in the US? If so, make an NTSC demodulator in Haskell and send it to me.
7
2
129
@tricyclic02 @JeremyTate41 If you aren’t convinced, try to define the notion of the limit of a function in terms of Euclid’s definitions.
4
0
124
@archived_videos Which part of this do you feel is hyper-inflated? There are very few people who hit literally all of these, but that’s obviously not necessary to start (if that’s not obvious we need to rewrite this).
9
3
116
Being born in the United States is so OP.
15
1
113
@baazaa9 He can. I’m the hiring manager and can hire anyone qualified to work in the US I want.
7
0
109
The rush of getting VHDL working is 10x as good as getting Haskell working.
15
1
111
@raymondedwards @SudokuRandych @texas_hodlr It’s because their commits don’t give me enough information about how they’ll perform on my team.
7
1
110
Like this:.
How do you defend against this?. (not a rhetorical question. ).
10
3
111
@calbch @HSVSphere Most Anduril products have some core infra services that are still in Haskell. Over the past three years I’ve consolidated all of the Haskell talent on the electromagnetic warfare team. We build all of Anduril’s RF-based weapons systems. All of the code we ship is Haskell.
2
2
101
Tired: arguing with family on thanksgiving. Wired: arguing with:.- Haskell heretics.- Rust users.- OCaml users.- Wildberger ultrafinitists.- the Turkish kid.on on thanksgiving. Deo Gratias 🙏.
4
1
102
There’s way too much jabbering about boring web bullshit and not nearly enough about RTL design. Shut up about frameworks and learn VHDL.
7
2
98
@graninas C’mon dude this is bullshit. My team has doubled every year for the past three years with no sign of stopping. But intel asset Lex not putting it on his assorted list means it’s dead?. Your work is great. Quit saying stuff like this and do great work in Haskell.
9
1
97
@unclebobmartin Dude, read a programming languages textbook. This one contains a clear discussion of the formal refutation to your claim in the introduction. Church and Curry proved the opposite of what you’re saying before there were computers.
1
9
89
This is my cat Kirbo. I found him in the storm drain last summer. What kind of cat is he?
22
1
93
@tricyclic02 @JeremyTate41 Can you describe what’s here that’s more foundational than set theory?.
1
0
94
@HSVSphere It gets old fast, especially at work. Getting to work with people who are smarter than you is extremely rewarding. Actively seek out situations where you aren’t the smartest person in the room. It’s a super fast way to get good.
2
3
92
Gained an invaluable piece of feedback from internet bullies the past couple days: my face looks fat. Send me the best mewing regimen so I can get that chad jawline next year boys. Also got to lose a lot, I’m almost as fat as my face in my pfp after Christmas.
30
0
90
My Haskell team at Anduril is once again hiring for full-time on-site roles at our headquarters in Costa Mesa, California. Please drop me a line at travis@anduril.com if you're interested, as well as applying to our online portal here:.
6
10
88
Not using Haskell.
What is the most annoying convention in programming?.
6
4
84
No, poking fun at censorious dictatorships is good, actually.
Hard to express my contempt for people who do this. You are given magic – and only try to expose the magician for following the law of his kingdom?.> 49 messages left today.So the Tiananmen thing is literally his #1 question to a reasoning LLM. What base absence of curiosity.
6
3
87
All of my Haskell followers must convert to Catholicism. All of my Catholic followers must learn Haskell.
16
1
82
There’s an exception for FPGA tooling. Everyone is allowed to complain about that, and it’s impossible to fix.
You don’t want to work with Software Engineers who constantly complain about bad tooling or non beginner-friendly languages. They’re too cobbled to do real work anyway.
6
3
85
Can someone please direct me to the ultra discount Haskell green card coal mines so I can partake?.
6
2
82
Hahaha. My post announcing this on r/haskell was removed within minutes.
My Haskell team at Anduril is once again hiring for full-time on-site roles at our headquarters in Costa Mesa, California. Please drop me a line at travis@anduril.com if you're interested, as well as applying to our online portal here:.
8
1
81
Incredible work. It doesn’t matter how high level your implementation language is. Understand how the machine works.
FFmpeg assembly lessons are now hosted on GitHub:.
1
0
83
Going to use this argument if anyone ever finds a memory leak in my code. The processor has no notion of words being on the heap.
@ididadev @TravisMWhitaker there isn't. the processor has no notion of words having a type.
6
1
74
At this point in my career, the claims made in this blog post are as true to me as Maxwell’s equations.
4
2
72
@0xblacklight Yes. It’s way better. There’s no “everything is a file” lunacy. The syscall API is much more sane.
3
0
73
Corollary of the first: one of the most annoying parts about recruiting at Anduril is all of the foreign talent I don’t get immediate access to.
4
0
70
Part of the contention seems to be that a subset of the anti-DEI people were actually pro-white-DEI people. And a subset of those people just really hate Indian-Americans.
7
4
65
If you want to be code screened by my team please apply below:.
6
0
69
@PavelSnajdr One big advantage is that junior Haskell people tend to not have the learned helplessness mind disease that most people under 30 seem to have.
8
1
68
This is a hard teaching not many can accept.
The concept of "cybersecurity" as a career, in most cases, should not exist.
10
4
65
If the choice between these isn’t obvious you’re ngmi.
4
1
64
seriously tho, global variables are fine.
4
3
66
Wtf how does this guy work at the same company as SPJ….
Sum types in general aren’t great.
4
1
66
Deeply based. The practical lack of ctor/dtor fusion in C++ causes problems like this all the way down to the allocator. Haskell 🤝Rust.
*If* Stroustrup said this he's wrong. Nearly everybody benchmarks the cost of virtual functions incorrectly. Not inlining can prevent almost any other optimization, including realizing that operations cancel and no call is necessary at all. 1/4.
5
2
63
@IKnowSoftware @archived_videos 2 YOE is approximate minimum. New grad with relevant project experience/internship would do very well.
1
1
60