skysight-inc/HackerNews huggingface dataset:
But surely the goal of university is letting people get a university level education-- become mathematicians, physicians, engineers, teachers etcetera, serving the need of society for diverse types of semi-experts.

Furthermore, surely there is no need for additional facilities; and surely they don't need to be fancy.
> The low tech solution for scrubbing C02 from the atmosphere is to get more plants absorbing it and prevent the plant decomposition back to CO2 or even worse to methane.

Bring back moors. Moors can sink a shitload of CO2 - and there have been a lot of moors de-watered over the last centuries to gather peat and agricultural land.

The downside is you have to convince or pay off a lot of farmers who have farmed the former moors for just about the same timeframe.
Graphene supercaps will become viable before hydrogen fuel cell infrastructure.
Firmware and drivers have a massive impact on the performance of GPUs. It's not just hardware.
I don't really care if advertising is relevant to me. I just ignore it. I do care if services like search, YouTube and news websites stay free and don't go behind hard paywalls.
That's because if a company makes too much profit, it's being potentially inefficient - but if it makes too little profit, it goes out of business.
On Blogging
Or my favorite (I've watched probably too many). How to refurbish old rusted gadgets at home* fast.

*industrial machine shop not included.
> A shame if it does, Twitter is an essential part of the Internet's history.

A big thing I think that’s unanalyzed in our age of punditry and hot takes is — what is it about imperfect systems that is successful. Everyone sees the huge problems with imperfect systems, and yet, as bad as twitter is, it seems hard to imagine a product that is much better without fundamentally changing what Twitter is.
Holy crap, yes. I was lucky enough to not have my every move scrutinized and evaluated as I navigated my teenage years. My offspring won't have that benefit.

I sure as fuck made my share of missteps. There needs to be some sort of socially enforced cut off for 'kids being kids', but it starts with everyone not putting everything online.
You should check GTA cars then. There's Pegassi, Ocelot and Grotti. My favorite non-sports one is an electric named Coil. It even has the characteristic sound.

https://www.thegamer.com/gta-5-best-cars/
I'm not the one you replied to, but I'd say: Get any random dumbphone for a small amount of money, live with it for 2 weeks. See if you like it. If not, no time wasted deciding on the "best" replacement product.

For me, the 2 weeks turned into 5 years (so far).

Oh and I've migrated to a different country in that time, and I'm still alive, despite not having a navigation app thingy. No excuses! :)
Auto-updating Twitter archive with fuzzy search
Also, Streisand Effect: https://en.wikipedia.org/wiki/Streisand_effect
Europeans Are Burning Trees to Keep Warm
SPARK Ada by Example
How We Use Terraform At Slack
Setting aside that I don't know if I would count myself as a success in programming (my career has been mostly in ops, though my latest role has me writing more code), I think the main forces that got me here are sheer dumb luck and the happenstance of delighting in the right technology.

