skysight-inc/HackerNews huggingface dataset:
> Microkernels are not obsolete (see seL4), but HURD unfortunately is.

Why HURD specifically?

But I didn't mean microkernels, but the debate. Basically my view is that nothing stays pure. If microkernels have significant upsides a monolithic kernel like Linux doesn't have, then the logical outcome is that Linux copies the required feature like eg, FUSE.

Yeah, it's not a true microkernel, but who cares? It can do the cool thing. Nobody cares about purity. Computing is about getting stuff done.

> Also, to give just one counter-example, I don't think many people have redundant mobile phones in case one of them crashes.

A modern cell phone has a tendency to forget stuff anyway. I mean Android will just randomly stop background programs when it pleases, so every app has to deal with that possibility. So the phone rebooting has little effect, other than taking time.

> This was more-or less true from the moment discreete GPUs started shoping up. Modern PCs have dozens of independent processors (some of them running their own opertaing systems)! If anything, that's more reason for microkernels.

How so? I have two overall points here:

1. With hardware being complex and stateful, rebooting the driver may just not help. If something inside the video card is locked up, no amount of rebooting the driver is going to fix that.

2. There are complex webs of dependency, which often aren't easy to resolve in a fault tolerant manner. Most stuff will probably just crash anyway even if recovery is theoretically possible. Recovery paths are very rarely exercised.

> Yeah, I agree Linux will never changi its system architecture, but that doesn't mean thinking, researching and building other operating systems using different architectures is obsolete.

No, I mean it's not worth it to the average person to switch to a different OS for the sake of a benefit that might materialize extremely rarely. I'm not itching for a better OS which can survive a driver crash because the time when that happens for me is essentially never.

I think in the last 3 years I might have seen one kernel panic. Switching to a very different OS for the sake of having a system that can survive such a freak occurrence would be wasting my time. I'd spend far more time learning HURD than I'd gain in productivity.

> Ah yes, ye olde "just don't write bugs!" argument :-)

This, but unironically. If you're concerned about reliability, then the better approach is to avoid failures to start with. Rather than having a system that can tolerate something overflowing a buffer and crashing, how about a system that doesn't allow you to even compile something that does that?

Huge advancements have been made in creating languages that lack many of the stupid pitfalls of C.
For Reddit to go public they have to submit a financial disclosure known as the S-1. This will give the public an idea of Reddit's finances and business model.

There's a long way to go before shorting can happen. If anything, Reddit are shorting themselves.
The moral hazards of being beautiful
Keeping immigrants down usually does not benefit the majority population -- at least on the long term.
Sure, it was a secret project at Apple and a surprise even to a lot of employees.

I meant when they actually opened the gates. My recollection is that they were overwhelmed by the feedback and community building.
Which book by Nocedal and Wright? Can someone link to it?
Awareness is certainly an issue, but I've enabled adguard's DNS on my mobile device and it does indeed block almost all ads and doesn't cost me any money.

Admittedly, I'd prefer not to depend on third party DNS as a solution, but it's trading one entity having access to my requests for another. I used to be able to do this with a simple hosts file/blacklist solution, but I finally succumbed to the various user-hostile policies of "ability to elevate to superuser is OK on a laptop, but not on a phone" and have not enabled su on my current device (needed to manage hosts file).
I think if it works with complex figma designs, people will definitely want it. There's a separate question of how many people will pay for it, but I think some will. I've looked for similar products for converting figma to html/css even.

I've paid designers considerable amounts of money to get them to convert figma designs to webflow sites. I think the need to converting to react is similar. I'll note that the designer that I ended up going back to was the one who converted it in a way that was pixel perfect, and who made sure that some of the things missing from the figma (e.g. the hover state of certain buttons) looked good. What I'm trying to say is that if it can do it 80% well that's nice, and then it's a tool for designers to save time, if it can do it 100% well, then it's a tool for the end buyer and they wouldn't need to hire the person to convert it to react.

