g15jv2dp

15 ms·

181.
by g15jv2dp 2y ago
> practical = practical for routine mathematical work, which they aren't right now, which Tao says in the article itself. I see, I guess it would have been nice to be clearer from the start. > Never have I ever said or implied, h
182.
by g15jv2dp 2y ago
I don't get what you're saying. Why would a self-hoster care about the code publication requirements of the AGPL? It's an OSS project, the end user doesn't care if the code has to be redistributed, they're not profi
183.
by g15jv2dp 2y ago
What's wrong with CPAN?
184.
by g15jv2dp 2y ago
You're commenting on a thread about an interview where an actual Fields medalist explains how proof assistants are actually used to do meaningful mathematical work, today. The issues you raise are all discussed in the interview.
185.
by g15jv2dp 2y ago
I'm a math professor and I know many people who use or contribute to lean. Not all of them are Fields medalists. Maybe it takes more than a couple of people's opinion on the subject to have a good picture.
186.
by g15jv2dp 2y ago
They weren't afraid to break pretty much everything with the release of Python 3 in 2008. That's my baseline.
187.
by g15jv2dp 2y ago
Why is Python packaging such a mess? That's a serious question. Has someone written up some recap or history piece on how it came to be this way? Any pointers?
188.
by g15jv2dp 2y ago
Published the same day as https://theconversation.com/ai-chatbots-are-intruding-into-o... > A parent asked a question in a private Facebook group in April 2024: Does anyone with a child who is both gifted and disabled ha
189.
by g15jv2dp 2y ago
They claim that they think they know how to do it. That's two conditionals.
190.
by g15jv2dp 2y ago
> But the company can’t quite show any of that today — because Flow hasn’t built a chip and doesn’t necessarily intend to build one, its co-founders tell The Verge. The answer is clearly, no, they didn't make CPUs 100x faster. Maybe
191.
by g15jv2dp 2y ago
https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headline... > Any headline that ends in a question mark can be answered by the word no. As confirmed by the article, of course.
192.
by g15jv2dp 2y ago
How is ESP-IDF "suffering for it"?
193.
by g15jv2dp 2y ago
Honestly you just don't need platformio for programming esp32. I tried, and it was just easier to deal with esp-idf than have a middleware with its own quirks on top of esp-idf's own quirks.
194.
by g15jv2dp 2y ago
Except it's not at all how GP used the word: > From Wifi/Bluetooth Antenna, LI Battery Controller, Ethernet whatever, Display or Camera Connector - You choose. None of those are in-chip peripherals. Besides, the RP2040 comes wi
195.
by g15jv2dp 2y ago
I don't know what's going on in the other side of the ocean, but around here, but in the SEPA we have had instant transfers between bank accounts for a while. Some banks are trying to slow it down (like charging 1€ for transfers)
196.
by g15jv2dp 2y ago
I think you're misunderstanding what "tooling" means here. Even determining what line (or even file!) in your document is the source of an error or warning is sometimes a nightmare.
197.
by g15jv2dp 2y ago
> Since you are familiar with the TeX StackExchange, perhaps you can ask there? I have. I don't want to link my HN identity to my SE identity (which is tied to my real world identity through mathoverflow) so I won't link here.
198.
by g15jv2dp 2y ago
This is missing the pejorative connotation I'm looking for.
199.
by g15jv2dp 2y ago
This must be a joke. LaTeX cannot even produce accessible PDF today. Believe me, I tried. I write my lecture notes in LaTeX and some of my students have disabilities. I tried to follow these guides https://tex.stackexchange.com&#
200.
by g15jv2dp 2y ago
Is there a word like "weeaboo" but for France?
201.
by g15jv2dp 2y ago
Studies show time and again that cars in Paris are only used by the richest people. I live in the suburbs and I frankly don't care if big SUVs are banned from Paris, in fact I encourage it. I go to work by RER and metro, like everyone
202.
What's the Deal with std:type_identity?(devblogs.microsoft.com)
1 points by g15jv2dp 2y ago|0 comments
203.
by g15jv2dp 2y ago
What's not clear from this webpage is whether these are actually used anywhere. Are they? I couldn't tell.
204.
by g15jv2dp 2y ago
An endowment is entirely different from a market capitalization. How can you write "employees might include staff" and keep a straight face? Yes, they do, how is this even in question? MIT has 1089 faculty members but 17,180 emplo
205.
by g15jv2dp 2y ago
> normal user > use Rufus to create your installation usb Pick one. "Normal" users don't use specialized software to create installation media. They boot the laptop with the OS already installed and go on from there.
206.
by g15jv2dp 2y ago
Stating facts is not "debating".
207.
by g15jv2dp 2y ago
What follows is not a jab at the author of the document. I think it's really nice for an undergrad to be interested in this topic. It's very close to my field of research, and not something that an undergrad would typically know a
208.
by g15jv2dp 2y ago
And yet when I complained about `curl | sh` on HN the other day, I got ridiculed. "Everyone" is too much, but even on a purportedly "hacker" website, people find the idea of perusing a shell script before executing it pr
209.
List of Title Word Abbreviations – ISO standard on abbreviating journal names(issn.org)
2 points by g15jv2dp 2y ago|0 comments
210.
by g15jv2dp 2y ago
Uh? OP just released a docker image and wants to release a homebrew thingy. Even assuming that was you say is somehow sensible, it's not the reason, no. You're just grasping at straws.

More ›