skysight-inc/HackerNews huggingface dataset:
Yeah, this is what I meant. It’s virtually impossible for Python-based libraries to catch up to the huge number of differential equation solvers that are available in Julia, and that work on a GPU, and that can be automatically differentiated through, and that all work through a common interface, and that all work around a well defined ecosystem.

More broadly, I’d say Julia has more potential than Python when it comes to automatic differentiation. JAX is really cool, but Julia’s automatic differentiation tools are targeting the whole language without modification and restriction (outside those imposed by calculus). Potentially some really fancy stuff could get embedded in neural nets beyond differential equations and with relatively little effort.
Language Design: Stop Using Angle Brackets For Generics
This is absolutely the right answer. You've mentioned you are an F1 student, and that unfortunately has a lot of limitations on your work. Getting your professor to fund your work as an Research Appointment could work.

My understanding is that you can't get paid in any manner unless it is through your university and even then there's only a limited number of options. If you decide to go ahead with it and charge people through other means (stripe / paypal / donations) you could get into serious trouble when you report your taxes. Even on a H1B (work visa) you are very restricted in how you can get paid.

I'm not a lawyer but my recommendation is to make it open source and free, and hope that it pads your resume. That may be more lucrative in the long run.
Maintaining a sixpack takes very significant effort.
I remember in Anarchy online my friend 'married' a 'woman' in Omni-One and I attended his wedding, he they exchanged in game rings and all and he bought 'her' a hover car
That is for independent simultaneous discovery right? Which is a separate matter from 'does prior art exist' I would imagine.
The list:
https://m.imdb.com/list/ls066164634/

(Note that it is just a random user's content, not a poll of many users or any expert.)
That really doesn't seem like the core issue to me. Once child is born parents have tons of obligations towards them, and severe neglect can cause a prison sentence.

I'm not American, so forgive me for barging in, but it seems to me you have two core issues:

First there is the debate over when a Fetus should be considered a person and receive the rights that come with it.

Secondly there is a debate over states rights and what topics the federal government should get a say in.
My understanding of MPEP 2126-2128[0] is that prior art published to a website can be disqualifying.

I don’t like patents, because given the world population, any idea was had by someone that didn’t have the resources to file it. Publishing a timestamped design is, I believe, one of the least expensive ways to create prior art without creating patents.

[0]: https://www.uspto.gov/web/offices/pac/mpep/s2128.html
Surely you could design one of your own? The complexity seems low enough for a hobby project, it's not like trying to recreate a IBM Z CPU.
i recently wrote a comment about how america can "justify" stuxnet attack on iran as a "display of capability of usa and israel" but in the same breath they are quick to "attack on our critical infrastructure is an act of war against our great nation and we must respond".

you can hit the other guy and call it a win but god forbid if the other person hits back, then its a matter of hurting your pride. meh.

huawei has been on the grill for "secret backdoor" for quite some time now and as far as i remember, no "proof" has been given yet western states have been quick to follow suit in banning their equipment. on the contrary, intel and amd have documented backdoors in their CPUs by nsa/cia but that's "fine", no big deal....

USA can spy on germany, uk, which is documented but if there is even an alegation of the same being done by china, all hell breaks loose.

this is the reason why many countries around the world are switching to RISC-V platform, away from X86 because america can and has shown multiple times that they can "strongarm" those companies to simply quit a market and exert pressure. people don't want that.
The problem with Reddit is that they banned unilaterally the right wing.
Did you mean to reply to me? Or perhaps another comment of mine? If not, I don't follow.

Edit:

It looks like abhimanyuaryan is blindly spamming suggestions to write tests in this thread (???). This is a case where I agree in principle but their comments are completely beside the point and not relevant to the context of the comment or the post.
http://openstationmap.org generates layer based maps for stations based on osm data.

Looks a lot less cooler than these diagrams, but (may) work for more stations.
No code example ? No, it's a sign of bad book itself.

One code example is worth 1000 images, and 1 image is worth 1000 words.

Always use code block to illustrate your point, as it help reader understand better your point.

Writing a book is more about getting reader into your thought rather than make them think.
Sure, RC is fine, but if you 1-base your arrays then you chose to be the pariah. I have no patience for technology that just chooses to be special for the sake of it.
I mean sooo many things are centralizing around Discord now which is just as bad—except its worse since it can't be indexed by search engines.

I appreciate that most big-enough programming language communities offer a Discourse which is self-hosted and you can choose to subscribe and reply in many manners.
I've always appreciated the official Hong Kong MTR station 3D maps

https://www.mtr.com.hk/en/customer/services/system_map.html

for example:

https://www.mtr.com.hk/archive/ch/services/layouts/hok.pdf

or

https://www.mtr.com.hk/archive/ch/services/layouts/kot.pdf
I joined an EQ1999 server and at first I tasted some of the old magic, and then I went to that level 10ish level dungeon where you fight gnolls and this guy I made friends with started chatting with me about how sad he is since he had his stroke and that EQ is the only thing he could do now and then I just stopped playing altogether.. It just bummed me out so much.

When I was a teen I remember feeling exhilarated just exploring, walking from the different cities, and making friends and getting advice, just being lost. But when I played again in Project 1999.. I was not really with new users, just much older adults in their 30s and 40s and 50s who were not discovering a new world, but desperately trying to return to their old one and the magic was not the same.. But I will be damned if I sometimes still get the urge to come back to that world.
One thing we may not be seeing or considering in those facts: How much of that reduction umis due to people altering their own behavior. E.g. Not walking as much, or avoiding bad parts of town, moving to suburbs, expecting police to be tough on crime.
I doubt it, because those Republicans would risk being voted out of office.

I think this issue is one where we can safely say one side is not interested in compromise. We had compromise with Roe, and they fought. We had compromise with Casey, and they still fought. We've now witnessed the culmination of a 30+ year campaign to place a particular style of justice on the supreme court, complete with abuse of process to manipulate nominations and nominees being misleading or (arguably) lying about this specific issue to get confirmed. None of this is indicative of a willingness to compromise, to me.
Thank you for all of the different viewpoints, it's starting to make sense now. I've used JSON schema before in one of my previous projects. I'll keep it in mind for next time.
Would the Gulf states even consider making the UK conform to Islamic morality as part of a trade agreement? The Western world seems to be unique in its insistence that other cultures adopt our morals, even though other cultures are presumably just as confident in the rightness of their own way of life.
I think there are more people eating meat than people who

# Own and drive an SUV everywhere

# Flying for work every month

Think how much factory farmed meat is consumed. We kill and process ~80B animals per year.

For most folks meat is more affordable than buying an SUV or flying every month.

Getting people to heavily reduce or cut out meat & dairy and move to a more plant based diet will have a greater impact in reducing environmental impact.

This is based on an Oxford Uni study and also recommended by the IPCC. I’ll add sources later.

But it’s not an either or.

We need to do both and more.

It’s a tough challenge and we should have started yesterday.

Interesting times ahead… I wonder what the world will be like in 30 years.

——-

Edit: adding some sources

1) https://ourworldindata.org/environmental-impacts-of-food

