skysight-inc/HackerNews huggingface dataset:
I remember someone asking a question on Quora around 2015: "How long do you think Quora would last?" Someone answered that it probably would not last more than the next 5 years. I forgot what were the actual reasons he gave, but it gave me such an uneasy feeling that Quora could die in the next 5 years. Looking back at it now, it's probably around 2015 that it started becoming what it is today - SEO spam.
I was about to say something about animals that consume alcohol and looked it up[0]. It seems that elephants and monkeys do preferentially, which does seem to back that social angle.

[0] https://en.wikipedia.org/wiki/Recreational_drug_use_in_anima...
If you are interested, I wrote a thesis in 2007 on "object-oriented pattern matching" available at EPFL which "formalizes" pattern matching in Scala. It did not get into path-dependent types and does not have mechanized proofs, but has a discussion of optimizing translation to lower level code, exhaustiveness checks and user definable patterns (extractors). Like the author of the article, I found Maranget's matrix representation a great basis. This is because algebraic data types come in the form of "sum of products" (or enums with records) and once you have tested one level you want to expand the components of the tuple pattern (columns) and you deal with multiple cases (rows).

I won't claim my thesis is the most readable. I think I would do the presentation very differently today, but going back one's theis topic seems to be one of these impossible things in life if you don't work in academia.
Should have (2017) in title.
That's a feature, not a bug. Truncated files should not be accepted as valid
Forty-something former CTO here. Just tell them what you want clearly & concisely.

Do you want cash or equity? From your description it seems clear that you don't believe in the team or mission, so presumably value equity at zero.

Since you mentioned "my team and I" - I'm assuming you're running a dev shop or work with a few freelancers open to this type of work. If so - You could do something like giving them a one-page proposal for a 1-3 month MVP "sprint series" to "help them validate their concept" (at your current rate).

Don't "feel bad" for putting your desires first. It's the right thing to do. Also, don't judge them. I've seen some real underdogs pull through (it's rare so don't bet on it).
Systemic racism does not exist against whites in the US.
Why is it condescending? I can't drive or at least I can't do it very well. But before that, my spouse and I had long since sold our car.

To me, it is more condescending to insist that a car is a basic life necessity. It demeans those of us who live without one.
You could look at the Vue SFC Playground's code, seems like this does what you want using monaco: https://play.vuejs.org/
"Dwarf"? "Dwarf"?! I may be biased (because I am very effective at Rust and terrible at C++) but I can't believe this seems probable. std::optional, move semantics, boost, template templates, SFINAE(!!) C++ has all the expressivity of Rust and more, with far less regulation to assist the programmer in using it effectively.
There are many factors the general public is not aware of but that play a major role in food shelf life; the whole field of "food technology" is pretty amazing and under appreciated.

Chemical treatments are not the only factor- in terms of fresh commodities (fruits and vegetable) varieties grown play a big role; so too might post-harvest treatments such as irradiation (might be for phytosanitary reasons, but often can extend shelf life if the commodity can withstand it and remain high quality), nano particle coatings that reduce water loss and spoilage.. these are just a few of the things that are going on "behind the scenes" to make our food last longer and reduce food waste.

If you would like to learn more here is a good review on physical treatments specifically for cereal crops: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5920410/ . There is an awful lot that goes into "food quality", and there are important trade offs with every choice.
Not autoscaling; you just change the instance size. If you have a separate reader and writer instance you can do basically zero downtime by shifting everything to the primary, resizing the reader, then failing over and repeating.

Or B/G if you don’t. Still very little downtime.
That hasn’t been my experience with it. I found rust significantly harder to learn than C; and this is after I already knew C. (At least - learn rust to the point of feeling productive, and like I wasn’t fighting the borrow checker constantly).

Arguably becoming an expert in C means you need to understand all the nuances of undefined behaviour. And that’s a much harder process. But it can happen slowly. Rust preloads all the pain. You essentially can’t write rust at all until you understand rust references, lifetimes (implicit and explicit) and the borrowchecker. The payoff is huge, but I found climbing that mountain to be no joke.
> Auditing a docker container is way more difficult/complex.

