skysight-inc/HackerNews huggingface dataset:
You could build a POSIX system on seL4, but it won't take advantage of the capabilities that seL4 provides, because capabilities are absent from the POSIX APIs. Consider for example:

FILE *fopen(const char *filename, const char *mode)

There's nothing in this function signature which specifies a capability to perform the open. Instead, there's an access control list somewhere else, where permission is looked up as to whether the file can be accessed by the current uid or whatever.

Rule #1 of capabilities is: Don't separate designation from authority. Rather than a filename, a capability based API for opening files should take a capability argument instead of a filename, which both designates which file to open and provides the authority to open it, without attempting to look up that authority elsewhere. And notably, this capability cannot be forged - it can't be generated from a string containing the name of the file.

So the first step to making a POSIX on seL4 is to get rid of the POSIX API and replace it with a better API based on capabilities. Then of course, it is no longer POSIX.

The reason to use capabilities rather than ACLs is that ACLs are vulnerable to confused deputy attacks. Linux namespaces have numerous security vulnerabilities that could be avoided with capabilities. Also note that POSIX "capabilities" are not proper capabilities in the sense they're used in capability based security (as in seL4).
a mirror of the uncyclopedia page https://mirror.uncyc.org/wiki/Onime

the livejournal stuff is also still up https://ru-onime.livejournal.com/71601.html

(2005)
Which is good for both France and those countries.
I saw that, and wondered why PuTTY didn't contain it's own good CSPRNG, something like Fortuna, if Windows didn't offer one.
The difference between "energy" and "electricity" is paramount. This title is false.
TransformerFAM: Feedback attention is working memory
Yes, exactly. Renewables keep achieving new milestones, keep not only growing but also accelerating, and we haven't seen any indication they have a weak point except the obvious variability of production.

But the falling costs, the simplicity and the very low maintenance costs will trump variability. The grid will be built around that, it's kind of obvious at this point. One of the fastest growing solar areas in the world is Texas which has very loose rules on what you can deploy to the grid. So if you leave it to the market, it will only deploy renewables and storage. Everything else is dead until we reach a point where renewables meet their limitation. But again, this hasn't happened yet in 30 years of poor predictions on what those limitations are.
Amarok became unusable with KDE 4 before it died.
iOS404
You know, you don't _have_ to use this free entertainment website if it makes you so angry.
> remember that Ballmer called Linux a cancer, and in general there is a meme amongst capitalist software developers that the GPL is a cancerous or infectious license

And google and apple are spending millions of dollars to reimplement GNU software because they want to escape the GPLv3 license.
I think the parent commenter was using the word 'equation' in its colloquial sense to refer to any mathematical expression or statement, despite their statement containing a 'not equals to' symbol, rather than actually equating them (which would have an equals sign).
Nuclear bomb can produce peaks of energy, while nuclear stations are good for base load only due to safety reasons.
Here you go: https://pastebin.com/iemfTkzx

As a dataset, I just use find to generate a list of paths from the file system:

find / > large.txt

I tested with Swift 5.7 and 5.9, and Python is always between 4x and 10x faster.
They have a brake pedal too, like every car. The brake pedal should override the acceleration like in any ICE car.

So, technically I don't see any problem.
Google's main line of business back in the day involved crawling and indexing as much of the entire web as possible. When you're operating at that kind of scale, back in the 2000s-early 2010s your choices were C++, and pretty much nothing else. Garbage-collected languages introduced too much overhead. Keeping the number of languages small, and keeping them purpose-focused (C++ for the heavy stuff, Java/Python for web backends, JavaScript for UIs) helped unify coding standards and conventions within and across teams, reining in the chaos that would have ensued had Google allowed developers or teams to choose languages willy-nilly.

These sorts of language restrictions are not a knock against the skill of Google engineers. A good programmer can be good in any language. Even C++. Even Java. Think of the midwit meme, with the simpleton at the left going "just write everything in C++ or Java", the midwit in the middle going "NOOOOOO! Lambda calculus/monads/Hindley-Milner type systems!" and the genius/Jedi monk at the right going "just write everything in C++ or Java".

