lanza

9 ms·

1.
by lanza 4mo ago
I always find it really weird when somebody on the anonymous internet talks about local places as if we're all neighbors or something. Googling "Richmond Hill" gave me multiple pages of results that had nothing to do with the
2.
by lanza 6mo ago
> In my view a spinor is even more familiar than a vector Okay... Pauli and Dirac both received Nobel Prizes for discovering spinors. Nobody needed to discover pointing in some direction.
3.
by lanza 6mo ago
Same. I rarely use mine and find that they just about always still have battery. And even when they don't I'll just plug them in and go find something else to do for a few minutes and by the time I come back they are usable for ho
4.
by lanza 10mo ago
> It fixates on one particular basis and it results in a vector space with few applications and it can not explain many of the most important function vector spaces, which are of course the L^p spaces. Except just about all relevant appl
5.
by lanza 1y ago
> I own an M4 iPad Pro and can't figure out what to do with even a fraction of the horsepower, given iPadOS's limitations. Literally everything you do gets the full power of the chips. They finish tasks faster using less power
6.
by lanza 1y ago
The difference in usefulness between ChatGPT free and ChatGPT Pro is significant. Turning up compute for each embedded usage of LLM inference will be a valid path forward for years.
7.
by lanza 1y ago
That's a JIT. It uses the same compiler infrastructure but swaps out the AoT backend and replaces it with the JIT backend in LLVM. Notably, this blog post is targeting on-device usage which a custom JIT is not allowed. You can only int
8.
by lanza 1y ago
Because the usefulness of an AI model is reliably solving a problem, not being able to solve a problem given 10,000 tries. Claude Code is still only a mildly useful tool because it's horrific beyond a certain breadth of scope. If I ask
9.
by lanza 1y ago
Without reading an entire novel's worth of text, do they explain why they picked these dates? They have a separate timeline post where the 90th percentile of superhuman coder is later than 2050. Did they just go for shock value and pic
10.
by lanza 1y ago
Only gripe I have with the tool is that once you've gotten a country right a few times it zooms in too far. I still had no clue where Eritrea was after getting it right like four times. Just got lucky. But now that the map only shows m
11.
by lanza 2y ago
> I really don't understand what their endgame is here. To not lose. History is full of stories of incumbents not wanting to cannibalize themselves and dying because of it.
12.
by lanza 2y ago
> Nobody up to this day has been able to give a formal mathematical definition of intelligence, let alone a proof that it can be reduced to a computable function. We can't prove the correctness of the plurality of physics. Should we
13.
by lanza 2y ago
> The argument is that, instead of hiring a junior engineer, a senior engineer can simply produce enough output to match what the junior would have produced and then some. ...and that's just as asinine of a claim as the original one
14.
by lanza 2y ago
> Llama 3.1 405B can currently replace junior engineers lol
15.
by lanza 2y ago
When shopping for a new car to take to the race track on the weekends did you stop and point out that the Honda Odyssey's suspension is too soft?
16.
by lanza 2y ago
If I see a single ad I'm uninstalling it and switching to Apple maps.
17.
by lanza 2y ago
I guess this is the new "Be maximally evil" Google. Visual ads while driving that force you to look at your phone.
18.
by lanza 2y ago
Ditto. They'll use it now while they stand to benefit and in 3 years they'll be lambasting OpenAI publicly for not being private enough with data and pretend that they never had anything to do with them.
19.
by lanza 2y ago
https://en.wikipedia.org/wiki/Survivorship_bias
20.
by lanza 2y ago
It's in the earnings. It was $5.2B this quarter against $15.7B repurchased.
21.
by lanza 2y ago
If you're measuring a compiler you need to post the flags and version used. Otherwise the entire experiment is in the noise.
22.
by lanza 2y ago
> Mostly the `final` keyword serves as a compile-time assertion. The compiler (sometimes linker) is perfectly capable of seeing that a class has no derived classes That's incorrect. The optimizer has to assume everything escapes the
23.
by lanza 2y ago
I work on clang and don't know go yet still find the go version easier to read.
24.
by lanza 3y ago
Sounds like shorthand terminology in your subfield is okay with the usage of "magnetism." But that's local slang, as a (former) high energy theorist I interpret the phrase "a new form of magnetism" as a new gauge th
25.
by lanza 3y ago
I love the ideas of jj but `jj split` is just an awful workflow. Splitting commits is too important of a feature to get right and jj gets it really wrong.
26.
by lanza 3y ago
The delay between the physical keystroke and rendered text insertion + search filtering is uncomfortably high. Compared to FZF's instantaneous rendering of the same this is a UX downgrade.
27.
by lanza 3y ago
> You don't need any of it. > History is useful enough to exist as a feature, I up-arrow routinely, but it doesn't actually matter when it doesn't exist. That's absurdly naive to think the simplistic constraints of
28.
by lanza 3y ago
I love the idea of Atuin but it's just way too slow with large history files. I've synced my history on my own for the past decade and have like 170k lines and the history search the ctrl-r search just crawls. I don't need mo
29.
by lanza 3y ago
PyTorch and Triton don't use CUDA. An extraordinary volume of big tech compute only cares about the PTX “isa” for NVIDIA.
30.
by lanza 3y ago
sshing into a server only happens within one shell. Thus you can open tmux there and that's the only level of granularity you can have. iterm window->iterm tab->ssh->tmux windows->tmux panes With `tmux -CC` it lets you hois

More ›