I assume you mean auditing docker images. In which case, sure. That's why you grab their dockerfile and build it yourself.

Though using dive[1] it's pretty easy to inspect docker images too, as long as they extend a base image you trust.

[1] https://github.com/wagoodman/dive
Maybe this

> Should this second planet be confirmed, it would represent the smallest habitable zone planet discovered by TESS to date.
I do love Nix, and I think much more people should use it, but I don't really consider that a good alternative in the context of my original comment.

I'd argue writing a Nix derivation isn't that different from writing a package definition for any one Linux distribution. It solves the distribution problem for people who use that particular distribution/tool, not everyone. Now, Nix can be installed on any distribution, but if I was going for widespread adoption, I might point to Nix being a solution, but I probably wouldn't advertise it as the main one.
Arch has a very similar package format and is 21 years old. Alpine is more than 18. They haven't accrued much cruft in that time. One could argue they have worse support for things like cross-compilation, but many (most?) of us don't need that, and I see no reason to pay for it in 99% of use cases.
My friends are getting old and I bought them remote control for lights this Christmas that don't require an internet connection.
A/B tests are likely involved because no human would suggest those changes in earnest, but what metric could those tests have improved!?

Either it’s a series of unchallenged false positives, or there’s a lot about web interface that neither I nor they understand, but I would challenge the idea that is the result of a well-informed A/B testing culture. It’s the output of a thousand monkeys running a thousand tests a day for three years, and releasing anything that hits the green line.
mechanical watches use a weird vibrations per hour. so instead of 4hz you get an unintuitive but impressive 28,800vph

https://en.m.wikipedia.org/wiki/Vibrations_per_hour
Not sure microsoft’s problem is the language. Their frontend JavaScript code is bloated and slow. It makes office365 feel slow and there are so many bugs in the azure management tools. I assume the backend code has the same low quality.
I spent nearly 20 years in an American state without a car. Plenty of people I know do the same
Jumping back and forth between a JSON schema and writing valid JSON is not a very fun task
Microwaves transfer plastic components to potatoes
I think there is another option:

2a. The language includes limited primitives for recursion or loops.

If that’s done right, somehow proving that your program will terminate becomes trivial.

For example, allowing looping over a previously defined array with (key,value1) pairs to generate many more complex definitions that include common value2, value3, etc fields trivially guarantees termination, but a generic “while” loop doesn’t.

That will make you language less powerful, but IMO shouldn’t be problem for a configuration language.

In this example, I’m not sure you would even need that, as the language has ways to share common config values.
Infrastructure: From Zero to Enterprise
Give them $103, where they don’t have change and you don’t have singles. Give them $337, most people don’t carry around that much. I ran into this problem recently paying contractor. I could have gotten enough cash from safe but neither of us could likely have made the exact amount.

If you choose common app like Venmo or PayPal, they likely have that installed. It is annoying to do the dance about which app to use. But the transfer is done before can get more cash. With contractor I was glad they took Venmo instead of having to write check.
No it is not. Insurance companies get a bad rap, some of it deserved. But you would be absolutely shocked at the amount of exaggerated injury claims and the amount of fraud encouraged by lawyers and doctors.
Apple may be acquiring this AI startup for Vision Pro privacy
Japan:

> Current SIDS ratio is 0.44/1,000 live birth.

https://www.nature.com/articles/pr1999959z

US:

> 38.4 deaths per 100,000 live births in 2020

https://www.cdc.gov/sids/data.htm

38.4 / 100 = .384

You're saying 0.384 > 0.44 ?

Either way, the person I was replying to has a diagnosed sleep disorder. You're really going to say it's a good idea for someone with a sleep disorder to sleep in the same bed as a child?

No.

