fultonn

5 ms·

1.
by fultonn 13d ago
> Yes, you can. USA-specific: At ~$38K/year (including SS) you probably need to own a home without substantial deferred maintenance to make it work. So you can retire on $250K but only if you're over 62 and only if you have s
2.
by fultonn 22d ago
> Having a good REPL is a huge advantage for beginners (and expert users too), but I'm not aware of any (popular) statically-typed languages with a good REPL. scala's repl is decent. It has its annoyances, but so does python&
3.
by fultonn 22d ago
The performance hell thing is also also kind of a virtue, though. The language is awful, so everything that does any amount of compute is FFI'd into third party libraries (numpy, torch, sympy, etc). Those libraries are for the most par
4.
by fultonn 22d ago
> I am almost 4 years in Also worth mentioning 2026 - 4 = 2022. Not a great year to be stick building from a cost perspective.
5.
by fultonn 23d ago
> I've literally never heard anyone conflate an agent and a model. Ever. Author is a senior staff engineer. A big part of his job is to help his org's engineers and non-technical decision makers understand basics. My assumpti
6.
by fultonn 23d ago
> People generally like socializing If people don't like socializing then your argument not only falls apart, but actually leads us to something like the opposite of the conclusion you found. And people definitely don't like
7.
by fultonn 27d ago
> eminent I would use a different adjective: exceptional. There are not not times where lone geniuses produce amazing output. But most of humanity's progress over the last few thousand years (or at least certainly the last few hun
8.
by fultonn 28d ago
People say similar things about automation of software engineering. Different, but similar. I'm deeply suspicious. I do not yet have a concise statement for why, but a lot of literature on the sociology of knowledge work sort of points
9.
by fultonn 29d ago
I do not understand small engines, but I would've thrown away a perfectly good honda 4 stroke this summer if I didn't have an LLM to help me with the diagnosis. (And I only reached for the LLM after working through all the flowcha
10.
by fultonn 1mo ago
It's not a Mathematics degree. It's not even a Philosophy of Mathematics degree. It's a particular type of Philosophy degree. So, to be fair: most philosophy majors wouldn't have much luck with Rudin. > Dive into the
11.
by fultonn 1mo ago
> who claim they have read/studied a) Euclid's Elements Of the lot, Elements feels misplaced. Lots of people actually do read Elements as part of their course of study. It's niche but there's a whole cottage industr
12.
by fultonn 1mo ago
That sort of vulnerability scanning is at best legally dubious, and almost certainly illegal under CFAA and similar state statues when there's clear criminal intent. That's why the 2022 DOJ guidance regarding non-prosecution good
13.
by fultonn 2mo ago
Yes, it's probably the most important trick in formal methods. Often surprisingly difficult to make it actually work, but when it does you can end up with a powerful tool. In a past life I spent a lot of time on that sort of thing for
14.
by fultonn 2mo ago
I think you probably got this, but spelling it out anyways for future readers. The conceptual gap I'm referring to here has nothing to do with formal methods per se . It's just an analogous problem with the quanta of information
15.
by fultonn 2mo ago
I think every formal methods phd student who's interested in adoption of their techniques/tools has a short bout of doubt/depression upon realizing just how large of a surface area for bugs lives in a sufficiently useful spec
16.
by fultonn 2mo ago
thx for notes; no complaints on my end. edit: edited.
17.
by fultonn 2mo ago
> We’re fast reaching... We already arrived at that destination a decade ago. Probably even further back tbh. There's just a lot more people playing the game now, without the social indoctrination that made it more tolerable in so
18.
by fultonn 2mo ago
> Perhaps I'm imagining it You are not. A disproportionate amount of value in the computing industry was created by <strike>geniuses</strike> decently smart people who worked together and who decided to just tell
19.
by fultonn 2mo ago
> wagons Wagons (as sold in the US market anyways) are passenger vehicles and therefore have the same problem as the Forester[^1]: your saw leaking some gas or bar&chain is kinda not ok. Or insert any other "thing that makes m
20.
by fultonn 2mo ago
> Roof rack for long stuff. Unfortunately I'm 5'7 and even the low roof transit is 6.8. So it's paying >$10K more for a pretty non-ergonomic solution. > seems too small to even be useful for that. One advantage o
21.
by fultonn 2mo ago
I did consider. Maybe in the past, but the size thing isn't really true of the modern line-up. Relative to eg a base Tacoma or especially a Maverick, The Ford Transit has about the same wheel base, is slightly heavier, has worse visibi
22.
by fultonn 2mo ago
American trucks are built for towing -- it's one of the reasons they are so big and heavy and expensive -- so I get where the "trucks are for towing" wisdom comes from. But it's still funny to me. Because in my mind one
23.
by fultonn 2mo ago
> But who knows maybe it’s already full of stuff under there This is why I'm excited for REO. I live in a pretty dense city and don't have much storage space in my residence. On the weekends I'm clearing and developing a
24.
by fultonn 2mo ago
> hoist FWIW, transporting (even large) bikes in the bed of a truck is doable and normal. The typical way to do this isn't with a hoist. You just ride or walk it up a ramp and tie it down. ofc a Forester or RAV4 with a trailer is
25.
by fultonn 3mo ago
Section 2 already limits applicability to persons collecting or processing data on not less than 60,000 consumers, so suits brought against neighbors would be (rightfully) dismissed. The concern about poor precedent stemming from poor cases
26.
by fultonn 3mo ago
> Will this have reach and teeth though? It'll have reach because MA has a long-arm statute and there's a rich history of applying that statute in the context of Chapter 93. It'll have teeth but probably not to the effec
27.
by fultonn 4mo ago
Thanks for letting me know. Got your email. Let's connect there.
28.
by fultonn 4mo ago
> What is the derivative work of an AI response? Who is the creator making its derivative works? The AI is not an entity, it is a software engine operating over an obfuscated index. I was not talking about the output of models. I'
29.
by fultonn 4mo ago
IBM Research ( https://research.ibm.com ) | Boston, MA | Full-Time | Hybrid We are hiring a Senior Scientist to join our team. We're working at the intersection of LLM training and the inference stack. We're looking for
30.
by fultonn 4mo ago
> there's probably no ethical way to use contemporary AI when it is "out in front" doing anything of consequence. Your "AI is a tool and nothing more" frames ethical use of the technology for me. I've thou

More ›