The appeal of Lisp when writing production code is to lazy, mediocre programmers who think Lisp's sexy features will extend the reach of what they can create. Which is true, to a certain extent, but a) not as much as they may think; and b) when you consider that Lisp programs are bloated and slow compared to the corresponding C++ programs, the juice just isn't worth the squeeze.

Lisp peaked ~60 years ago. There are very sound technical reasons why it is obscure today.
Yeah, very many people can't afford a decent lawyer when they need one, and might not get one even if they can, in which case legality really is... aside.
So, at four and a half hours before sunrise.

The big driver of renewables in California is solar - check the graph for the whole of yesterday, and you'll see how different the picture is during the day.

Yes, there's still a gap overnight which over time will come to be filled by more wind and battery storage. But California's really lucky with solar - it's already so cheap and easy that it makes battery storage financially viable even using today's tech. It's now just a matter of continuing to scale it out...
Closing the loop on thermoset plastic recycling – Science
Eerily similar to what happened to Notre Dame in Paris.
Cheers. And sorry for the grumpiness.
It's a good question but it's as much airline as the aircraft.

Personally I don't fly Boeing because I don't want them getting business. But I will pick an airline that doesn't have a crap safety and maintenance record on top of that.
was referring to the google stats, which seems to be approaching 50% v6
Appearances might not be as important as actual issues, though - I think it is okay to do it this way. Doctors in the UK sit on ethics boards looking at other doctors' behaviour.

I would think it would be good to say that not more than 50% can be ex-law enforcement though, to ensure a reasonable mixture.
That doesn't matter, you are toying with semantics. If astronomers say stellar black hole, they don't mean supermassive black holes at galactic centers. Even if Sagittarius A* was initially a stellar black hole, its more now.
Neural Wave is an AI research firm from the USA. We've created an AGI system for automating business workflows.Our platform mimics human understanding and learns from feedback. Currently tackling medical coding errors costing the US $48 billion yearly. Our AI solution aims to make medical coding 100% accurate and efficient, reducing claim denials by 90%.

Introducing "Buddy," the world’s first AI medical coder that automates the derivation of medical codes from doctors notes or diagnostic data without human intervention, 100% accurately.

-Next Gen AI with Deep Learning( Not ML)
-99.9 % Accurate Coding
-90%* Fewer Denials
-50x Faster Billing
-Reduces revenue leakage & Turnover
-AMA-Licensed & HIPAA Compliant

*Not all denials are due to coding errors

#medicalbilling #medicalcoding #AIPoweredMedicalCoding #claim #medicalcoding #revenuecyclemanagement #hcpcs #cpt #icd10 #Denials #IncreaseRevenueHealthcare #hipaacompliance #AutonomousMedicalCoder #MedicalBillingAccuracy #AIInHealthcare #MedicalCodingAutomation #AIMA #HealthcareRevenueCycleManagement
The game itself looks good. Playing bugger BF 2042 its sad to see such polished (comparing to EA crap) product goes so fast into EOL :(

Like others said - do you kill your product and probably company? Open source it :)
Indeed, Pyramids have not been built with human rights in mind
Is AI gonna be UAE's new oil?
It's really not. It leaves open the possibility that others could fill in the gaps, given enough time. Their wasn't enough time, and path dependence matters.
Thanks for clarifying. That's an interesting concept.
This reminded me of the French movie "la guerre de feu" about the people who found fire in the cave period. The interesting part of the movie was not in French. It's not in English either. There are no words in the movie. You should watch it.
How do you figure that?

Sweden exported electricity almost every hour for 2023 (import 40 hours of 8760 = 0.5%). Most of the hours when importing electricity was due to low and negative prices when operators could use water reservoirs as batteries. Currently, there is an obvious overcapacity with an export of almost 20% of production.
The only thing its really ahead on still is miles per kwh, even then its kinda not true. (My renault zoe does 4.8 miles per kwhr, if its warm)

