Travis Whitaker (hs/acc) Profile
Travis Whitaker (hs/acc)

@TravisMWhitaker

1,382
Followers
702
Following
36
Media
2,345
Statuses

I am weaponizing Haskell and Nix.

Costa Mesa, CA
Joined November 2008
Don't wanna be here? Send us removal request.
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
100% powered by Haskell
@anduriltech
Anduril Industries
4 months
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
83
287
2K
53
58
1K
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Learn Haskell. Come weaponize Haskell at Anduril.
@lightxvision
light
4 months
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?
315
74
2K
27
8
333
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@LottoLabs I’m very thankful for the work @IOHK_Charles funds, we use a lot of stuff that IOG has open sourced.
6
35
271
@TravisMWhitaker
Travis Whitaker (hs/acc)
24 days
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.
@nathanmarz
Nathan Marz
25 days
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.
115
19
165
7
27
222
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Tweet media one
6
3
104
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
@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
10
95
@TravisMWhitaker
Travis Whitaker (hs/acc)
11 days
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
11
89
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Not using Haskell
@craciun_07
Daniel Craciun
4 months
What is the most annoying convention in programming?
13
0
18
6
5
85
@TravisMWhitaker
Travis Whitaker (hs/acc)
11 days
Hahaha. My post announcing this on r/haskell was removed within minutes.
@TravisMWhitaker
Travis Whitaker (hs/acc)
11 days
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
11
89
8
1
83
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@milktoastrat I have zero tolerance for bugs.
4
3
46
1
0
65
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@theBrogrammar We use Haskell.nix to build everything. All of the boards in the box boot NixOS.
4
1
53
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@milktoastrat I have zero tolerance for bugs.
4
3
46
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@lightxvision 100% real, please drop me a line at travis @anduril .com
3
0
43
@TravisMWhitaker
Travis Whitaker (hs/acc)
10 days
@NigelHiggs7 Try to build something end-to-end, even if it’s a toy project. For our team the most important fundamentals are probably interaction with foreign code (FFI) and software transactional memory (STM). Read @simonmar ‘s Parallel and Concurrent Programming in Haskell.
4
2
40
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@PowPadres27 @LottoLabs @IOHK_Charles > “it’s too hard” Get good or get out.
0
4
38
@TravisMWhitaker
Travis Whitaker (hs/acc)
6 months
What zero Nix does to a mf
@MatthewBerman
MatthewBerman
6 months
Seriously considered buying a new laptop today because my python environment is completely broken. I tried uninstalling everything python-related and...couldn't. I've been programming for 25 years. This is so sad.
453
39
1K
0
2
28
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@seanbax We can and we will.
1
0
28
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@nitishpkulkarni Because if my shit doesn’t work people die.
4
0
28
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Anduril is hiring Nix engineers if anyone is interested in getting paid to fill any gaps left by departures like this.
@jdegoes
John A De Goes
4 months
Today, a contributor walked away from @nixos_org because they failed to condemn @anduriltech . The main lesson here is don't play these games. Kindly but firmly, and early, make it clear you don't allow politics into your OSS. "We don't do that here"
9
7
66
5
3
27
@TravisMWhitaker
Travis Whitaker (hs/acc)
9 months
@luke_pighetti Protobuf sucks.
2
0
27
@TravisMWhitaker
Travis Whitaker (hs/acc)
10 days
@NigelHiggs7 This is a real difficulty when it comes to Haskell. When I was fortunate enough stumble into my first Haskell role by sheer luck, I was taken aback by the gulf between book/blogosphere Haskell and the dirty work of building real software with it.
2
0
26
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Now do Haskell
@supahvee1234
Vittorio Romeo
4 months
The C developer brain cannot comprehend this 🤯 Modern C++'s compile-time safety and readability, with negligible compile-time and zero run-time overhead. Literally cannot compile a program with bugs 😏 RT and tag your favorite C developer or anti-C++ apologist! #cpp #gamedev
31
29
353
2
1
26
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
Use Haskell or perish.
@Perpetualmaniac
Zach Vorhies / Google Whistleblower
2 months
Crowdstrike Analysis: It was a NULL pointer from the memory unsafe C++ language. Since I am a professional C++ programmer, let me decode this stack trace dump for you.
Tweet media one
3K
22K
103K
3
0
24
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@Cennydavidsson
Cenny Davidsson
4 months
The blind faith people have in static typing is ridiculous You still need the same amount of tests regardless of type system. Static typing cannot capture behavior, but tests can! Why is this a debate even?
55
7
109
3
1
24
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@dae5id Now get good.
2
0
23
@TravisMWhitaker
Travis Whitaker (hs/acc)
18 days
Come to the Anduril guest lobby.
@tritlo
matti palli 🧙‍♂️
18 days
We should set up some "guided walking tours" of select software/hardware projects as tourist destinations. I'd love to show people the amazing things we've built (and visit some myself). Who's building this?
5
1
30
3
2
23
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
ngmi
@ImLunaHey
luna
2 months
why do people still have this misconceived idea that programming requires maths?
Tweet media one
146
38
1K
1
0
20
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
> As a dev, you’re supposed to be in control here. ;) Going to start saying this to people at work who use shitlangs every time I find one of their bugs.
@janetacarr
Janet A. Carr
4 months
@locallycompact Why do you need to prove things to the compiler? As a dev, you’re supposed to be in control here. ;) Tests don’t only provide counter examples though; Test cases should test expected functionality and how to handle faults Style can communicate a lot through idioms, convention,
10
0
15
3
1
20
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@ezyang “I need total control of memory allocation and data layout for optimum performance!” Their code: shared_ptr<shared_ptr<shared_ptr<…>>> Arc<Box<Arc<Box<Arc<Box<…>>>>>>
1
0
19
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
1
0
19
@TravisMWhitaker
Travis Whitaker (hs/acc)
3 months
@zimbatm Jon Ringer’s ban.
Tweet media one
1
1
18
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 months
Use Haskell
@housecor
Cory House
5 months
Challenge: Name something that a software developer should *always* do. Is there a single practice that always applies? "Write tests". Not always worth it. "Do code reviews". May pair instead. "Set up a CI server". Overkill when working alone. I can only think of 2 practices
318
34
602
2
0
19
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Hahahaha. Thinking clearly and actually knowing math wins again. Reminds me of NNAEPR
@predict_addict
Valeriy M., PhD, MBA, CQF
4 months
Turns out, a simple sum operator might just render #deeplearning obsolete. Solid math-based ideas are proving once again to outperform gimmicks. #kolmogorovarnoldnetwork
Tweet media one
83
228
3K
0
1
19
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@Louis_Alexis10 Next step: get good.
1
0
18
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
@int_index Build embedded systems. No frontend necessary.
5
0
18
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
1
1
16
@TravisMWhitaker
Travis Whitaker (hs/acc)
9 days
Would you guys join a Functional Programming War Criminals space? @therishidesai can host.
8
0
18
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
95% of all software being written right now would be best written in Haskell. The remaining 5% should be written in Rust.
@samjarman
Sam Jarman
5 years
Please quote this tweet with your most controversial opinion about software development
43
8
61
2
2
16
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
You can just use good languages. You don’t have to do this anymore.
@p1xelHer0
pontus 🔺🐦‍⬛
4 months
One thing I don't get about C vs C++ is that I hear "bro just use C++ like 'C with classes'!" Classes, really!? People unironically use them? 😎
4
0
20
3
0
16
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
@skillsmatter hasn’t made this clear… but does my guess that @jdegoes is being no-platformed for his stance on not-no-platforming at his own events hold water?
@skillsmatter
Skills Matter
5 years
In response to our community’s concerns regarding Scala eXchange.
Tweet media one
Tweet media two
70
13
144
0
0
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Tweet media one
1
0
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
1 year
@TrungTPhan
Trung Phan
1 year
This is what AI thinks Napoleon would look like in the year 2023
Tweet media one
835
491
10K
2
1
16
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Look how the children yearn for the higher-order typed functional ordnance. The kids are going to be all right.
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Learn Haskell. Come weaponize Haskell at Anduril.
27
8
333
1
0
15
@TravisMWhitaker
Travis Whitaker (hs/acc)
10 days
The new 13 inch @FrameworkPuter is extremely good. Best non-Mac I’ve used since my old i7 modded Thinkpad X61. An Nvidia option on the 16 inch model for CUDA work would be a game changer. Linux on a laptop still totally blows in 2024 though.
3
1
15
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
based
@GabriellaG439
Gabriella Gonzalez
2 months
I wrote a post arguing that predictable work and estimates are actually a red flag for software engineering
14
68
305
1
0
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Much appreciated sanity from Eelco.
4
3
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 years
@preslavrachev if err != nil if err != nil if err != nil if err != nil if err != nil
2
0
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
8 years
Scrap Your Constructors: Church Encoding Algebraic Types
0
6
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
This is just false.
@carmguti
carmen
4 months
in many fields (math, physics, etc) operating at the highest level usually means using the highest abstractions. but in cs, it’s the opposite. high level operators usually prefer lower abstractions “closer to the metal”. our best are still writing in C. why the discrepancy?
326
67
2K
0
0
14
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@renzocarbonara Haskell is the best systems programming language.
0
1
13
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
It’s over declarative bros.
@IroncladDev
IroncladDev 🔩
4 months
Unpopular opinion: I wouldn’t consider front end development as programming You’re telling a browser what to render Not actually telling a computer what to do
213
12
338
1
0
13
@TravisMWhitaker
Travis Whitaker (hs/acc)
24 days
0
0
13
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@oshtim We should open source our Haskell SigMF implementation.
1
0
12
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 months
Successful Haskell businesses. You love to see it.
@ProgrammerDude
Arian van Putten
5 months
My name is in today's NYT 🤯
3
0
21
1
0
12
@TravisMWhitaker
Travis Whitaker (hs/acc)
16 days
ngmi
@hot_girl_spring
⁎⁺˳✧༚ 𝚗𝚊𝚗𝚊𝚖𝚒 🎀
16 days
As a coder, which do you prefer using? ✅For loop ✅While loop
273
3
320
0
0
12
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
Brain damage
@falconerd
Dylan Falconer
2 months
Several generations of programmers have been taught the OOP mindset It's very hard to unlearn "Should a rectangle draw itself?" "Should I create a Manager class to manage my Manager classes?" These types of questions are so far beyond a waste of time it's absurd
46
43
551
0
0
11
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
So thankful for @dhall_lang . Was able to template away all of my CI YAML for testing packages against many GHC versions/stackage snapshots via Nix, during one 3 hour plane flight.
2
2
12
@TravisMWhitaker
Travis Whitaker (hs/acc)
26 days
Gigabased
@kerckhove_ts
Tom Sydney Kerckhove
28 days
I'll make this even spicier: We programmers have a moral obligation to use static types when programming in the same way the we have a moral obligation to abstain from alcohol when driving.
6
4
41
1
0
11
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@PurpleWindowDev Most software doesn’t matter. Consumers accept horrible bugs, so it’s cheaper to have 1,000,000 monkeys banging on typewriters. I’ve had the good fortune of spending my career in industries where correctness actually matters.
0
0
9
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
I call this “fear driven development.”
@kerckhove_ts
Tom Sydney Kerckhove
2 months
If you think it's a good idea not to touch it because it works, you have a very fragile system and you should start touching it much more.* You want a system that gets more stable by touching it, not less stable.
4
2
21
1
0
11
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
Glasgow Haskell is valuable _because_ it is a laboratory for new language ideas, not in spite of it.
@HaskellLibHunt
Haskell LibHunt
5 years
Some arguments against small syntax extensions in GHC
0
1
4
0
2
11
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
This is so right.
@CarlHedgren
Herr DC Lange
4 months
@lambdapriest "but what about hiring" Is a huge red flag. It means the org don't think they are the masters of what they do and mostly focus on labour arbitrage.
5
4
17
4
1
10
@TravisMWhitaker
Travis Whitaker (hs/acc)
1 year
@domenkozar @PalmerLuckey Path forward is obvious: reverse this mistake and apologize.
0
0
9
@TravisMWhitaker
Travis Whitaker (hs/acc)
1 year
@domenkozar @PalmerLuckey Big fan of your work but what you’re saying here is complete gibberish.
0
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 years
Sick, Cloudflare doing Haskell.
@Cloudflare
Cloudflare
4 years
Let's build a Cloudflare Worker with WebAssembly and Haskell.
4
35
79
0
2
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
@TheOlegarchy Remember that no matter how far you climb up the Haskell mountain, @kmett is already at the top, shoveling to make the mountain even taller. Don’t get discouraged!
0
0
9
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 years
Messing around with @jtdaugherty 's brick (), making a macro editor for the @kinesisergo Advantage2.
Tweet media one
2
1
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
No excuse to not give Haskell in the browser a fair shake at this point.
@vamchale
Vanessa McHale
5 years
with GHCJS 8.6, Miso, and google-closure-compiler, a gzipped frontend bundle is 240 kB
Tweet media one
5
11
78
1
2
9
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
You can’t stump the Trump.
0
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
26 days
Keep this guy far away from your projects.
@juras_polakow
Juraś Polakow ⬜️🟥⬜️ ‡
26 days
@kerckhove_ts These are very special cases of type systems. What about languages people actually use?
3
0
0
0
0
9
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
@cmclymer 🇰🇵🇨🇳🚨 ☭ 🚨 🇨🇳 🇰🇵
0
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
9 days
@yacineMTB No green threads are based.
2
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@int_index No if you’re doing it right it gets worse. Look for the places where you’re the dumbest person in the room. If you feel smart you’ve stagnated.
0
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
What’s wrong with these people?
@TimJGraham
Tim Graham
2 months
Trump's just been shot, and CBS anchor Margaret Brennan disparages him for not telling his followers to lower the temperature. Unbelievable.
1K
3K
10K
1
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
3 months
lol no
@seanbax
Sean Baxter
3 months
There's a transcript out for a recent memory safety interview with Herb Sutter. He cites an unnamed security person who says "modern C++ that uses all the guidance tools is as safe as Rust."
Tweet media one
11
13
159
1
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
6 years
@ryanhuber This is gibberish.
0
0
8
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@R0b0tSp1der My team is in OC but if you are cracked enough to do 2 I will tolerate 3.
0
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
26 days
What zero parametricity does to a mf
@juras_polakow
Juraś Polakow ⬜️🟥⬜️ ‡
26 days
@seanparsons @TravisMWhitaker @kerckhove_ts 1. Declaration of type 2. Instantiation of collection of 1 3. Map and flatten 2 by property "orders" of 1 Is it correct? Not sure I understand what are benefits of types here when pattern matching could do the same
1
0
0
2
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
1
0
5
@TravisMWhitaker
Travis Whitaker (hs/acc)
3 months
@VictorTaelin These “problems” are either fixed or were fake to begin with. You can just use Haskell.
0
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 years
@kmett Such assumptions were only fixed in GHC about a year ago I need to ship Linux software on aarch64 boards for work, so I spend a lot of time patching these sorts of issues.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
24 days
nothunks is black magic
@EdskoDeVries
Edsko de Vries
24 days
Starting in just under three hours, @kosmikus and I will be talking about how to use the nothunks library to avoid memory leaks in your applications; featuring some recent nothunks improvements by @me_coot !
0
2
16
2
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 years
@mattoflambda @bitemyapp If Haskell consumes most of my complexity budget, then there’s a mortgage backing every C++ project…
2
2
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
Jonathan Ringer was just banned from Nixpkgs despite being one of the 24.05 release managers. Seems like it'll be a challenge to do that while he's banned.
3
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
3 years
@GabriellaG439 Holy shit this is way too real.
1
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@Las______ We can’t be accepting code from people who have the wrong opinions, now can we?
0
1
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
11 months
Stop talking about FP and start using it to make money.
@p1xelHer0
pontus 🔺🐦‍⬛
11 months
It feels like folks are trying to create some of "Haskell vs OCaml" kind of thing. We are on the same team! We should be annoyed at TypeScript and Go, not each other! 🙈🐫🤠λ
3
0
37
1
0
7
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@neurallambda You are overestimating the cost of building that ecosystem. If Python users were able to build it, we should be able to build it better, faster. Life is too short to use Python.
2
1
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
11 months
Am I a wife guy now?
2
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@bdowney Then they’ll take the L.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@ChShersh If the new field is strictly required, then the old service’s behavior is incorrect. There will always be de facto required fields. Protobuf lets you punt this problem down the road by pretending all fields are optional. Something something parse, don’t validate.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
0
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
2 months
@4ngerman Angerman America arc when?
2
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
3 months
@budududuroiu Always have.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
@mttgrmm Don’t come back without the money.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
5 years
@ProgrammerDude @puffnfresh Like everything good about Nix, this is unmentioned in the manual. The community desperately needs assistance in this regard.
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
4 months
1
0
6
@TravisMWhitaker
Travis Whitaker (hs/acc)
1 year
@eltdude @nixos_org My team is hiring Nix and Haskell engineers.
1
0
5
@TravisMWhitaker
Travis Whitaker (hs/acc)
1 month
@avi_press I suppose if you’re not using Nix it is indeed hard. But in 2024 I don’t really have any sympathy/patience for non-Nix cases.
1
0
6