2) “In addition to climate mitigation gains, a transition towards more plant-based consumption and reduced consumption of animal-based foods, particularly from ruminant animals, could reduce pressure on forests and land used for feed, support the preservation of biodiversity and planetary health, and contribute to preventing forms of malnutrition (i.e. undernutrition, micronutrient deficiency, and obesity) in developing countries. Other co-benefits include lowering the risk of cardiovascular disease, type 2 diabetes, and reducing mortality from diet-related non-communicable diseases.”

From: https://www.ipcc.ch/report/ar6/wg3/

3) “Imbalanced diets, such as diets low in fruits and vegetables, and high in red and processed meat, are responsible for the greatest health burden globally and in most regions. At the same time the food system is also responsible for more than a quarter of all greenhouse gas emissions, and therefore a major driver of climate change.”

From: https://www.oxfordmartin.ox.ac.uk/news/201603-plant-based-di...
I may be missing some context, but what correctness bugs exactly are you referring to that are caused by multiple dispatch?
I'm going to disagee (kind of) - Reddit mods aren't woke. I think that reddit mods used the woke moment as a casus belli to consolidate power on the platform.

The same thing is going on right now politically and culturally in the United States. There is an excusable reason to publicly and overtly eject people who do not have allegiances to specific hierarchies of power in institutions. And in this moment those hierarchies are doing what they can to purge their domain of the dissidents. The language of wokeness (and wokeness is very language-driven) is a tribal marker. Its use or rejection signals friend and foe.

Even states are engaging in these purges by passing laws that their loyalists will endure if it means driving out the people not in the tribe. I can state prominent "left" and "right" wing examples of this, but for the sake of civility I will not.

Edit: I say the mods aren't woke but cynical because while they embrace wokeness, they are not like the radical academics that wokeness sprang from. People who did a lot of reading, and have very esoteric knowledge and reasoning for the things wokeness represents. Most of the reddit mods seem to have just adopted that mantle for purposes of friend-enemy distinction.
> “Woke”: an extreme form of contradictory progressivism popularized in the 2010s, which favors censorship and ostracization over intellectual engagement.