Power, Torque, speed and range have all been bested by other manufacturers, who've also manage to make the bodywork line up properly. At the moment the only thing that tesla do better than anyone else still is: Being shits to staff, and charging infra.
Yeah, I was only pointing out that it wasn't a precedent.

(And btw, imagine Iran having then sent 150 missiles aimed at the US. Seems to me like the US would respond.)
> You can find the settings under My account > Profile > Privacy and Notification.
With the exception of range, those specs generally don't matter unless you bring your car to the track.

Well, ok, they matter if you like to find ways to drive more aggressively and unsafely.
Maybe something like this? https://github.com/containers/fuse-overlayfs
In theory, if AI was really crazy good, which I don't think will happen anytime soon or at all, it would be able to let you play the game, without any code being written other than the AI. Describe your game, connect inputs, and the model will make up some video and audio output through generative diffusion models. The challenge might be that it's way easier to do if you can let the AI have time to process each request, as opposed to having to react to many inputs per second.

It might require the entire power output of a medium-sized country to play a game, though.
Kind of. The P code itself is publicly available in publicly available specification IS-GPS-200. They are xor-ed by W code, which like the sibling comment says, is cryptographically generated, which runs at a lower rate. This results in P(Y) code signal, which is then transmitted over the satellites.

If you know whats the P code roughly is, which you can know from L1CA code and handover words, you can try using both possible W code value (its 0 or 1) and that W code practically dissappear, until the W code move to its next iteration and you need to guess again. This strategy is called semi-codeless tracking.

People did this so they can access the signals at L2 frequency (1227.6 MHz), which because its at a different frequency than L1 (1575.42 MHz), they got slowed down by different amount through the ionosphere. So by comparing the signals together, you can remove the ionospheric effects and get more accurate position.

These days you don't need all of this, GPS now have public signals at L2 and now smartphones have these fancy dual-frequency receivers
A porn site blocker with a RPG element to it
https://thewarriortribe.xyz/
Same old, same old. In an interconnected grid, everyone is importing and exporting from and to everyone. Germany (which you are referring to), is still an exporter of electricity.
Looks awesome!

While the visualization is cool, I hope some of these will remain "not found" indefinitely. Just because we can stick everything into a web-spec, doesn't mean we should.
I feel like with Twitter, any other social media platform, your experience varies greatly based on who you follow. For example, I know charged content is rampant on Twitter. However, I mostly follow folks who post about tech. I find that I get valuable information from Twitter, but that’s because of who I follow. I could alternatively have a much worse experience if I followed racists, political hacks, adult stars, and crypto bros.
Much as I love a good ad hominem, do you have any examples?
If they approved a replacement nuclear project today it wouldn't be live in 10 years though.
> For most purposes, the engineering is there only because of associations or organisations lobbying the government making it compulsory.

Definitely not. An engineer signs off the safety etc. All the non-cosmetics. You're right that it's computerised, but that's because it's not fashion - there's an objective "better" and so that can be programmed. Fashion, not so much. Until AI.
I completely disagree that rights holders should be required to distribute media or lose the rights.

It essentially means if you create something, it’s not yours unless you are actively selling it?

As for online games, I think the ephemeral nature and limited lifespan of the game should be forced to be very clearly advertised at point of sale, not hidden in an EULA.

The fact you can’t play them forever isn’t a problem, but consumers need to be aware. That said I don’t know how much difference it would make. I think most consumers would not care. I know the online games I play will go away one day and I still pay for and play them. Why? Because I don’t care. I was never going to play them forever even if they were around forever, so I don’t care if they go away. The only difference I’d really like to see is a minimum guaranteed service period and a full refund if that isn’t achieved.
Yes, I understand, the meaning is blindingly obvious and everyone has heard the same thing a hundred times before, either with planes that don't fly, or submarines that don't swim, or cakes that don't cake, whatever. The point I'm making is that if you have something to say, don't resort to trite soundbites that only add noise and make the conversation more boring. You have an opinion, clearly, don't just repeat someone else's slogan.