See also: https://www.figma.com/community/plugin/862039267149408972/Fi..., https://www.figma.com/blog/introducing-figma-to-react/, https://www.animaapp.com/blog/design-to-code/how-to-export-f... - and note that competition is a good sign, if there was no other approaches to it it probably would mean that it's not something users care about.
Yeah, lots of synthesizers have that feature, but the problem is that it's accomplished "client side", by the synth. It recieves a MIDI message that says "Play me a D" and the minilogue in Werckmeister mode plays a D detuned by 6 cents instead. Crucially, it makes the instrument play something different than what the controller asked for.

Unless your entire setup is composed only of Minilogues all configured in the same tuning settings, your electronic instruments will be out of tune with each other. Plug in an old yamaha because you like the sound? Now everything is out of tune. This isn't supposed to happen in a MIDI workflow.

It would be much better to be able to specify tuning system in the midi messages itself, so that any instrument, hardware, software, or whatever, knows to make it's Ds 6 cents flat so your whole electronic orchestra can be in Werckmeister tuning together, instead of just the one minilogue.
A nice, colorful collection of CSS animations for your projects
Just a product, pre-launch.
Thanks, it needs 9 and I have 8. I'll have to find a deb just for this, though, as Copilot is pretty handy.
Lattner being behind Mojo always engendered some benefit of the doubt despite my initial gripes with the marketing claims, but his recent interview with Lex Fridman [1] further emboldened my stance that if Mojo can succeed, Lattner is one of the best-positioned engineers to see it through.

[1] https://www.youtube.com/watch?v=pdJQ8iVTwj8
The extra smart thing was making users pay to undo it so it could go back and forth as long as users had money to spend and an axe to grind. Though making a source of revenue proportional to the level of drama may had some negative impact on toxicity. And yet still somehow less toxic than places like 4chan?
Could someone explain why a new web interface, albeit arguably better for mobile and actually enjoyable on desktop if the following can be forgotten, is so damn slow? When loading it appears to emerge from unknown depths and open up with a heavy sigh. Personification of a tool but this the impression it gives me every time. I thought 2020s were years when multi cores and gigabytes of memory would render everything snappy.
The melting thing is the thing that flipped me(like 10 years ago). Russia shipping stuff from previously frozen areas during the winter was something I couldn't deny.

Like, you can ignore all sorts of science under the guise that it was bad science. Anything biology and beyond has some sort of issue with methodology.

However, a physical ship, bringing products/oil, in a previously frozen area, was undeniable.

Who would have thought it was a logistics person that flipped me rather than a scientist.
I mean, aside from bypassing the whole point of having them.
H1-B is a lottery and most companies won't sponsor you when there is uncertainty. O-1 is for individuals with extraordinary ability so probably not ideal for most people. L1 is probably the best option OP can look at. Also there is no paperwork to handle. First you need a job offer and then the company sponsors the visa for you.
> FB is highly profitable, Reddit loses money.

Okay, and? Bytedance is also profitable. Apple is also profitable. Netflix is also profitable. They all do vastly different things to achieve profitability. What works for one company won’t necessarily work for others.

Just because another company is profitable does not mean it needs to be mentioned every time Reddit is, and that was my entire point.

People don’t even necessarily have a problem with Reddit trying to become profitable, but with the extreme disregard for their users they’ve shown in the last few weeks. Is that common between all the companies above? No. And certainly not to the extent Reddit has shown. And that’s what all these topics have boiled down to.

I’m sure if an article comes up which talks about Reddit and Facebook, then Facebook will come up in conversation. Unless that happens, there should be no real expectation for it to come up organically.
> I guess jokes are no-longer a thing in our culture?

Nah I just think people here like to be liberal with their downvotes. "I didn't find that funny, downvote"