The safest place for the child to sleep is in their own crib. You may choose to ignore those risks, it's not against the law or anything, but no matter how you slice it cosleeping is a riskier behavior than not cosleeping.
The actual fsck command predates git by a lot of years. And they're both still incredibly stupid names.
I think that this sort of behavior is really just in Microsoft's DNA.
The lectures aren't a how-to guide. The items that are explained are to provide reference to the lecture material. For example the apache2 setup could just as easily be nginx, lighttpd on Windows, FreeBSD, Redhat, etc. Its explaining the concept of a DDoS, malware, viruses, spam, cryptography. Cloud primitives? how would that relate to computer and network security instead of being covered in an operating systems course? They are just abstractions of physical hardware properties and would be specific to the implementation you were working on, ie AWS, GCP, Azure, etc. Any specific implementation or security is completely dependent on what the vendor implements and is ephemeral.

The OWASP top 10 is self described as an awareness document[1] it wouldn't be something you teach a college course on.

[1] https://owasp.org/Top10/A00_2021_How_to_use_the_OWASP_Top_10...
Tasks.md: A self-hosted, Markdown file based task management board
Adding a new statement to Python (2010)
Thanks, I'll let fsck know.
Given the number of CVEs that can be directly attributed to C and C++ you only need to be half-joking to argue that approximately nobody has managed to learn the languages sufficiently to write production code in them.
The Secret Data Center at the San Francisco 49ers Levis Stadium
Isn't this similar to gradle (which is based on groovy lang)? Syntax and functionality looks similar.
If you're in a state that isn't regressive, teach your kids to jaywalk. It changes your view from focusing on the traffic signals to what the cars are actually doing. I don't think I go a single day without seeing a car flagrantly run a red light. There are no more rules and kids need to understand that.
The government doesn’t care about cash. They make a little money printing it. But are much more concerned about the state of the economy and don’t care how people are paying for things.
Well I guess... in most states simply driving while-wearing-earbuds is ticketable
I dont know the intricacies of stellar physics, but my understand that smaller cooler stars are less stable. Despite an average temperature that is habitable, the variability and EM environment is not suitable for an atmosphere.

Edit: 1) proximity also leads these planets to be tidally locked, which some argue is not conducive to habitability, though I don't find that especially compelling.

2) The local EM environment and solar flares would not preclude sub-surface habitability, but that is true for planets outside of what we consider the habitable zone as well. e.g. life on Europa has been hypothesized, but it is FAR outside the suns habitable zone.
The Cordova Iceworm Festival
Vue files are absolutely not valid HTML.
Geico will not give you a quote instantly and let you buy instantly.

you say you last bought coverage 18 months ago. i said the market failed in december. i encourage you to try to buy coverage now and see. i was also surprised since i expected the previous situation of instant insurance to still be in place.

not sure why i am being downvoted, i encourage anyone to try for themselves
It's amazing, I wish more cities around Europe would follow - I'm not sure how I feel about Parisian residents being exempt though. People living in Paris will have a parking permit allowing them to park on their street already, why do they also need an exemption from higher parking prices elsewhere?
https://news.ycombinator.com/item?id=39237510
Americans will use any unit of measure but SI units… /s
We do not know what kind of generation they use. Probably the cheapest one. We do not know who operates them (probably people who have a lot of money). And they do not produce their own panels, driving cost up for other people on the free market.

They would not tax mining/crypto though, because gov is interested in it. And it would be sold to people like "freedom" (but would be used by people who has a lot of money for speculation/tax avoidance).
Oh hi Linus.

Here's the thing: there is no reason not to keep pointing out that these are just bad names. And by pointing that out every time, someone might just pay attention and give their tool a better name in the future, because they took heed and decided against calling their tool "cwnt" in favour of calling it "check-wnat". And you will never know it could have been called the "oh stop being so thin skinned" cwnt.

And as a bonus, folks don't have to guess at what it does, the name tells you. Imagine if fsck had just been called checkfs... it would have been both a better name and would have saved a lot of askubuntu/superuser/etc posts.
Seems to me it's all about money. They all gotta make it somehow, and if ads are the plan, than it's going to reach this state eventually. User-funded services seem to fare better, but they rarely grow as large. I don't think there's any other easy solution though.

