skysight-inc/HackerNews huggingface dataset:
Note that L4 and seL4 are very different kernels. They represent the 2nd generation and 3rd generation of microkernels respectively.

With that out of the way, you're right in that the microkernel doesn't present a posix interface.

But, like QNX, there are libraries for that, seL4 foundation itself maintains some.

They have a major ongoing effort on system servers, driver APIs and ways to deploy system scenarios. Some of them were talked about in a recent seL4 conference.

And then there's third party efforts like the amazing Genode[0], which supports dynamic scenarios with the same drivers and userspace binaries across multiple microkernels.

They even have a modern webbrowser, 3d acceleration as well as providing a virtualbox box that runs inside Genode, so the dogfooding developers are be able to run e.g. Linux inside a virtualbox to bridge the gap.

0. https://www.genode.org/
Quad/Triangle Subdivision – Jos Stam1 and Charles Loop [pdf]
what will be the use of this if implemented in blender?
Better yet, make it so I can just walk to the thing that I want to do
True, that it was supposed to be sarcasm. But now that I’m reading it I did not really make it that clear..
I’ve seen it twice. It was great. It is a documentary

Sure, I’d like it if they discussed the algorithm and the code but you need to entertain a regular audience.
Chiming in from Minnesota, 11 cents per kWh.
Um - for years now real estate agents have been specifically told by their lawyers to not use that language, because it's been well-established that it is not true. If you've heard that language from an agent, it's a good sign they were either new to the business or dropping soundbites to sound knowledgable.
In this instance I’ll say burn it if you want. Although it leading to a natural wildfire is highly dependent on local climate. Where I live, for most of the year it’s too cold and humid for anything like this to happen, except during maybe 2 months a year. But I appreciate that in places like California or Australia it may be different.
Riding a bicycle as a primary form of transportation isn't for everyone. But it is for some people today. By building safer bicycle paths, cycling can work for more people tomorrow. And by advancing technologies and subsidies, e-bikes can open up cycling to more people still.

Even if cycling is a thing that some people only do in pleasant weather, individuals and society benefit from more people cycling and less people driving cars.
I agree with you that redress of grievances is a Constituational right. Thank you for answering my original "Is that [bringing civil suit] a Constitutional right?" question with a framework in which one can see it as one.

> They’re abridged by the de facto obligation to get vaccinated (unless you want to lose your job)

Ah, here you do run into an issue. There is no Constitutional right to have a job. Kind of an oversight in the construction of the whole thing, really... Quite a bit of the pain in American culture can be traced to "The whole Constitution ultimately does not care if an individual starves to death because they can't participate in capitalism."

And there's plenty of precedent regarding one's health status precluding one from being able to have or maintain a job. Typhoid Mary, famously, was legally precluded from kitchen-work because she was a typhus carrier. Her repeated entry into that field in spite of this stricture placed on her for the health of the citizens of New York (and her entry into other service-sector fields, eventually resulting in the deaths of 3-50 New Yorkers) is how she eventually landed in permanent quarantine.
They also supported Apartheid South Africa... so must have changed fairly recently.
Five NYC financial district buildings are being turned into housing
It's funny that two decades later, basically the only games Valve still actively develops are Half Life mods (Counterstrike and Team Fortress).
I question the sentiment. I think people CAN argue the basis of a fact, however, being pragmatic and holistic can help provide some understanding. Truth is always relative and always has been. However, the human perspective holds real, tangible, recordable, and testable evidence. We rely on the multitude of perspectives to fully flesh out reality and determine the details and TRUTH of reality at multiple scales. The value of diverse human perspectives is similar to the value of perceiving an idea, concept, or object at different scale.
I can't get Copilot to generate Python that adds numbers together correctly sometimes. Getting an LLM to generate correct, working code for a language that hardly anybody writes anymore is almost assuredly going to lead to failure.
See: Spanner
I have generally been annoyed by the lengthy take off animations in Starfield, but the one thing I find satisfying every time I see one is that crackle of the engines. I can't think of any other game I played that would have this sound, so it immediately struck me as nice attention to detail.
Damn this market IS tough!
Screens are good, actually
> may have different ramifications for the government than for an individual