The only reason I got started with *nix is because when I was about 10 I saw some network news piece on this wacky Finnish guy who was making his own version of Windows with his friends because he thought Bill Gates, who was in charge of Windows, was lame (I'm sure it said something else, but this is what my child brain got from it). Basically I didn't get into Linux and the BSDs because I was a Unix fan (how could I be, if my only computing experience until that point was Apple iis at school and a few months of having our first PC running Windows 98?) but because I was drawn to the radical politics (though I definitely wouldn't have phrased it this way) of making your own free thing to compete with the richest guy in the world's expensive thing. When I learned that Id had released the source code to Quake under an open source license (the same one as Linux even!) too, I begged my parents for a book about C so I could understand it (though I never succeeded).

From them on, I was a computer hobbyist and free software ideologue and consequently became quite fluent in shell, Perl, and PHP, but I never even contemplated doing any of that as a career until I was laid off from work in another field and a few (jobless) weeks later saw a billboard advertising Linux admin jobs. I called and they hired me, and I accepted gladly because I was newly-married and broke (and my wife wasn't working at the time either).

My career progression since then has been a little more deliberate, but that initial spark was really because my pre-adolescent brain liked the idea of getting one over on Bill Gates.

In short, I was lucky to be interested in this soon-to-be-lucrative thing as a child, so that when I really needed a job I could "fall back" to it.
Well, like it or not, Twitter has become a major hub that officials use to broadcast information rapidly, and where journalists go to get the most up-to-date information. And yes, of course govt's provide also their real-time feeds, but they also often publish on Twitter.

It is just an unplanned result of the utility of the platform for that purpose, due to network effects; i.e., it could have happened on any platform, but Twitter happened to benefit from the network effects of being in the right time & place, a sufficient mass of journalists were there, officials needing to distribute info found it useful, critical mass was passed, and it became the place to go.

The fact is that this IS NOW WHAT IT IS, whether or not you think it suits your taste.

I have found that judiciously using it, making lists of reliable sources, that it is extremely informative, and allows direct unfiltered access to leaders in almost every field. While some sources are definitely in the [early alert but need to be confirmed] category, many others are in the [deeper analysis after confirmation] category, we just need to know how to tell them apart, which is the literal job of a journalist, to both get the early info and the confirmations (or failure to confirm).

So, whether or not you like it or approve of it, Twitter IS a key part of today's information ecosystem — one of the town's important wells.

The problem being alerted here is the threat that this key well is at risk of being poisoned. Just because you don't like that well anyway, doesn't mean it is not an issue.
Windows uses _shims_ for much of this stuff, so if you're not running the out-of-date program, it's not running anything different.

There are advantages to both ways of doing it, and for enterprise stuff the Windows way is very useful.
> in that you can always download an old version of Linux and run your old software stack.

That's not really what's meant by backwards compatibility. Backwards compatibility generally means your current OS can run your old software without having to install a raft of older (and likely insecure) versions.

Windows accumulates backwards compatibility "hacks" over time meaning you likely have a fairly decent chance of running your older software where vendors misused API's in ways they ought not to have.

Of course there are the usual caveats about running 16bit apps on 64 bit Windows where you'll need to find a 16bit emulator.

> Windows forces you to use a new version

It doesn't. If you were running Windows 7 or 8 on the cusp of the Windows 10 roll out, that 20-25 year old app will still run on the currently supported versions of Windows. The "hacks" for that ancient app you still know and love will still be there. Now there are some far away and yet undiscovered edge cases, as in really exotically and mythically rare that yes their hacks might only appear in a future version of Windows.
There's something special about Nimrod that really resonates with British people. I always found use of it in films to be a rather cheap shot, but I suppose in Dunkirk it is just on the right side of tasteful.
It's pretty common for judges, especially at lower levels, to have broad bi-partisan support. Lots of politicians are lawyers, and if you're well regarded by the local/state Bar Associations, you're going to have lots of friends and colleagues on both sides of the aisle. Until you start ruling on very high-profile cases, or if you have a lot of partisan scholarship, you're unlikely to alienate the folks confirming you so it largely comes down to what the opinion of you is at the Bar.

This is actually why you've started to see people nominated for high level federal posts and even SCOTUS without a lot of divisive scholarship, because they're intentionally staying away from these issues to try to maximize career growth.
Toxic smog has turned India’s capital into a ‘gas chamber’
I was actually wondering if there is a database on the web with the SHA-256 hashes of all the ripped CD tracks ever released.

That would be useful.
Intrested.
isn't it obvious that twitter is the de facto public square, dominated by liberals and operated in a way to bias society?

and now that a vaguely not-beholden-to-democrats figure is in power they're all switching their tune to disingenuous free speech advocacy?
> Well, it finally happened. I met my very first cyber-bully.

Followed by several Mr. Mackey paragraphs describing how people can be, gasp, rude online.

Shitposting predates twitter, the web, Usenet, and even BBS. Almost as soon as you could communicate with computers in the very first chat rooms you had academics hurling insults at each other. And before that you'll find cheeky telegraph messages.

You should read how Timur used to talk to people:

Believe me, you are but pismire ant: don't seek to fight the elephants for they'll crush you under their feet. Shall a petty prince such as you are contend with us? But your rodomontades (braggadocio) are not extraordinary; for a Turcoman never spake with judgement. If you don't follow our counsels you will regret it

I'd take cyber bullying over a Turco-Mongolic psycho on horseback taking personal issue with me any day.

Please, can we have a week free of twitter stories? Pretty please?
Now imagine heroin had just been discovered ~10 years ago... and corporations were peddling it to average folks who didn't know any better... And it was ruining people's lives... Oh yeah, that happened! Bayer knew on some level it was highly addictive, but it was legal and the money was good.

It won't get better until it's regulated.
Teaching the Science of Learning (2018)
I still haven't fully figured out how lifetimes work.
NTVDM and DOS/16-bit compatibility only died with the death of 32-bit Windows with 11. I'd say 40 or so years of backwards compatibility is pretty good.
The top Reddit example is tremendous. I'm passed being a Rust beginner, but I have a note to the Rust community:

Your official examples are overcomplicated and bad and you should also feel a little bad.

Stick to things like apple, orange, pear and you'll see much easier adoption than if you go with something like LendingIterator! Through the GAT process all I have seen is the same hyper-specific example used that confuses the hell out of people that just need the "Hello World" version.

If you want, I will volunteer to be the test subject "dumb" Rust programmer to vet the quality of future examples.

Tangentially related - here's a WASM example that goes from "Hello World" to Conway's Game of Life (I shit you not, that's actually how the tutorial progresses):

https://rustwasm.github.io/docs/book/
Protesilaos Stavrou seems to be facing serious financial troubles and has reached out for help. Prot is most well known on the inter webs for his contributions to Emacs and I’d be surprised if a significant number of people on Hacker News did not know him from that work. I also imagine a good number on HN have benefited directly from his contributions.

He’s not asking for money, just employment advice and leads. There’s a link on his web site with the details.

https://protesilaos.com/
It seems like you're implying that what the article suggests doing is theft. It is not.

Google's business model requires providing free services, if you take advantage of what they willingly offer (which is not theft), and they choose to spend more money than they make, their current business model becomes untenable.

However I don't know what their business model would turn into if everyone did what the article suggested, and the article made no mention of that either.
Unfortunately, anything short of a constitutional amendment explicitly stating that corporations and other collective entities do not have $list_of_rights that one may possess as an individual would be very difficult to keep in practice. Of course, this also would have to be limited to collective representation, not a group of people in person (such as at a physical protest). It could be very messy at this point.

And it all sucks. I think tethering legislation to making corporations exempt from income taxes, and refactoring taxation on profits and loans secured against corporate ownership might be the only way to get it through.
And now this post gets flagged, lol. I suppose the Elon defenders have logged on.
Every patent should be automatically granted and the courts can sort out the winners if there is a dispute. That is the system we have moved to.
> Is a ton of people really leaving Twitter?

Probably too early to tell. Early reports have it at like a million which would be a drop in the bucket. I don’t think Twitter would die just because Elon took over, the question is will his changes overall slowly improve the site or slowly degrade it for “most people” whatever that means, the hard part for Elon is the least sticky twitter users may also be the least vocal. He could listen to everyone and still lose a large swath of users for reasons he doesn’t understand.
I don’t get it. IKEA is much scarier than that game!
Unless you believe in the deep state, the difference is that we voted/can vote for the people in power who regulate Facebook, here in the US.
It doesn't really, though.

I'm happy with what I'm getting for the price I'm paying. I'm not interested in a bigger spend here at all.

So yes, it's completely fair to dismiss Pair as being too expensive based their prices alone.
Twitter needs to figure out how to render video in general, before trying to scrap with the big boys.
They’re wrong. The project was delayed several years and was several billion over budget.

>The Central Link project was originally planned to open in 2006 and projected to cost $1.9 billion (equivalent to $2.95 billion in 2020 dollars), but the estimates were found to be unrealistic by auditors in November 2000. New executives, hired by Sound Transit to replace previous program directors, presented a revised plan with an opening date pushed back three years to 2009, costing $3.8 billion (equivalent to $5.53 billion in 2020 dollars).

https://en.wikipedia.org/wiki/Line_1_(Sound_Transit)#Budget_...
I use a Nokia 105 that I found in a desk drawer.

>here in NYC it's nice to have maps when you're out

I'm very grateful I live in a country where going smartphone-free, a bit like going car-free, is still a viable choice while maintaining a relatively mainstream lifestyle. Good luck!

Saying that, colleagues and friends have had a laugh out of some of the escapades I've got myself in to, with no smartphone for navigation. I still maintain that my choice is better for me overall, in terms of time and energy usage.
How's "protecting your colleagues from a toxic space is a recipe for more toxicity"? And there should be no "trying" there. I fail to see a line that you drawn.

Please, explain.
I'm not familiar with Rust, but this seems pretty similar to how C# handles generics. Am I misunderstanding?
I read its different for Chinese kids on TikTok as the the platform does not allow the "destructive" content and garbage like it does in other countries. From what I can tell Facebook exploits everybody equally. Both are wrong but if true I feel criticism is merited.
Why is sugarcane in Brazil any better than corn in the US? If they use petrochemical fertilizer, the problem is the same.

You cannot sequester a ton of CO2 for $30/tn anywhere in the world right now. You can't even do it for five times that. If what you say were true, I'd be able to clean up after my own existence right now, which I can't do. I can only buy scammy "credits" and "offsets".
glibc != kernel
I have serious doubts that more examination time is the solution here - at the end of the day, the only people that have an incentive for completely thorough search are the people filing or defending themselves against the patent. And the people filing obviously make sure their language doesn't easily bring back prior art. Meanwhile you have no skin in the game at all.

I would posit the better solution is curbing overly broad/abstract patent language that can be used to litigate anything and anywhere - and you can use patent trolls to do this work for you:

Pretty much any NPE patent portfolio will work as a great benchmark for what not to allow, as they go out of their way to acquire poorly-examined patents with the exact characteristics i mentioned.
Those stores exist too, though.
It’s interesting to me because the only thing the sites have of any differentiator of value is the userbase. Without that they are really a fairly homogenous set of features, and most of the work has gone into advertising.

Tiktok also dispenses of the notion that you’re there to interact with friends - it’s entertainment for your interests.
Looking at the source code Whipper seems to be a Python wrapper around common command line tools in Linux.
The person upthread said they "vote against schools" I assume the intent it to have the children raise themselves on the street while their parents work in sweat shops like a Dickensian novel.

A teacher's salary might be 55k but you have not accounted for pension, FICA and health care.

A more interesting question is what should it cost to run an education system? A quick search indicates the U.S. "spends about 4.96% of its GDP on education, compared to the 5.59% average of other developed nations" So maybe things just cost more in the U.S.
The HakCat WiFi Nugget is a beginner’s guide to wireless mischief
Where do you live that people eat them? I thought it was common knowledge that they will kill you.

Allow me to quote from Wikipedia [1] where almost the entire article is about how they're harmful:

> The kernel contains amygdalin, a poisonous compound, in concentrations that vary between cultivars... they are toxic and potentially lethal when taken by mouth due to cyanide poisoning.

> In 2016, the European Food Safety Authority reported that eating three small bitter apricot kernels or half of a large bitter kernel would exceed safe consumption levels of amygdalin and potentially cause cyanide poisoning. The Food Safety Authority of Ireland advises against eating either bitter or sweet varieties of apricot kernel due to the risk of cyanide poisoning and advises consumption be limited to one to two kernels a day for an adult.

> In 1993, the New York State Department of Agriculture and Markets tested the cyanide content of two 220 gram (8 oz) packages of bitter apricot kernels imported from Pakistan that were being sold in health-food stores as a snack. The results showed that each package, if consumed entirely, contained at least double the minimum lethal dosage of cyanide for an adult human; the product was removed from stores.

Please stop eating them and tell the people around you to stop as well.

This isn't about crazy overconsumption killing you, this is about even a normal portion harming your health. Nobody should be eating these.

[1] https://en.wikipedia.org/wiki/Apricot_kernel
Did you read the article? They said there was no performance hit.
> For example, you can't run 16bit Windows programs at all on Windows.

Isn't that architecture limit? AFAIK 64-bit mode on x86_64 machines does not support vm86 mode, so 16-bit code cannot run directly on 64-bit OS. That is why dosemu no longer works in (64bit) Linux, while dosbox works, because it is full CPU emulator.
I'm passionate about all those fun little niche coding projects I have written in my notebook and want to work on. But I don't really have the time to develop my beginner-skills to the extent I would like to, for me being able to build them.

Which one especially?
Does Fortran run on GPUs?
With things like WASM and GraalVM this is becoming more and more realistic. We don’t really write ASM anymore because it’s tedious and error prone, same can be said for C. I wouldn’t choose it today unless I absolutely had to. Abstraction is the way.
They're going to lose more brand from doing this than they would have going along with the joke. I bet good money this would have subconsciously primed a lot of the people who play it to shop at Ikea. Now it won't. Wasted opportunity.
>my question is - what is the next step?

Wearables, AR/VR appendages and implants. I know, not the answer you were looking for
Then it's weird you're consistently trying to rebut complaints about Pair in this thread.
The article states they had no performance hit from switching to SPARK.
Makes me wonder if instead of settling it would be cheaper to buy the patent, knowing that the patent "owner" is only getting 5-10% of a settlement.

Presumably theres some contract with the patent "owner" preventing that, but maybe that would show they aren't really in control of the patent.
and regardless of when the poor suffer, the sad truth is always that they didn't have to
Only way I could figure out was using the core SDK. There was no service-only option that I could find. I just spent 5 minutes looking, just now, to see if another option exists. I got nothing.

So... if it is out there, it's complicated enough I couldn't find my miss-steps then or now.
Ah, so taking a Dutch website through Google translate is not considered helpful? I should just post non-English websites on HN as they are?
>what is the next step?

What could it possibly be? There's just text, images, audio, and video. All these social media companies are just riffing on those same formats with their own spin (filters, formatting, expiration time, content length, etc.) Same as with like/dislike, follow/subscribe, share, etc. actions. Same as with instrumentation/telemetry to harvest data and sell to advertisers. What else is there? Main difference nowadays is the recommendation algorithms for keeping users engaged.
The problem here is your use of the word "just".

Consider the idea of "going to the moon" versus the implementation
of Project Apollo.
This feels like the same conversation from a decade ago when Facebook really blew up and everybody wanted to get into social platforms.

Everything will not become Tik Tok.
You can view generic parameters as "inputs", they are controlled by the consumer of the type/trait (you construct a `Vec<String>` because you want to store a bunch of `String` values).

Associated types are "outputs", they are controlled by the impl (`<Vec<String> as IntoIterator>::into_iter()` will always return a `std::vec::IntoIter<String>`, because that is how the trait is implemented for `Vec<T>`).

You can often use generic parameters for "outputs" as well (you could have a world where you had `impl<T> IntoIterator<IntoIter<T>> for Vec<T>`). However, this prevents the compiler from inferring the "output" type since there is no longer a guarantee that it is unique for a given set of "inputs".
It's just a matter of time. The technology is still in its early phase; once the younger generations grow up the Metaverse will become much bigger.

Although, I wish there was more competition in this market so the technology gets developed faster.
Ada is the better Rust :)

I know the approach is not the same, but the goals are similar enough. And I think that Ada core principles are more useful and less "magical" for hardening code.