Yes, its used by the Right interchangeably with “cancel culture” as an abusive epithet with exactly the sense that the same faction used “political correctness” to communicate right up until they swapped in the new terms, except that the idea that the behavior attributed (falsely) as especially prevalent on the left was was novel in the 1980s in the general use of “political correctness” was updated to target the 2010s in the newer terms.
I had a Mozilla wave back in the days. And I was very happy. Today you need 3 containers, is it awfully complex and there is no documentation. And the Mozilla guys are far less helpful than in the irc days. Could be cool. But unfortunately sucks. Is there anyone with a Mozilla sync setup, that is reasonably secure and willing to share his configuration?
Russia and China to challenge dollar dominance with a new reserve currency
Maybe also packing efficiency. Cargo has to be less rigid and secured, more diverse load types etc.
Yeah, that’s a lie.

Try having what used to be the standard opinion about a certain topic less than 10 years ago and expect to be banned. Not just by moderators but by admins.
He generally only shows locks he knows how to pick. Unlocking is the payoff to the video and I don't think I've seen a single video where he didn't succeed, but if you read between the lines on his older videos, you notice him talking about the locks he recently learned to pick, locks he's never been able to pick, and so on.

He's very good, but he's not infallible. He just doesn't show his failures.
You could create a single mechanically adjustable key and a device to automatically try every combination.
This presentation of "A Pig Quest" for the C64 describes similar methods for efficient bitmap copying (the timestamped part is more relevant, but I recommend watching the entire thing): https://youtu.be/I8CTKeh8N0Q?t=578
that's the thing though, I've managed with a few, I have friends where I can show up at their door and stay for a week and it took WORK either contacting them every week or close to it. finding remote things to do, video chatting, whatever find a way to be present for THEM not just for yourself and even then there's a certain turnover.

this is something that I had modelled for me by my family though, my parents also have friends from childhood maintain friendships over long distances. I wonder if we hadnt moved so much if we'd be more complacent. A huge part of learning how to do this came about because I was living somewhere I couldnt speak the language.
Woke is used because we know who we're referring to, as do you.
There is an OR in the statement, ie purpose is only one part of the condition.
Anyone here can submit prior art during the patenting process. No suing or courts involved. You only have to care enough to make the submission.

Interestingly, videos don't seem to count? It must be a written description?

https://www.uspto.gov/web/offices/pac/mpep/s2206.html
Probably because we know how. After the Gotthard I am sure there are still machines and very skilled people working for their next big gig.
A year ago (312 comments):

https://news.ycombinator.com/item?id=27498789

Many of the links are dead. The technical details:

https://web.archive.org/web/20210615035229/https://next-hack...
I think you can type /played in the console to get the sad truth, we used to bully a friend by trying to get him to show us his /played time and he was too embaressed
thanks for the reply,

let me try and rephrase some of what you are saying to check my understanding

set of strings is countably infinite

so my "supra mathematical entity" is boring because for any given problem we could pose it can just function as a lookup table

even if you made an alphabet (strings whose characters had decimal places or something) that was bigger, then it would still be kinda boring cuz the hyper hyper turing machine would still be a lookup table (though maybe even the machine in my example could still just be a lookup table for an uncountably large language on account of having uncountably many tapes/heads).

i'm not sure if it was intended by you but my (somewhat crackpot) takeaway from your response is,

at the limit, computation and memory become the same thing (i was physics undergrad so this still feels profound to me lol (no postgrad yet maybe one day when i am richer) (and maybe also timely w/ gpt3 XD))

also i think i am still digesting notion that there is no general version of hyper turing machine
I look at these and still don't understand some stations :D

I swear there isn't really a tube - you just walk to your destination underground and the train is an illusion.
> I think Cassandra - certainly inter alia - simply sits at a level of complexity which is beyond the comprehension of any one human being

I think there are a handful of humans that actually get it. But it is a true handful, not more than 5.
It's your responsibility to not export PII of Europeans to America, and/or to stop them from accessing your content.
My €uro bank does that....within seconds of using my card a notifiction appears with the amount withdrawn/ deposited. Further under the 'push notifications' i opted for 'all', so also my direct debit bills get flagged to me.
The point is not limited to Int though. Say you have this struct:

struct MyStruct
a::Int64
b::Float64
end

Since the size of each field is known (8 bytes), the size of the whole struct, and thus the size of each instance of that struct, is known - 16 bytes. This is crucial information for inlining, loop unrolling, copy elision, deciding which register(s) to place the object in, getting rid of indirections through pointers.. If you'd allow to subtype MyStruct, the compiler wouldn't be able to know ahead of time what the size of a MyStruct object is and would either have to box every access (introducing pointers which have to be chased on access) or defer A LOT of work to runtime. With boxing, you almost immediately lose lots of opportunities to SIMD or otherwise optimize your code, because you have to keep a whole lot of extra type information around at runtime that's just not necessary when all your objects in a e.g. Vector{MyStruct} have the same size anyway.
I'd argue that ownership and even generics are not really fundamental to computer science.
what parts specifically of those sites? most are not hashes.
It's incredibly important for so many reasons. Just as a reminder, users have been shifting from desktop to mobile so the world is now mobile-first. Facebook had a bet-the-company shift in the early 2010s from desktop to mobile and the Instagram app is a huge part of why Meta is valuable today.