But note that's just, like, my opinion man. I'm not really trying to tell you what to do, just expressing frustration, to be clear.
Easy to Use AI API to Run LlaMa2 Chatbot: AIME API
Sure, but... it's easy to imagine what an apology would cause: a precedent. That would open the door to a lot more potential issues.
This. Any researcher should, over a lunch, be able to generate more idea than can be tackled in a life time.
It will take hours, at least. Nuclear is sloooooooooow. You can make it hot very quickly, but it will take hours to days to cool down. Zaporizhzhia nuclear power plant finally turned cold this month, 2 years after start of full scale Russian invasion and occupation of the plant.
Rockr – A loopstation for the webbrowser – Devlog Episode 2
I am building a music loop station for the web browser. Right now it's just an audioplayer with some audio effects, but the goal is to make it a handy tool for music-practitioners and (maybe in a far future) a loop station for live performances.

Work in progress.
A nuclear power plant does not suddenly give you the capacity to create a nuclear bomb.
Mark V* 9591- One of the First USA Tanks That Went to War
Overreaction indeed but sometimes you need to grant access to YouTube to your kids for study purposes but don't want them to look at shorts. YouTube doesn't allow this in a straight forward manner. I didn't see any settings in Google's family link app even though the app is mainly designed to control access for kids.
We infer that the presence of a personality disorder may represent an elevated risk for psychedelic use and hypothesize that the importance of psychological support and good therapeutic alliance may be increased in this population.

Feels like another publish or perish paper.
This is why you see so many grad students and early career faculty with their own domains. Which is a reputational hit on departments against their will.
Quality at a Glance: An Audit of Web-Crawled Multilingual Datasets (2022)
This sounds almost like a "backend for frontend" pattern.
>> You‘ve got a bond that will beat inflation by 1+% for 30 years

Pre-tax. You'll owe federal income tax on the interest.
FFS they read a quote Kubrick made decades ago and made a decision on it. Pope's problem isn't with Kubrick it's with the Wachowski sisters.
Inconel is used in chemical plants for its extreme resistance to harsh chemicals which quickly corrode even the highest-quality stainless steels. Inconel (and its cousin, Monel) is primarily made from nickel (>70% for Inconel-X, >63% for monel). Stainless steel also incorporates about 10% nickel and 20% chromium. Nickel is very expensive, so if you can get away with using something with less nickel, you'd really prefer to! There are "recent" advances in corrosion-resistant steel with smaller amounts of nickel, like "duplex steel" - duplex 2204 is just slightly less corrosion resistant than 316 stainless, but contains 4% nickel instead of 10%.

You only use inconel when you absolutely cannot use anything less. It costs $2.50/lb compared to $0.80 for 316 and $0.40/lb for mild steel (standard run-of-the-mill steel). Not sure what 2204 costs these days, but will be somewhere between 316 and mild steel. No one wants to pay three times more for material if they don't have to, and also pay extra for specialized machinists who are confident working with a somewhat rare material.

Materials scientists are working hard to create new, cheaper alloys with high corrosion resistance, and it drives a lot of really cool new science! Over the past 1-4 years I've seen some super interesting articles here on HN about new science being discovered around this, but I can't find them at the moment.

That said, Inconel is only 4% denser than run-of-the-mill steel, so it's not going to make a difference which of these alloys fall from space onto your house or head.
from the post

> and out of pure immaturity and desire to breakthrough I packed 100mg into the bowl.

https://psychonautwiki.org/wiki/DMT says heavy dosage is 60mg+.

> This doesn’t get mentioned in the current “psychedelics as a cure-all” hype wave.

No. You forgot to mention 100mg is way above heavy dosage.
Me too. Device orientation, USB, Bluetooth, vibration, they don't belong in a web app.
You still need a source of entropy, which is easier for an OS. An app has to resort to the user moving the mouse or bashing keys, which is a worse UX, although I guess they did that for actual key generation (if PuTTY did that) but it would be annoying to do it every time you made a connection.
Can I ask you a question about the lunar app and DDC?