While I didn't get the joke, I still appreciate the attempt.
It's still not quite what the experiment is designed to test. How many people who opt out when given the ability would stick around when not given the ability?
Infrequently Asked Questions
Looking around Knuth's web pages after checking out his questions for ChatGPT, I found this, which really surprised me. I didn't know he was so thoughtful about such things.
There is also this:

https://www.craig-wood.com/nick/animations/

If you are interested in more juggling animations.

I specifically enjoy this comment:

> When making the men juggling men etc animations I made a small mistake which made the smaller men juggle at twice the rate of the larger men. This halves the quality of the smaller men's animation, but I left it because I rather liked the smaller men juggling faster the smaller they got.
You fill out this form and they send you a link to make an account in a few minutes. I did it this weekend and it was pretty painless and I haven't gotten any marketing emails from them... yet.

That being said, I wouldn't describe it as 'open' at the moment. It's more just that you can verify any claims they make.
I find this debate fascinating, and I'm excited for more people realizing that a) We have a very, very blurry definition of intelligence, and b) As more people get convinced there is some intelligence in software, more people get convinced there is (or there might be) intelligence in animals. Whatever the bottom line on current LLMs is, the cultural change they might foster makes me smile.
> even has the entire STL open sourced.

You do realize that everything from llvm/clang, gcc, libc++ to libstdc++ is open source? MSVC is late in that regard (and the compiler itself is as closed as can be).
Source? Coronaviruses (e.g. SARS and MERS) have been researched all over the place as it was years ago (before COVID outbreak) already stated as one of the major virus groups with potential for pandemics.

Prolly you'll have a hard time finding a metropolis which wasnt researching corona viruses.
Excellent point. Even as a non developer we are automating things like deploying databases for a application and complete system backups. We pay for that app to be developed but it pays off 200x once it's deployed and realized across all the like systems we manage.
Excellent, reminiscent of the search by postcard service offered by Google in the early days: https://www.labnol.org/internet/google-postcard-search/8085/
One can run a llama 13B finetune on a 2020 16GB laptop, at (for me) ~230 ms/token, and hook it up to duckdb with off the shelf open source UIs.

But it is kind of "stupid" compared to gpt3.5 unless you make the jump to Falcon 40B or LLaMA 30B/65B. And (right now) you need a pretty beefy PC for those models.
Source: https://programmingwithstyle.com/posts/myhackedcarisdoomed/
I have a wall mounted Open design case (Thermaltake Core P5) - dust has not been an issue at all. In fact, getting rid of dust is lot easier. Since I don't have to open up the case to clean it out. I just use a handheld blower to blow out the dust every so often from the sides. Regardless, it for some reason has far less dust pile up than a close case. I assume because in close cases, dust has no room to move out as easily.
check out genode
> as many as 274 species going extinct every day

This number is not based on evidence. I clicked through the links on this number, and it traces back basically to guesses that say if there are 100 million species on earth and if 0.1% of them go extinct every year then, well, that divides into that number. If you try to look up specifics - birds, for instance - you'll find that far fewer bird species have gone extinct in this century so far than the pace of the last century[0]. Which is actually encouraging! We are up against big odds but the immense efforts put into conservation are not hopeless - it's working!

[0] https://en.wikipedia.org/wiki/List_of_bird_extinctions_by_ye...
This take seems short sided, at best. Because we don't have a perfect solution with zero friction to swap to, we shouldn't try? Most new tech goes through growing pains, including reddit back in the day.

It's fine to be critical, but it's important to foster an environment that encourages growth and competition. Have electric cars sucked for the last decade? Yes, but we should still invest and promote them as they offer a better future.
On Android the shortcut icon is derived from the favicon, so material design doesn't apply. (There is also a "badge" for the browser app itself).
I like this. Speaks to my own goal of creating "micro" communities. https://micro.mu. We limit groups to 20 people. I think that's an ideal number for real connections. Need more, it's likely for a different type of communication.
I think the problem is that people read the analyses that companies share publicly (e.g., in a press release or earnings call), and they assume that that's all they did.