Nonprofits may not be looking for the mega-exit, but they still need to pay the bills somehow, so most of the same forces still apply. They are also more likely to draw partisan ideologues who are naturally more enthusiastic about having a way to put their thumbs on the scales of the discourse despite lower pay and no chance of that lucrative mega-exit.

Government-funded things have too many of their own issues. Practically impossible to start, execute, or pivot fast enough to compete with startups, and subject to political turf wars and overhead. Naturally, nothing much comparable to such sites has sprung out of that.
The auteur theory at work.
Yes, +1. This is a much smaller business than VMWare of course, but the PE fund that is Broadcom seems very likely to follow the revenue-optimizing playbook that many other open source custodians have followed, moving to "open core" like licensing with fee-only add-ons and more remunerative subscription support options. Is the footprint large enough for someone like AWS to justify running a Corretto-like fork and packaging of Spring? Does not seem so to me.
At 138 light years any intelligence in this system would start potentially receiving our radio signals in the next two decades. They’d need a massive radio telescope to hear them though since at that distance even the strongest signals would be extremely weak.
Nothing I said about current systems is false. "It's one big equation" isn't an accurate description of a forward pass.

There's no theory barring what computation a forward pass can or can't do. That line doesn't exist.

I didn't switch to anything. You're just arguing something that was never being argued in the first place. Never did I mention anything about being Turing complete or having memory until you brought it up.

>Humans perform recursive computation when they count or add and probably when they form sentences.

Okay ?

GPT-4 can add. Anything it outputs gets fed back. The transformations of previous layers are used for latter ones. It can perform recursive computation just fine.
There are tons of Rust jobs in blockchain.
Quora is basically unreadable now. The layout is so confusing.
It begins: Ethiopia set to become first country to ban internal combustion cars
If needing to be tethered, Apple Vision Pro should’ve put more of the compute in the battery pack.

Sure there are latency concerns, but Goggles should be “lite”, more “heavy” compute with the battery pack.

Also seems redundant walking around with iPhone and Vision Pro battery pack. Future Vision Pros should be powered by iPhone Pro or MacBook Pro, with limited R1 chipset embedded in Goggles
If you get a loan on a vehicle also get GAP insurance. It's stupid cheap, $10-20/mo. I had a car stolen and totaled that I owed $26k on. USAA, who were absolutely horrible to deal with after 20+ years of using them, was only willing to give me the "Local cash market value" - this means they open up craigslist and look for the cheapest private party car of your model. This is not hyperbole.

They gave me $15k. I went from a beautiful 2008 Lexus IS350 to a $2500 2001 Honda CRV because I had no money to buy a car with other than the cash I had left over in my bank through bo fault of mine. It was actually even worse with lot fees after the police found the car and impounded it, etc. But that's another story.

GAP covers that, and car thefts are up at a massive scale now. I get GAP on every car and if the dealer has some anti-theft option I get that too. I bought a car last week and I think it was $900 and if the car is ever stolen or wheels stolen over 5 years I get something like $5k cash. I'm also going to put a DroneMobile system in it.

Don't get a car stolen. Garage it if you can. I used to have that "USAA will cover me! hehe! no worries if it's stolen!" naivete until it happened.

I seriously can't explain how rude they were to me. Had a fraud investigator come to my house and grill me in the most despicably rude way possible. They acted like I tried to get it stolen or something to get out of the car payment. "I've had this car since it was new, never missed a payment, and I I'm still employed making $YZ money. Why would I try to get out of my payment by .. hiding my car? Leaving it open to steal?" I'm not kidding. It got stolen when I walked into a Walgreens to buy a frozen pizza.
> A Vue SFC is syntactically compatible with HTML.

https://vuejs.org/api/sfc-spec.html
I expect you could learn a lot of things from an open data feed into another country's population.

The TikTok fears are limited to capturing like/don't-like.