I can only agree ramifications look different when an inappropriately narrow timespan is in focus. Thinking through history, what nations have been able to ultimately avoid ramifications from significant debt – the same sort of scenario that would in proportion cause ‘ramifications’ for individuals or businesses?

I can think of several historical instances where a nation having significant debt appeared to have no ‘ramifications’ early on but were unable to avoid the inevitable (and inenviable) outcomes.

I mean, even an individual may get deeply – horribly - in debt yet avoid ramifications for a time. But the bills will come due. No doubt a government is not the same thing as a business or an individual. But to dismiss government debt as playing by different rules than debt elsewhere is foolish.
> That or allow people to carry their mortgage under the current rate to a new property.

This would probably increase the interest rate of new mortgages. Right now, lenders have data that these loans average around ~10 years, and thus have a premium over the 10 year treasury. If they get closed less often, because they can be carried around, we'll see the average as maybe ~15 years, which is a higher interest rate treasury (10-20) and will have higher interest rate costs.
That's the same thing as scab, reframing an attidude that is a sane disagreement and need as a crime.

You don't have to agree with any political movement out there.

And the strike is a right. A job is not. You already can't be fired for striking which is huge.

Wanting other people that have no dog in this fight to accomodate you doesn't seem reasonable.

And framing that the way you do is more virtue signaling and pandering than debating.
The Switch has gyro aiming?
Bitwarden is down with blank screen under Linux OpenSuse
Brightest gamma-ray explosion of all time scrambled Earth's upper atmosphere
During early 90-s, after USSR collapse, many factories in Russia have been privatized, and shares distributed among workers.

Guess who of the workers became rich and who stayed poor?
> Incorporated func_vehicle entity support from Counter-Strike

By far the most important change in this update.
One of my favorite documentaries was made by Noclip, which tells the story of Half-Life and Valve. It is soo good, a must watch. Interestingly, though, it features no one from Valve, as they, in typical Valve fashion, ignored their requests. https://www.youtube.com/watch?v=BQLEW1c-69c

So I'm very excited to watch this new documentary featuring people who worked on the game, made by the same people, such a surprise haha.
FWIW in America you can totally ask for a refund on agent commission when looking for an agent to buy with. Not all agents will do it but it is straightforward for them to credit their commission against the closing costs. With online listings, agents today do so much less than they did when those commissions were set and home prices have obviously ballooned faster than inflation.

The end-state of our startup, Open Listings, was basically a (magnificent) listings site + easy way to connect with vetted buyers agents who had pre-negotiated refunds (50% of their commission).

For anecdata, I bought a home recently in a market our service never supported. We googled and quickly found a great agent who was happy to refund half their commission.
ebikes work in pretty much any kind of weather provided you have a proper bicycle, proper tyres and know how to dress. None of the gear has to be expensive. It just has to be suitable.
The solution is simple: you need someone with absolute authority over everyone including the generals to lead the effort.