You should assume that any numbers shared publicly are just the tip of a giant-ass iceberg and that there were probably 10x more analyses going on internally that weren't shared.

The thing that ultimately gets shared publicly is whatever avoids using advanced stats or internal jargon; They want a single soundbite, not a scientific paper with a full methods section.
Some interesting passages here:

> Another dynamic inside our industry is that journalism, to some extent, has become an echo chamber.... if you are like many journalists of your generation and in my generation, you probably started at a local paper.... You were probably writing one story a day to three stories a week somewhere. Every day, you were out in the communities you were covering. You were being confronted with the full diversity of this country and of the human experience...

> [Question:] Are you saying that’s changed? That reporters are just sitting in rooms in front of a screen? I don’t think that’s the case.

> Of course it’s the case! It’s the least talked-about and most insidious result of the collapse of the business model that historically supported quality journalism. The work of reporting is expensive. As traditional media faded, and particularly local media faded, and as digital media filled that vacuum, we saw a full inversion of how reporters’ days were spent. The new model is you have to write three to five stories a day. And, if you have to write three to five stories a day, there is no time to get out into the world. You’re spending your time writing, you’re typing, typing, which means that you are drawing on your own experience and the experience of the people immediately around you. So, literally, many journalists in this country have gone from spending their days out in the field, surrounded by life, to spending their days in an office with people who are in the same profession, working for the same institution, living in the same city, graduating from the same type of university.
As can be seen in this thread, they have their reality distortion field which makes a segment of their audience see everything they do as somehow consumer friendly. So it isn't that surprising that Apple would try to get away with far more egregious stunts than other companies.
From the Penguin Sales email I received this morning...

I believe you inquired about our laptops some time back as we literally had nothing the laptop section and were told that we were working on replacing an older generation when you reached out.

We probably told you industry norms were working against us. Basically the industry has migrated to design choices that are pretty terrible and while we could get around them it would take more energy and capital to do deviate from those bad choices.

For instance the wireless antenna on most newer laptops is placed under the laptop rather than in the screen. This interferes with the reception so using the laptop at a distance from the access point can be problematic.

Touchpads that are designed to look good, but don't function well. Well, we've got a model with physical buttons now alongside multi-touch support so you can get the best of both worlds. At least in terms of functionality and usability. Though I'll admit it might not look quite as pretty- at least the laptop is still a very thin portable awesome looking unit.

There will probably be a video coming out this week demonstrating the new model.
I strongly back the Divio system for documentation, it works great. But you should know that the creator of the system doesn't work at Divio anymore and the newest iteration is now called Diataxis https://diataxis.fr/
https://archive.is/bEfmy
From Wikipedia:

> The George Floyd protests and subsequent Black Lives Matter demonstrations in the Netherlands in 2020 appear to have had a significant effect on the acceptance of Zwarte Piet's traditional appearance among the Dutch public. A June 2020 survey saw a drop in support for leaving the character's appearance unaltered. 47 percent of those surveyed supported the traditional appearance, compared to 71 percent in a similar survey held in November 2019.

Perfectly organic local protests and totally not fuelled by US activism, indeed.
Are people still playing this ODM game?

https://www.quantatw.com/Quanta/english/product/qci_nb.aspx

Is there a Quanta SKU for this model?
> Without it buying index funds is to buy no matter the cost.

for the retail people who are bad at actually discovering prices, their buying of index funds instead actually makes the market more efficient.
The pre-iOS Android was a blackberry clone
> Think about it.

That's the hard-hitting evidence that was missing.

And that's why this topic is so taboo and annoying. People turn coincidence into proof.

Clearly, you have an agenda that encourages people to stop looking at facts and instead to make things up they don't have answers for.

