anon291

22 ms·

541.
by anon291 11mo ago
Europe cannot actually do a whole of monopolization with ASML without incurring the wrath of its only armed forces, the United States of America. Europe is essentially a military junta controlled by a foreign power. They perceive themselves
542.
by anon291 11mo ago
Arguably, type theory is more influential, as it seems to me all the attempts to actually formalize the hand-wavy woo mathematicians tend to engage in are in lean, coq, or the like. We've pretty much given up on set theory except to pr
543.
by anon291 11mo ago
Fairly trivial, in haskell: let x = x in x Completely encapsulates a countable infinity.
544.
by anon291 11mo ago
> computer science with the finite um... no... computer science is very concerned with the infinite. I'm surprised quanta published this. I always think highly of their reporting.
545.
by anon291 11mo ago
It's really not hard to be good at both. Or at least to understand enough to be fluent in both.
546.
by anon291 11mo ago
Of course it was. No wronger than I'd have been had I started looking into it without its help. On the other hand reading code while driving is terribly dangerous while hands free chatgpt is easy. Moreover I prefer talking for some thi
547.
by anon291 11mo ago
I had put on the back burner some polyhedral compilation papers. I had read all the material, but some key questions still meant it was not possible for me to implement it. In particular, I was looking at barvinoks counting algorithm and di
548.
by anon291 11mo ago
There is, but just ask it to cite the foundational material. A huge issue with reading papers in topics you don't know about is that you lack the prerequisite knowledge and without a professor in that field, it may be difficult to real
549.
by anon291 11mo ago
I was driving around tonight doing errands and while I was doing so, had a great conversation with chatgpt as to the intimate details of the llvm and GCC pipeline schedulers. It's a huge productivity boost. It has now taken notes for m
550.
by anon291 11mo ago
Nah the consequences are more riders. That's a great consequence. > no drugs on the train Nonsense. I'd rather have people carry their illegal drugs on the train and take them at home. The issue is people experiencing the effec
551.
by anon291 11mo ago
The fee gives a reason to kick them off. Portland's trimet recently made it a policy to not allow sleeping which means the transit police can now intervene when the opioid addict does his dose on the train. Meanwhile the tired profess
552.
by anon291 11mo ago
The lockdown spanned two years. A few months in, it was obvious it was overkill.
553.
by anon291 11mo ago
This is correct but just delays the problem. It is still impossible to type level-generic functions (i.e. functions that work for all type levels). The basic fundamental reality that no type theory has offered is an ability to type everythi
554.
by anon291 11mo ago
Early on , it was clear the rate of covid complications did not merit the lockdowns. I was an early supporter of lockdowns and an even earlier supporter of ending them. It was a cold... Can we say that now? A relatively moderate flu like co
555.
by anon291 11mo ago
Your local grocery store almost certainly is. Zucchini was $1 at Safeway last mknth
556.
by anon291 11mo ago
I am without a kitchen for the last month (remodel) and I just use my microwave. There's nothing magic about cooking. Take cold things and make them hot. How are people managing to be this daft? You can cook rice, pasta, lentils, etc i
557.
by anon291 11mo ago
Fast food is an addiction not nutrition. Some people develop the addiction and the restaurants feed it. Normal food behavior is to eat until satiated. We've pretended it's normal to gorge yourself at McDonald's and such becau
558.
by anon291 11mo ago
Yogurt and nuts are available ready to eat at gas stations and grocery stores. As someone who would take a yogurt parfait over most McDonald's items , I have no idea why you think it's not available.
559.
by anon291 11mo ago
Actually as an adult you do choose your group. At will employment is an amazing thing
560.
by anon291 11mo ago
The ones from my school mostly became good for nothing's or went to jail.
561.
by anon291 11mo ago
I mean in the inner city science is supplanted as well like when they close down stem schools because too many Asians or something.
562.
by anon291 11mo ago
Which is how the vast majority of the world is and how most of America is. I mean, it's not bad to be around people with different ideas or backgrounds, but it is also not some great requirement.
563.
by anon291 11mo ago
I self host everything. Wireguard, locked down ssh configs with private keys, iptables firewall and fail2ban... Not really that hard
564.
by anon291 11mo ago
My kids get more socialization than me. Our parish homeschool group has daily activities. Monday is two hour playgroup. Tuesday is extracurricular classes at the parish. Wednesday is catechesis and play time. Thursday is free. Friday she do
565.
by anon291 11mo ago
You're allowed to disparage whomever you want. As I've aged, realizing that many migrants to this country do not have similar views on speech as most Americans has somewhat radicalized me. And I say this as the child of immigrants
566.
by anon291 1y ago
> If emacs built out proper telemtry they could actually track how the defaults they provide affect the new user experience in order for them to optimize it and figure out what users are looking for. I can't tell if this is an attem
567.
by anon291 1y ago
A virtual table and virtual dispatch are orthogonal to inheritance. Haskell let's you do the former without the latter. I agree that syntactic sugar for virtual dispatch is a nice language feature because it is tedious to do by hand
568.
by anon291 1y ago
Wildy successful does not mean a good idea. > Such school of thinking enabled generations of software engineers who created all this digital world. Same could be said for imperative or functional programming for that matter.
569.
by anon291 1y ago
> Photons have mass in the sense that energy and mass are equivalent Mass and energy are convertible but not equivalent. You are confusing momentum and mass, which are two different concepts.
570.
by anon291 1y ago
The thing about inheritance is it limits you to one relation. Composition is not a single relation but an entire class of relations. The user above mentioned monoids. That is one very common composition that is omnipresent in computation an

More ›