There's a time and place for democracy - but large IT projects are not. Do a thorough need analysis, compare with what's reasonably possible using COTS software, and adapt or discard what is not possible.
I think you say the same thing as I do: the current betting market (company valuation) seems to be a bit out of touch with reality (company's actual value, that is something along the lines: assets - liabilities + expected revenue*time)
Half-Life: 25th Anniversary Documentary [video]
The first one was a RadWagon 4 - https://www.radpowerbikes.com/products/radwagon-electric-car... - with a lot of accessories, so it looks a bit more like the "Everyone Pile In Kit" here: https://www.radpowerbikes.com/pages/bike-customizer?pid=4584...

Second was an Aventure.2 - https://www.aventon.com/products/aventure2-step-through-ebik...
> it’s also severely limited

Is bard so bad? I asked it to help write text for a patent, and it did. ChatGPT refuses to do so and gives me another moralistic lecture (this has become so annoying that i stopped using it - i use bing/copilot instead). As a ChatGPT competitor it might even be better, i dont get the outright dismissal.
I don't think its astroturfing, but if it is I have used it and I'm pretty sure I'm not an astroturfer!

I used the lite version while using chromium for a little while and it worked ok for me.

The issue I had with it wasn't that it didn't effectively block ads, it's that you can't block arbitrary elements with the zapper (afaik). I use the element zapper to block non-ad related things sometimes.

For me, I'm torn on whether the extra security is worth this limitation or not, and so far I have went back to using the normal ublock, and I have went back to using firefox because chromium crashed fairly often when using the wayland renderer.

There is some way you can grant ublock lite more permissions on specific sites, I'm not sure what this does, and I don't think it brings back the element zapper, but it would be cool if it did.
sounds like algorithmicly solvable problem..
How cheap are electricians where you live? MoCA adapters are around $50/each where electricians are around $200 just to visit + hourly and materials (US, west coast). That's a lot of MoCA devices.
Nope, each buyer has its own motivations. People usually sell when the price increase to their liking in the casino. Shares are traded all the time, not just on the days of dividend payments day. Tesla so far never paid dividends anyway. Maybe there are people who bought shares and don't trade them and wait for a payout, but if you look at the volumes traded you can easily see that they are a very small minority.
Black Mesa has an extended Xen portion of the game. Otherwise it's a faithful reproduction of the original with better graphics.
(no spoiler) From a storytelling perspective, Half Life 2 Episode 2 (the last mainline Half-Life game which Half-Life 3 was expected to be the sequel for) sets up Half-Life 3 as a proper ending to the game's story and confirmed by Mark Laidlaw's release of Epistle 3. I can see why they wouldn't want to rush quickly to the exit but at the same time, HL2E2 left them without much wiggle room. This issue alone is addressed in Half-Life Alyx.

From Valve's perspective, the Half-Life property is pretty valuable and its served them well as a means of demonstrating the newest source engine updates with a ton of hype bootstrapped because it is Half-Life.

Despite it's popularity, Half-Life is a delicate property in the sense that the story hinges on a lot of unknowns that are not revealed straight forwardly, similarly to LOST, the lack of detail stokes that mystery to the audience's delight, because they know there will be a big payoff that explains these mysteries at the end of the tunnel. That's a lot of pressure for the writers room @ Valve, especially so considering the development process of the game engine/assets itself.

It works for Valve. It sucks for fans, but the alternative is ending the property early or extending the property far beyond its intended shelf life. As long as I live to see the end of the narrative, I'll be happy. If not, then valve pls fix.
Someone who believes that their interests differ from the collective.
Thanks for your comment of support. Ironically the "groupthink" is hallucinating explanations about how LLMs work, irony.

Anyway, yes, the "web" in general is full of garbage and propaganda. But then again we're exposed to the same web, and without the pre-processing which OpenAI etc. apply to filter out certain words, phrases, topics (including lots of manual human labor). So it's funny how we're living on that same input, but we're so confident we know what's true and what's wrong.

But LLMs aren't just trained on literally anything on the web. For example consider Wikipedia. That's not one's average drivel for sure. And next to the general web, you need higher quality sources of data in the mix to bias the AI for truth. Scientific papers, good books, transcripts from conferences and presentations. Wikipedia to mention again. So on.

Of course, sometimes LLM make technical mistakes which you can clearly rule as incorrect. Say, plumbus.com's API never had a method getDescription(). But the AI saw many APIs of services like this, which have API getDescription() and given its small network, it's forced to fill-in gaps by inferring the answer based on a vast assortment of contextual clues. Which we call hallucinations (incorrectly). But even the correct answers are inferred. It's all inference. And we all think by inference. We just have 50 times more capacity than the biggest LLM at the moment, so our inference tends to be much more sophisticated, and therefore more likely to be correct. I mean in theory. After all, it's humans and their big brains who produced the garbage that's the web, so.
> (which is a customer acquisition problem, BTW)

No it isn't. You already drive, have a car, and live in the state. What are they acquiring you to? They're just integrating you into their servicing platform. That's customer service.
Coax per meter was cheaper than cat-3 twisted pair (Cat5 existed but nobody was using it). That is before the star topology required a lot more meters of cable for twisted pair.

Twisted pair was easier to work with than coax, and star topology avoided a lot of trouble with other topologies so it won out anyway, but it wasn't cheaper at first.
Valve isn't beholden to any external shareholders, and Steam is as close to a money-printing machine a private company can have. Combine that with the fact that Gabe and company seem to have pretty decent values in line with their customers' interests, and you get nice outcomes like this.
You don't even address a single aspect of my comment.

Why is my cheaper bike a "luxury" while it allows me to save tons of money in insurance and gas, while the elitist in a super expensive car considers a very practical piece of gear a luxury?
> Google was certainly completely caught of guard.

They weren't.

Their AI research team is completely dysfunctional and unfocused. They're only interested in doing research and are entirely incapable of the engineering and product focus necessary to build something like ChatGPT.

That isn't the same thing as being caught off guard.
I'm not necessarily agreeing with the poster above, but surely the number of prime contractors is not relevant to the number of non-prime sub-contractors?
When movie studios in the US were barred from owning theatres they had 17% of the theatres and 45% of the revenue. Among all the big studios at the time, Paramount, MGM, Fox, WB, RKO. Apple and Google have 99% of all smartphones and 99% of revenue.

It's pretty clear that they have an oversized influence and control over mobile app distribution too...
*axum
I migrated a rocket project to axum 1~2 years ago, due to rocket being dead at the time.
Both frameworks contain all you need to build an API really.
But personally I found that:
Rocket is easier for beginners, and once you know what you're doing, Axum is cleaner and better integrated in the ecosystem.
I'm not just talking about distribution (although you are correct to bring up that restriction, because it's also a kind of wild idea for extension security) -- I'm talking about just how much logic is fully moved outside of Safari.