Think about it. (This means I'm right, right? This means if you don't agree with me, you aren't thinking, right?)
I'm accessing a forum with a number of people greater than 1. So the idea is that the question is for other people besides myself.
OpenMP vs GCD? That’s apples and oranges. They’re not even in the same ballpark. I can’t fathom how GCD fills the same needs OpenMP targets, nor can I see how GCD is Apple’s “no” response to OpenMP.

And GCD is open source (not sure when the source was first made available, though). It even supports Linux (thanks to Swift) though that’s recent.
At a global scale yes. Now look at specific countries/continents, some are absolutely exploding: https://en.wikipedia.org/wiki/Demographics_of_Nigeria#/media...

https://www.populationpyramid.net/africa/2020/

They currently use a tiny fraction of the energy the west does (and pollute a tiny fraction), they'll eventually catch up in "quality of life", with all the comes with it (exploding energy consumption)
WeWork also captured unique value for thousands of people before their company collapsed and everything fell apart. Your product doesn't need to be vaporware to be a bubble.
Of course they are two different teams. They are still one company though, one that displays absolute disdain for their users, why would they suddenly care about properly up and downscaling when they can't even get absolute basic UX/UI right?
A large banner, as someone else mentioned, seems like the perfect place to use one of these. “Come see the new exhibit at the art museum” e.g.
If you’re going to make changes that affect the lives of billions of people, the burden of proof is on those proposing the change.

So if you have a good argument that extreme summer heat and flooding is actually good, go ahead and make it. But the benefit should be global. The people in Bangladesh shouldn’t lose their homes and livelihoods.
Security is a process not a product. Reduce your attack surface and practice defense in depth.

Once you know how it is a small investment of time to compile a custom kernel with everything you don't use disabled.

On any modern machine, just disable swap. It's not useful unless you want to suspend on mobile.
My kids watch the Bill Nye on Storms, and they talked about El Nino quite a bit. I looked it up and its supposed to have almost no effect on the eastern United States.

However, now we are saying its going to make a big difference in rainfall on the east/northeast. I don't understand why the wikipedia article and this year's articles agree.
Ask HN: Which is the best book you read in grad school or  your research career?
Some students/researchers who like to learn mainly from books have a few favourites that they attribute to their acquired knowledge/skillset.

Do you have any such "best" book in your research career till now?
Perhaps 's/liberalism/modern capitalism/g'? Outside of a few ultra-religious niches, family sizes for modern conservatives are also plunging. Today's all-noses-to-the-grindstones short term economic "maximization" is squeezing ~every voluntary but not-quickly-monetized human activity out of existence. And it has long since figured out that a couple having one kid - whose "normal" birth runs up $100,000+ in medical expenses, and whose college education will cost $500,000+ - is a far better outcome for Wall Street than anyone being able to dream of having 4 or 5 kids in a fairly sane 1950's-style society and economy.
Sure, but do you have any indication cryptography is involved in this process? In my (limited) experience as a consumer, they just take some existing PDF and add marks on top of it.
Whoa. I got a little over 1k for a 32g/1Tb build with bluray burner. I’d be fine picking this up if I really were in the market. It’s maybe a premium on what I could pick up at Costco, but honestly not that huge of a markup. Unfortunately small boutique shops like this can’t price like mega outlets like Costco, but feels like they did fine.
Very cool! Thanks for sharing. What’s the benefit of your service over a Signal group chat?
To be honest, that's kind of the point. When you're "webscale" you're inevitably at a level where you have to pay a lot of money just to keep the site up. Smolnet is supposed to be run from someone's basement.
I don't think so. Jack Daniels spent a lot of money to make their logo and bottle widely known. Another company is 1) trying to make money off of that spend, and 2) destroying value created by Jack Daniels. Trademark law is a relatively non-contentious aspect of intellectual property as is evidenced by the 9-0 vote.
So no one remembers Digg anymore, and how Reddit initially grew because Digg was pissing off its own community.