Reddit makes money through ads. Charging for API access and expecting third-party app developers to build an entire ad platform is not possible. The tech is incredibly difficult to build and then you have to actually get advertisers to use the platform (btw - this is something that Reddit is still failing at versus Facebook/Google/Twitter).

Something like 50% of Reddit's traffic is from mobile users. If Reddit wants to add new features for these users, it's impossible to do so if all the users are using third-party apps.

Bunch of other reasons that I can enumerate in a bit.
There is, if you click on a station, it starts to move to the next station automatically. Which station you click on next, determines if you’re doing the inner or outer loop, the site plays the correct melodies then as well as the in-train direction announcements.
This was a good read. Thanks!
I like the idea of letting the city put delapidated buildings up for auction and mailing the owner a check.
The only thing that prevented us from using MatterMost when switching away from Rocket.Chat was video/voice calls that would actually ring the mobile/desktop devices on the call. We had to settle with MS Teams and eventually got the MS365 bundle only because of the reliable calls in Ms Teams. Although chat is a pita in teams after using Rocket.Chat for years, we’re making more calls and writing fewer chat messages.
One suspects if the legal system put liability on the banks, they'd very quickly find some good solutions.
unconed is correct.
"you'll find that programmers have to reinvent the borrow checker in their head and manually apply it to code in whatever language they're using."

There are definitely other ways to do things in concurrent programming, such as isolating data structures to a single thread etc. and other forms of synchronization etc..
My experience hanging out in r/rust for the last few years is that it’s C, C++, and Java programmers who have the most trouble with the borrow checker. Many C/C++ programmers are used to being able to play fast and loose with pointers, and find the borrow checker restrictive because it won’t let them use the patterns they’re used to using. Java programmers are used to an object oriented style with mutable references to objects all over the place (which you can’t do in Rust).

OTOH hand languages like python (and especially JavaScript where pipelines of pure data transformations are already idiomatic) don’t use references much anyway, so use of them is new and doesn’t come with so many expectations.
It doesn’t matter if the vaccine gives you wings and free beer for life. The government should NOT be able to mandate an injection (tested for not very long) into a person’s sovereign body. (I am vaccinated btw, not that it matters)

Privacy violations are NOT a necessary evil. They are the slipperiest of slopes. Look to china to see where this road ends. The government is not our parents, it’s a naughty power hungry child.
Yes, Manchin and Sinema are more problematic. Still, I don't think you addressed my actual point, which is that removing the filibuster to pass federal abortion protection would be a big deal, and the best the Democrats could hope for today is a 50/50 vote with the VP breaking the tie. I'd personally be astonished if they even tried, not because they didn't feel like it but because it would very likely be a gun that blew up in their hand.

I believe this is the kind of issue where you'd have to overcome the filibuster, not remove it. This isn't something Democrats were realistically able to do in 2008-2010, and they definitely can't do it now.
You can dissipate some amount of energy per second when breaking. The energy is proportional to the velocity squared, so the breaking distance is proportional to the velocity squared. The density is inversely proportional to the spacing (here the breaking distance). The flow is density times velocity, which is ~ 1/V^2 * V ~ 1/V.
Therefore, the density decreases linearly with speed.

That means that the slower you go, the more parcels per seconds you will get, because the breaking distance increases more quickly than the velocity!

Of course this is a simplification, Because this assumes the trucks are points.
The best case of this model would be an infinite density of non-moving trucks!
In reality trucks have some length, which means that they can not be infinitely close, so 30kmph is probably close to the optimum.
It's also possible that poverty causes people to "self medicate" with cheap alcohol, and that crime is endemic to areas where there is poverty.

To me, this sounds like "broken windows" with more "data", but less attention to possible bias. And the fact that these "articles" present only points from the proponents and the police, and no real data or independent review, gives more credence to that theory, in my opinion.
Everybody knows about standards and adding a new one, but I must say if I trust one company to get it right it is bitwig. The way they implemented modulations, MIDI Polyphonic Expresions etc within their own DAW shows that they really do care about creating good solutions with a fresh look — something that I would not trust AVID or Steinberg with at all.
This is a deep exploration of modern out-of-order computer architecture, based around the M1 chip. It's the result of a significant amount of experiments, research and knowledge from multiple people.

If you want to get an idea of the challenges that modern CPUs face, then this is a very good starting point.