garfieldnate

9 ms·

61.
by garfieldnate 3y ago
I'm a programmer and I'm excited to learn Lean as a new tool for thought. I find that Haskell sells itself as a programming language but the reality is quite arcane, and its tools feel slow and bloated. Lean 4 is sort of the oppos
62.
by garfieldnate 3y ago
I'm hoping that the sale is restricted to US-based entities, because this seems like a precious resource which could easily get bought up by a foreign power looking to exert some influence.
63.
by garfieldnate 3y ago
I'm looking forward to seeing the creation of the foundation. Honestly, given the huge number of people that use it, the open source activity, etc., closing the source is a huge deal and Hashicorp could not really expect anything other
64.
by garfieldnate 3y ago
The TL;DR pointers are really great, and the note about asserting the shape of tensors applies any common linear algebra library out there, as far as I know. When working on complex LA code, it's extremely important to take small ste
65.
by garfieldnate 3y ago
To be fair, this release supports LSP and TreeSitter (which is super cool), but these are features that were pioneered by other editors and available elsewhere long before emacs. These ideas wouldn't be coming to emacs if it weren&#x27
66.
by garfieldnate 3y ago
IIRC, I read in _The Violinist's Thumb_ that fruit flies are a more recent import along with tropical fruits (I think bananas?), so the spontaneous generation theory would predate their presence in the West.
67.
by garfieldnate 3y ago
Couldn't they still use their original strategies for spying if they had a warrant? Just get the phone and install a secret microphone inside, or inside a house or a car. This can be done with cameras, too, though the text on a phone m
68.
by garfieldnate 3y ago
Having read and loved Ghost in the Wires, I felt a special bond with Kevin. I loved his antics combined with his fearless exploration of how everything around him works. I'm really sad reading of his death today. He was far too young.
69.
by garfieldnate 3y ago
Basic science question here, but aren't radio waves also a type of light, but just ones we can't see? What's the actual intended difference between radio and light in this context?
70.
by garfieldnate 3y ago
So how does this work technically? Does the bill require, for example, Apple to build the capability to remotely activate the microphone and camera on their laptops? Or does it just say that the government can use their magic spy tech to do
71.
by garfieldnate 3y ago
I don't really understand the sentiment in the article about Amazon not doing anything with it. When Goodreads was acquired, general opinion was "oh no, I hope they don't ruin it -- don't worry, Amazon is known for acqui
72.
by garfieldnate 3y ago
As I recall, there were arguments at the time saying that it would be good if Amazon did nothing with it. People wanted Amazon to leave the product alone and not mess with it. And I still feel that way. What would you have wanted them to
73.
by garfieldnate 3y ago
Where are the actual source code and hardware designs? Being marketed as open source, I expect a link to repositories in the footer at least.
74.
by garfieldnate 3y ago
I absolutely loath having to type in my resume on every site form for companies I'm applying to. During a job search, I think I would pay to have a feature that auto-fills these for me. Also, I'd love to be able to fill in trans
75.
by garfieldnate 3y ago
I thought "How the Internet Really Works" ( https://nostarch.com/how-internet-really-works ) was pretty good.
76.
by garfieldnate 3y ago
That page just has some pictures. Is there a GH repo for the design, or some other kind of documentation? I would love to learn how this is built.
77.
by garfieldnate 3y ago
The pizza repo is for Neapolitan style. There's another style, I don't know what it's called, where the crust is flaky and buttery (but not layered like phyllo dough). I was very surprised to find here in Germany that Pizza H
78.
by garfieldnate 3y ago
There are some really nice lakes here in Düsseldorf that had to be closed to the public due to PFAS pollution. Makes me sad when I walk by them because they are beautiful, surrounded by trees, and there are still rope swings and such around
79.
by garfieldnate 3y ago
I found your love for your mom and your dedication to taking care of her to be really touching. This is really wonderful!
80.
by garfieldnate 3y ago
I loved learning to read Japanese through the second volume of Heisig's _Learning the Kanji_. Volume 1, which teaches only meanings, is a slog, but volume 2, which teaches the Sino-Japanese readings is a beautiful example of organizing
81.
by garfieldnate 4y ago
I'm surprised PyLance isn't in the list of linters that they benchmarked. It's the fastest one by far, in my experience, and it's conveniently available in the VSCode Python plugin.
82.
by garfieldnate 4y ago
Just watched a JRE episode with David Choe and he said he had fired his lawyer because ChatGPT gave him roughly the same answer as the lawyer one time, and he would be using ChatGPT for law advice forever after. I had thought that it woul
83.
by garfieldnate 4y ago
As a technologist who's used to working with this stuff, I find the idea of relying on GPT-anything for factual correctness patently absurd; however, I think it's great that others reporting on the potential dangers of doing so. I
84.
by garfieldnate 4y ago
So how do we actually take action on this point? It's not something we can vote on, or call our representatives about.
85.
by garfieldnate 4y ago
>Mozilla.ai’s initial focus? Tools that make generative AI safer and more transparent. And, people-centric recommendation systems that don’t misinform or undermine our well-being. Honestly, I don't see the selling point here. At lea
86.
by garfieldnate 4y ago
In Japan I once saw a woman bike to the grocery store with 4 children on a regular mama-chari. One seat in the front and back, and one child strapped each on her front and back. The most bad-ass mom I ever saw.
87.
by garfieldnate 4y ago
I'm confused by the price on the website. It's only $100? Or is this a deposit to allow me to pay whatever the real price is? Hard to know whether this is worth it without knowing the price.
88.
by garfieldnate 4y ago
>It prevents circular dependencies between .h files and doesn't inflate C++ build times because of careless including the same files over and over again. Ah, the C/C++ modularity story is such a monstrosity... but modules are c
89.
by garfieldnate 4y ago
I've mentioned this in a previous comment, but I see these policies about language control as fundamentally misguided because they assume that changing words can change the way we think to a significant extent. This is known as the str
90.
by garfieldnate 4y ago
What you're saying here is that we should be contacting the press, not our representatives, right?

More ›