Generalize that to the massive amount of data streaming between cloud models and back?
> more training (particularly in tech and tech-adjacent issues) and
more power over curriculum.

Yes yes!

They are crying out for this too. I was involved in an international
conference a few weeks ago on attachment theory and education and all
the UK and US teachers said that they want more training to become
more self-sufficient in IT. They want more autonomy over elements of
the curriculum that use tech.

They are also uncomfortable with using Big-Tech products in schools
and concerned for the children over privacy.

Unfortunately I can't post the video b/c rights/confidentiality but if
I am ever able I will do so.
I feel the same way about Amazon.com. It feels cluttered and messy. Most the opt-ins / opt-outs have to be read closely to make sure you're not being suckered by some dark pattern.

If you visit Amazon often enough you kinda get used to it. But a new vistor imho would be shellshocked.
I'm a Rust convert, but that needs to be put into context: I do stuff in in cryptography, often on embedded. Prior to Rust I did C and C++ for most of my work. There's also Ada... and it has SPARK, but Ada has never had the level of exposure that Rust has achieved.

But there's all manner of "business systems", e.g. Java/RHEL shops, ".net shops", where GC pauses don't matter, the code is something other than CPU/memory bound anyway,the GC/JIT are mature, and a human writing C++ likely can't do better and will probably do worse. I've seen this with a write-heavy log-ingesting system where the developers used smart pointers everywhere - which internally use atomic reference counting, which implies sync barriers for otherwise entirely unrelated data. I agree, these kinds of places are unlikely to move to Rust - the code writes faster in anything else and runs well. There's also Go, which has a GC but compiles natively, GraalVM, which is AOT compiled Java etc. I definitely agree GC'd languages are not going anywhere.

I'm not sure I agree with C# becoming more important because of ARM, though. I don't think it'll change much - I think shops already invested in certain stacks will mostly stick to them and for all Rust's popularity, it doesn't make sense to implement your CRM in it really. It does, however, make sense to reimplement the C++ parts of the .net runtime and miscellaneous other C and C++ parts of Windows that can benefit from the borrow checker, because it vastly reduces spatial memory safety bugs. There's a massive cost to this, but it's no longer just about about on-prem patching but Azure.
How does that work? Do you just hope no one buys the car in the meantime? Or will the dealer let you store it with them?
I would look around more. You might like one of the small reactive frameworks if you find the large ecosystem of React and Vue off-putting. My last jQuery app was several years ago, when I realized I was just maintaining a slower reimplementation of a reactive framework. These are mature technologies now that quickly save time and prevent headaches down the road. jQuery's best lessons have been absorbed into both the reactive frameworks and native JS and you can alias the handful of selectors you're used to.

For development, browsers and version managers/containers are stable enough that you won't be on a deprecation treadmill. Any pressure would come from including other people on the project, which you'd get even more of with jQuery.

I appreciate the 'do what works' mindset quite a bit but I hope you'll give a modern reactive framework or library a try; I'm glad I made the change.
Years of watching anime, though, has led me to believe a certain eastern culture is basically celebrating awkwardness. ;)
For a policy that's ostensibly designed to fight air pollution and "reclaim streets for pedestrians and cyclists", penalizing vehicle tonnage seems like a weird way of achieving it. If you want to fight air pollution, charging based on emissions like the ULEZ in London[1] seems like a much more effective way of doing so, especially since a 20 year old sedan can easily emit more air pollution than a recent SUV. As for "reclaim[ing] streets for pedestrians and cyclists", the bigger problem is arguably on-street parking itself and the space it occupies, rather than the of the cars occupying them. If you want to create more space for pedestrians and cyclists, replace on-street parking with cycling lanes or sidewalks, and the market (for parking spaces) will take care of the rest.

[1] https://en.wikipedia.org/wiki/Ultra_Low_Emission_Zone
Google sending traffic to Quora, one ad-based business to another, with user being secondary and content on both being incentivized by ad clickthrough rates, is a dying paradigm. It had a good run though but I do not imagine it will be missed.