Adguard was (I haven't checked in a while, maybe it still is) one of the more popular Safari content blockers for Mac, and it shipped with an Electron app -- and one that had to actually be running with a tray icon and everything at the same time as the browser.

This is not a model that any other browser maker should be trying to copy. I feel like if we're looking at browser adblockers and they're setting up system trays and system-level proxies just so they can do basic stuff like HTML rewriting, then that's not something the browser maker should be proud of. Congrats, people can't spy on your browser's web-traffic anymore, instead they have to MITM their entire computer.

It's possible to make something so restrictive that the end result is that people are actually less secure, because they're forced to compromise security at much lower levels in order to get that basic functionality back. Safari's current extension ecosystem is a great example of that.
> leached

We should use this term more often against the corporations exploiting the workers.

I am somewhat ambivalent towards unions - they can sometimes be a blessing or a curse to the workers. It really needs some regulation to ensure they serve the workers rather than serving the ones willing to play union politics.

But I am not at all ambivalent on corporations. Their only mandate is profit, and they will exploit (i.e.: leech from) workers as much as they can. It's their mandate, the very thing they exist to do.
Black Mesa is definitely a beautiful experience – especially for "younger" folks like me who missed the HL1 boat by a few years.

Mind, though, that development appears to have ceased on Black Mesa; and while it's basically 99% complete, I encountered a few show-stopping crashes and performance blackouts requiring some intense googling to bypass. I'd still recommend it, though.
All the more reasons to leave Taiwan intact. I hope so.
This is a very touchy topic because it's very hard to talk about honestly without accusations of race / xenophobia / prejudice / envy / whatever. I'll say: I've worked with tons of H-1Bs who were "immersed" in tech. I've worked with tons that weren't. Individuals are individuals.

The problem is that collections of people behave wildly different from individuals. The culture of an org that's mostly H-1Bs is wildly and starkly different than ones with different ratios. This problem, at least when I initially joined Amazon many, many years ago, was actively warned against. The onboarding had a little speech about cultural differences and how it's OK to push back here. We aren't here to be task takers.

Fast forward to today and the culture is wildly different. Many of the practices of offshore teams have leaked into local ones, because the same culture that bred them over there are now in leadership positions here. There's no shortage of teams operating like unquestioning ticket jockeys these days. Your job isn't to produce value, it's to close tickets as fast as possible. Do what management says. Don't ask questions.
AWS, Azure, and GCP are already competing in terms of pricing and customer acquisition. If you mention to Google that you are considering moving your multi-million dollar project to AWS due to a better price point, you will almost certainly receive a counteroffer. However, it's not just the big players in the game; there are also many smaller cloud providers like DigitalOcean, which are indeed a bit cheaper, but not as affordable as bare-metal solutions (e.g., Hetzner).

I came to the conclusion that when you factor everything in—the time it takes to maintain such a massive infrastructure operating smoothly across the globe, investment in the further development of cloud services, employing security experts, paying developers competitive salaries, and of course aiming for a profit margin for the company—you end up with the prices that are evident among the major cloud providers. It simply isn't feasible to offer these services for much less (there are a few exceptions people rightly complain about, such as stupidly high egress costs). It has reached a point where Google, for example, has attempted to undercut prices to such a degree that their cloud operations have been running at a loss in the past[^1].

[^1]: https://www.ciodive.com/news/google-cloud-revenue-Q2-2022/62... (read last paragraph)
Try clicking on the various enemies or people.
Keep in mind this has to include downside protection to cover the very real risk of someone initiating a suit in case they screw up (which I'm sure happens from time to time).

I think overall, what a lot of this entire discussion misses is that 90, maybe 99% of transactions are pretty straightforward, but the 1% where things go haywire, might cost 10, even 100x as much in wasted time, money, etc. Real estate brokerage is a regulated professional service which means by law, there's a minimum standard of care owed to anyone who uses these peoples' services. This costs money to provide which ultimately means a lot of the costs of the problem cases end up socialized/spread out, over everyone.

This feels quite unfair if you've got your act together and everything goes smoothly, but it seems hard to know upfront which ones will be the hard cases, or not.
Ah, I did misunderstand how it worked, thanks -- I was looking at the flow chart and just focusing on the part that said "From Wikidata, the filming location of 'A Bronx Tale' includes New Jersey and New York" that had an arrow feeding it into GTP-3...

I'm not really sure how useful something this simple is, then. If it's not actually improving the factual accuracy in the training of the model itself, it's really just a hack that makes the whole system even harder to reason about.
Some centralized systems. But I don't think there's any evidence to suggest that's universally true. Nor is the implication that non-centralized systems don't suffer from similar problems, or other problems which result in substantially bigger drawbacks.
Reproducing should be easier than creating from scratch.

Waiting for someone will match GPT-4 and especially GPT4-V quality and latency.

And this would be the start of the battle, which could be bad for combatants but great for the rest of us.

Fingers crossed, it will happen soon. Not sure that early 2024 ill be that day, but let's hope.
They seemed to have made it work side by side. I smiled when I pinged a cloud resource and got an IPv6 the other day.
> The attacks directly on the national debt are a political strawman, meant to distract from the real issues about where revenue comes from and how it is spent.

No, I assure you that those of us concerned about the national debt are actually concerned about it.
Is it finally available at 64bit so I can play on my Mac?
Color Star Is Circling the Color Drain
Maybe it is only because Boeing/Airbus cannot figure out how to do that for upholstery. But for software, it is easier to control the changes and hence charge for them.
Try Comply memory foam ear tips with AirPods Pro’s. I can do 5 hours no prob. Near 7 I start to really feel them.
This is awesome... but why not just help out Black Mesa?

https://store.steampowered.com/app/362890/Black_Mesa/