I have an old monitor with (what appear to be) broken buttons, meaning I can't control the brightness/contrast etc via the OSD. Would lunar be able properly control such a monitor over a VGA or HDMI cable? Would this control also be possible if using a hackintosh? Thanks a lot!
Once the law is on the books it gives cops an(other) easy excuse to arrest you and throw you in jail for recording them. Many people can't afford to miss a day of work, let alone try a case in court.
Not since 2023.

https://www.energate-messenger.com/news/239393/germany-becom...

Additional article highlighting the role of electricity exporter of France: https://www.bloomberg.com/news/articles/2023-08-07/france-is...
You continue to try to justify a genocidal aggressor nation, and this discussion risks degenerating into a flame war, so I'll stop here.
Where do you think the AI image model gets the data for what artist's impressions of astronomic phenomena should look like? From all the artists who painted these in the past.
How many directories do you frequent that you discovered via “promotion“ on Reddit and other social networks?

Do users of Reddit and other social networks enjoy being promoted to?
Data points would be interesting too. Someone saying "I used to get sick after 15min, and now I can play for 60min without a problem. I always stop playing right when I start getting sick".

You know, just to see that it has happened to someone :-)
They are encouraging this to be used as a permalink service for icons even in markdown files, but what guarantee this will be around in the long term?
Sometimes, it's about what you take away. Good design is not when there's nothing more to add, but when there's nothing more to take away.

But very cool site. And I definitely think Safari should have some of these! It's a bit cruel on them! Hahaha! :)
I've been reading through these (number 15 is long, but worth it), and I'm pretty sure all of the "Phelps" stories are fiction, with a cast of interlinked characters. The others are... maybe, maybe not, but told straight. I'm glad to have found this site.
In what way is it neglected? It works, no need for pointless churn.

Also while it might not be known to users (why would it need to be), it is used in various KDE programs where it makes sense.
In this post, we explore the fundamentals of vector search, discussing how it operates and its applications across different data formats. You'll discover the key components required to implement vector search and its potential to enhance search functionalities.
That’s not fair to Boeing. They have models (787) with zero hull losses.
Well it's different if he means Fauci, or some guy in his mom's basement. But yes, I do believe he was speaking from the wrong end, as Seneca might say.
How timely! I was watching a video about the ill fated Vector W8 supercar last night, and wondered about that awesome CRT proto-GPS thing seen in some shots.

https://www.youtube.com/watch?v=QFDBs15EYjs
When I bought Free space it was actually titled Descent: Freespace - The Great War.

I wish the series had carried on, I really wanted to find out where the confusing plot threads of Freespace 2 went!
I love Kate's text edit component used in KWrite, KDevvelop (and Kile) but never really had much of a use for Kate itself. It's a weird step between a text editor and an IDE.
When I had depression I used Salvia Divinorum and re-lived fragments of my childhood, I found that seemed to reset my brain back to last known good state bridging forgotten childhood memory in the short term to feeling like it was only a week ago. Certainly cured my depression though. It felt programmable with music, suspect it maybe more controllable with research. Interesting stuff strangely I found anti-addictive. Though equally could be majorily dangerous for some as it litterally sucks you out of reality and all perception of time for a bit.
AFAIK pressing the brake pedal should cut the throttle (even most ICE cars do that) and also the brakes should be able to overpower the motors (unless you're doing 200 km/h down a mountain and you melt them before you can stop).
You joke, but the US DoD sees advantages with distributed energy production in resilience to attack: https://www.acq.osd.mil/eie/Downloads/OE/2023%20Operational%...
Is there any gentlemanlyness at play in those examples or is it just all tactics.
I love my WFH rice cooker lunch. A couple of frozen dumplings and some vegetables in the basket, add soy sauce to serve and you've got yourself a hands-free lunch that will sit on keep-warm until you're ready to eat it.
EarthSiege 2 was amazing - many hours spent there. I used to multiplayer with a friend: one of us would steer the HERC's legs and one the turret.
But they do have seat, icing, instrument failure issues which the FAA are looking into now.

This is about safety, not body count. Safety comes up front.