skysight-inc/HackerNews huggingface dataset:
We've used Verus to write formally verified Kubernetes controllers.

Basically, we can prove liveness properties of the form "eventually, the controller will reconcile the cluster to the requested desired state". As you can imagine, there is a lot of subtlety and nuance to even specifying correctness here (think rapid changes to the desired state requirement, asynchrony, failures and what not).

Code: https://github.com/vmware-research/verifiable-controllers/, with a corresponding paper due to appear at OSDI 2024.
Could you use the hardware to start a Low end cloud provider? With pricing per core many low end users won’t really know the difference…
Secure Email Providers in 2024
Windows support is definitely something we are thinking about.
They're reliable, but they get rust corrosion from lack of use.
What are the Pros and Cons of Windows 95? (March 1996)
> The best one was an employer's site that described itself as "Easy Apply"! You had to give it a resume, which it parsed, badly, and sprayed randomly into about a thousand text boxes. I thought maybe the problem was starting with a pdf, so I began again with a Word document. The results were exactly the same, suggesting they exported to pdf and used the same shitty parser.

Ohh, let me guess. Workday? There are a few application systems that offer this functionality but workday is _consistently_ the worst at parsing whatever I give it (text, markdown, html, pdf...).
God the work that went into that one shot. Not just camera work, but all the engineering for the mirror. It's astounding.
Why was this decommissioned?
+1 for vast. they usually are the cheapest and have the most supply. some instances can be less reliable at the low end though
Oh, great, thanks for this.
Did Obama threaten to fire the head of the Fed if he raised rates? Or say anything, actually? Because I don’t remember any of that.

Because if he had, then he’d be easy to blame. If he hadn’t then it’s squarely on the fed isn’t it?

Since Trump explicitly did take action, why should he not get blamed for his part in it?
Yes, great use-case.
well i have 4600 tabs, 13 windows, 18 tab groups and 130 firefox processes. htop shows me that while each browser process has about 3GB of virtual memory, all of them barely register any real memory use. so as far as i can tell, tabs do not use any memory.
Yes, this is the one, thanks! One of your favourites from Barnes or in general? I really enjoyed, so I want to know which are your other favourites.
Anyone know how to bypass WSJ’s paywall?
Are there any solid benchmarks regarding increasing context length on a model, leading to decreased reliability?

I have heard that this is the case, but is there some data?
This is how I would build this in AWS. Upload to S3 via pre-signed URLs. Create a notification on the bucket which publishes new objects to an SNS topic. Then create a lambda function with its own dedicated SQS queue subscribing to the SNS topic mentioned earlier. This setup would allow you to post-process new uploads without data loss (and at scale) especially if you use a DLQ. The lambda would drop all post-processed images into another bucket from which you can serve them safely via cloudfront distribution. Beware, if you have a high traffic site this will probably cost you an arm and a leg in S3 costs and Lambda executions. You could consider aging out items in the upload bucket to save some moneys. Similarly, you could use an auto-scaled ECS task instead of lambda, which would scale out (and in) based on the number of items in the queue. Not for the faint of heart, I know :))
Return of the Slimepires
They don’t hunt rats because the rats are large enough to threaten the cat. They probably would win 95% of those fights cleanly but it’s risky enough to not be worthwhile. Enjoyment is certainly not a differentiating thing.

These are urban rats specifically which are larger and may not apply to country rats
There are no banana trees, only banana plants.
My favorite is one for a local utility. Their payment page has a box for the account number. The account number has dashes in it. The box has a headline "enter your account number, WITHOUT THE DASHES!"
https://archive.md/5fz8z
Never answer the phone period. If it's important, they'll leave a message.
At the moment, we manually verify operators and are currently onboarding some tier-4 operators. Down the line, we'll have a 2-tier system where you can choose whether you want a verified machine or not. From the operator's perspective, everything runs inside Docker, configured with security best-practices.
Alright then, balsa wood tree.
The round-the-world trip took just over 9 days. What do you do up in the air in a tube with one other person for 9 days straight, especially when any nonessential payload could compromise your goal?
How do you feel about working in marketing?
Craig Leres' IBM Butterfly (ThinkPad 701) page
Well, I thought it was going to be about cash-wallets. Like, cool leather ones, or a nifty money-clip option or something. Was disappointed it's about web-wallet things.
File a dispute with PayPal? And then with your credit card?
> engineers who deliberately avoid the company .. engineeres enslaved

Not sure how you equated the two.
Since they’re scanned from original, early prints, and then have any remaining damage hand-repaired and color correction applied based on non-faded contemporary sources, they’re probably the closest a person can get to seeing the originals as-projected today. Just projecting an original print wouldn’t get you nearly as close, since they’re all damaged and badly faded. Later official releases usually have both material alterations and weird color choices applied (often they’re just really dark).

The 4Ks also include tons of audio mixes, including early shown-in-some-theaters ones like the mono mix, which sometimes differ substantially from one another (like using different takes from ADR)
And similarly it's interesting to wonder if we'd have been as fascinated with the stars and the Moon if we didn't have the unusual characteristics of our Moon.
crev – socially scalable Code REView and recommendation system
> definitely don't run it on your research cluster

...what‘s the threat, actually? GPU time sellers stealing your secret sauce?
What kind of utilization percentages do you expect to be able to provide? Do you have any existing usage/ROI data?
the primary difference between bookmarks and tabs is that bookmarks are static and tabs are dynamic. the best example is tracking a webcomic. the tab will stay open on the page where i stopped reading. it then allows me to go back and resume reading. when i follow links to the next pages, then the tab will be updated.

if i were to use a bookmark, then every time i'd advance a few pages in the comic, i'd have to delete the old bookmark and create a new one.

it is quite ironic that a browser feature called bookmark does not actually function like a physical bookmark for printed books.
That's my mistake; edited.
Made my day, massive thanks! Dillo must be my all time favorite browser by far. Responsiveness, modular UI and excellent config file -- everything about it is pure joy, really.
And IIUC this is used to generate EMP without using nuke, so you’ll knock out the whole neighborhood powergrid too!
LANL might disagree given that they just unveiled a new supercomputer with NVIDIA chips [1]. NVIDIA CEO Jensen Huang was even at the unveiling.

[1] https://ladailypost.com/los-alamos-national-laboratory-unvei...
Yes. I have one 10-15 minute standup a day and one 15 minute one on one with my boss a week. Other than those I almost never have any meetings.
It's about the same angle of view that a 400mm lens on a full frame camera has vertically. (wide field astrophotography can be fun: https://nt4tn.net/astro/horse4.jpg )

VRO has a 10313mm focal length (vs 8.4m diameter, so f/1.234-- though with a huge central obstruction) illuminating a 630mm focal plane.
I think it is still the default browser for Tiny Core Linux.
That sounds like a recent development. Without reinforced concrete and steel there is no way to span walls without timber beams.
Interesting that the 1981 Mac design was for a cheaper computer with GUI graphics like the Lisa. Originally it was to be a 6809 based system like the TRS80 COCO. Jobs did a high tech makeover of the Mac to borrow tech from the Lisa.
If you are interested in dillo, have a look at netsurf, another css renderer, but this one has the big advantage to require only a plain an simple C compiler, not a gigantically complex c++ compiler.

That said, more noscript/basic (x)html browsers, the better, even written with computer languages with an extremely complex syntax (rust/java/etc).
PSA on npr.org, you can replace 'www' with 'text' to get a simpler page

https://text.npr.org/2024/05/02/1248152695/google-doj-monopo...
vast you have to choose specific machines. gpudeploy routes to whatever resources are available.

vast has a lot of bad machines with terrible PCIe lanes and architecture you have to learn the hard way. Someone on HN wrote a script to run a test docker image on every machine and auto-tagged the machines' quality using their API, which is what I'd do if I was going to use vast seriously for compute.
Their comment suggests 50 to 75%, which is hilariously high.
Interesting related tidbit: you can put initial values for "subject" and "body" in a mailto URL like so: mailto:support@example.com?subject=feedback&body=What+you+were+doing%3A%0AWhat+happened%3A

This lets you provide a template to your users as they prepare to send you an email.

edit: Oh that's been added to the article
Most people live and work in cities, but most city buildings house far more than one person.
Thanks for the input, you're right, maybe a fixed price is better. The idea currently is that the quoted price is an upper limit on the rate you pay and the final rate depends on what the GPU provider inputs, which will normally result in a lower rate than the upper bound. At the moment we have upper bounds if you want to be included in on-demand input, and also depending on the service you provide (security, network etc.). We determine pricing with partners 1-on-1 a the moment.
> I don't understand why anyone would see dropping RISC-V support as a move against China. Chinese companies have their fingers in a lot of pies.

China are doing the shotgun approach, of shooting wide and hoping something hits the target. aka putting money into everything in the hope something will work to make them independent of western (chip making related) sanctions

So, while China is doing a lot with ARM... they're also doing a lot with RISC-V. And RISC-V (at least until recent US government concerns) has had a very high uptake internationally + corresponding growth trajectory.

ARM is still "western" tech, whereas RISC-V is more international now.

For reference:

https://www.reuters.com/technology/us-china-tech-war-risc-v-...

Note the specific mention of Google, Android and RISC-V in that?

So there is clearly a change of "something" internally at Google to be backtracking just a few months later, though it could indeed be just a co-incidence.

It'll be interesting if we see other (western) companies change their RISC-V plans too. ;)
> I could come up with a better solution in an afternoon easily

I once did some contract work to write a parser for that. It wasn't long before I realized the variety of resumes made it completely impractical, and had to abandon the project. (I didn't charge for my time on it.)

If you could do a better one in an afternoon, you can make good money doing that.
Thanks.

Will try this on NetBSD :)
I've been vaping for going on 11 years now. I smoked cigarettes for about 6 years, some of that overlapping with the vaping. I might have the occasional cigarette once every year or two now just for nostalgia.

They haven't existed long enough for us to know the long-term effects. You'll occasionally inhale burnt cotton, and it wouldn't surprise me if there weren't a bunch of random secret chemicals in the vape juice. There's also the nicotine itself, which isn't the most harmful thing but can cause certain problems if you do it for years, like constricted blood flow.

But compared to smoking, it's a hell of a lot better. You don't get tar buildup on your lungs. If you vape at reasonable settings it doesn't burn either. It doesn't smell bad, but of course that subjective and some people still don't like it.
I'm increasingly of the opinion that the winning move is not to play.

The educational Red Queen Race that S.Korea and China have been famous for -- with childhoods utterly dominated by schooling and structured after-school activities -- is now also an American thing. It's hard on kids, hard on parents, and the real educational benefit is less than zero. (In that kids would genuinely be better off without excess schooling and with more self-directed free time.)

The Ivy League path is simultaneously ultra-high-stress and ultra-conventional. It's no longer a golden ticket to the good life. Unless you like grinding and competition, and want a career which features both, I feel it's usually just the opposite.
The incentive is huge, if I spend 2 milliseconds sending you your previous results instead of 2 hours running your new computation, I can (pretend to) run way more computations on the same hardware and collect hundreds of time more money.
I think Netsurf renders pages closer to what they "should" look like in a mainstream browser. However, a huge bonus for Dillo is that it is really easy to switch off CSS, images, etc if the page doesn't look "good", and only render the text (IMO this is also very much encouraged by the UI). I recall having some rendering annoyances with Netsurf, but this was at least 5 years ago.
Don't know for sure, but from the article:

> This high failure rate is the reason for the sale, with upkeep made challenging by the fact that Cheyenne "is currently experiencing maintenance limitations due to faulty quick disconnects causing water spray."
ugh tell me about it. Especially with all the frame works added :(.

And the CSS wizards who remove the underline on the link, so when I'm helping people over the phone they can't find the link :'-(

And the damn trackers :(
Fascinating article, thanks.

> (There is a Moore’s Second Law, also known as Rock’s Law, which posits that the cost of a semiconductor fab doubles every four years.)

If this were to hold, then in under 30 years a single fab would cost more than three trillion dollars, which itself implies a hard upper bound on node improvements by way of economic considerations.
Sure. And we went out to demonstrate against that. There were huge demonstrations in Israel just last night (as there are every week but this was larger) trying to force the government to take the deal.

Netanyahu is terrible and his partners are worse. But unlike Hamas there are ways we can pressure them and also ways to remove them at most by the next election cycle. When people demonstrate in US campuses this strengthens Netanyahu who can then lump them as "useful idiots" and "antisemitism".

Notice the demonstrations to release the hostages, those are the exact anti Netanyahu demonstrations that work. Israelis can't lump them as "uninformed" or "antisemitism". The result is far more effective as it puts pressure on him to reach a deal while keeping the blame on Hamas as well.
Stratospheric sulfur injection might be something we need to put off until we are firmly on the path of reducing greenhouse gas emissions and have reached a point where it would be more expensive to leave that path than to continue reducing.

That's because, if what the internet has told me is correct, sulfur injections only stay in the atmosphere for a couple of years. If we use them to mitigate warming before we've addressed greenhouse gases the injections have to be ongoing. Stop the injections and in a couple of years the warming comes back.

You really don't want a situation where you end up doing injections for a decade or two and then it stops for some reason. You then get in a couple of years a level of warming that without the injections would have happened over a decade or two. Getting that warming rapidly is probably a lot harder for people to deal with.
There are popular sideloading chromium plugins that claim they bypass many paywalls. They work.
At the risk of being exiled off the platform and earning nothing. Don't forget, there is a bit of KYC with Stripe.
Stevenson’s Twenty Cases Suggestive of Reincarnation is a really wild book. I haven’t read his subsequent work, but it’s amazing to see that it’s being continued.
I had a friend in high school who's brother was like this as a toddler, would speak to his family lucidly and with detail about another life he remembered. No one was sure where he would have even gotten some of the stories he told. When he was a little older he stopped and then didn't remember anything about it.
As the post points out, this is a pivot from a company that was a consumer of this kind of service in its original incarnation; YC had presumably nothing to do with it.
I do my own mechanical work, but am a disaster at painting. So I hire that out.

It's not "financialization". It's the economic Law of Comparative Advantage.

https://en.wikipedia.org/wiki/Comparative_advantage

It only makes sense to do in business what one has an aptitude for, and pay others to do the other stuff. I bet you don't grow your own food, or make your own soap, either.
100 Years (Film)
ID verification before you can host and random audits from gpudeploy.
I have vague recollections of a wild mind when I was quite young.

To be sure, the article discusses two year olds and I neither remember being two nor and I suggesting that my imagination when I was young somehow explains away these accounts.

Nonetheless, as I say, wild times for a child mind trying to "form", trying to figure out how to process the world.

I recall some nightmare that would return periodically over a span of years. Or maybe not? Like deja vu, the mind is an unreliable narrator.

The night terrors I am quite sure were real. They finally passed sometime in my teen years. Sadly I had to witness night terrors in a few of my own children. Thankfully for them I knew what they were and would stay up and comfort them in the night until they fell asleep to forget. And I could tell them that these too would pass.

So while still being the skeptic of anything like reincarnation since it would upend the world view I have carefully pieced together from almost sixty years of observation, I did recognize in the children that untamed mind I once had when I was their age.
Why US renters are taking corporate landlords to court
I've always understood that containers are not proper sandboxes and shouldn't be used for containing untrusted code, no matter the best practices used. Has this changed in recent years? Do you have documentation for what sorts of best practices you're using and why they are sufficient for executing untrusted code?
To your point, I took a History of Math class in college, and one week we had to actually do calculus the way Leibniz and Newton would have done it. Some exercise that was easy in our modern notation was actually very painful using period accurate tools. I forget the details, but remember the feeling.
>Who claimed it wasn't necessary for functioning? The text boxes and links and windows on your screen are also illusions, they don't actually exist in the screen or inside the computer, but how useful would a computer be to you without these illusions?

By this reasoning, everything we perceive, including physical reality is an "illusion" (which I am totally onboard with).

There is still the question however, of when does this illusion arise? Is any system that understands its sensory input conscious? Is any system that has the ability to form thoughts in a feedback loop (i.e, the ability to process its own thoughts), consciously experiencing the world in a similar manner as I am? Or what's the criteria?
Usually microG makes the GMS complainers work while still voiding all the data they try to report.

IMHO unrooted android is starting to become actually viable, for example there are apps (like AdGuard) that use a VPN to MitM all your connections and filter out ads even if they attempt to hide inside HTTPS connections.

And with the `pm disable-user` trick you can disable apps that you can't normally uninstall (or disable). Which is great for OEM- or carrier-installed bloatware.
i have never once rented a place with a specific date in mind when i would move out again. it was always: we'll stay here until life circumstances force us to move, which may well be never. when we moved within the same city, it was always because the landlord forced us to and never because we wanted to (well, except once to get closer to our sons school). my grandmother lived in her home from her 20s until she passed away some 60 years later. and i believe before that her aunt lived there. and now my mother. and eventually me or someone else from our family will move in so we can continue the lease of this same apartment that has been rented by our family for probably close to a century. my dad lives in his current home for more than 40 years now. i am the odd one out in my family, having traveled so much that i have never lived more than a few years in the same place.
A principle I learned from Eric Engstrom is "if you want to succeed in business, make it easy for people to give you money".

It's true, too. By making payment easier, sales volume doubled.
P.s. bombcar, would you be so kind as to drop me an email at metadat.luvs.u@gmail.com ? I would like to keep in touch, you're amazing.
Is homomorphic encryption a type of ZKP or is it a different thing entirely?
So how's the Lockheed Martin skunkworks project going?

That was the last poster child for "REBCO tape will quickly solve all the problems".

Oh right - incepted in 2010, cancelled in 2021. 11 years - over a decade - and no reactor in sight.
Side note: you contact form doesn’t work - do you have an email I send some questions over to?
If I do, it had better be a cocktail of good feels without crashing or withdrawal. Theanine plus caffeine plus whatever..
sigh

So, is it your assertion that front of house McDonalds staff should get a commission on their "sales" instead of being paid a better hourly wage?
Seriously embarrassing for a major newspaper to take this at all seriously. What do you say to child who thinks he remembers a past life? You say “hey - that never happened don’t worry about it.” What a complete waste of time.

And this part: “Scientists say consciousness is produced by the brain…” - there is no other side to that position. There’s nothing else there.

(Yes, I would say the same to a kid about life after death too.)
They at least have the decency to have decline pro as the default option during installation
> Indeed, And nobody is guaranteed housing.

In parts of America anyway, although states like New York do in fact have a right to shelter. This is nonetheless not the clever jibe you think it is, so much as indicative of moral bankruptcy. That all are not guaranteed housing, that the few can pursue greed at the cost of others survival, is a social and moral failure.
The article is about digital wallets, and it spends more than a little time explaining Stripe's product, Link. There's plenty to learn from this article about "electronic" wallets, and their place on your phone. But my eyes glazed over when Patrick kept circling back to Link.

Of course, having just bought a lovely mid-sized leather wallet to replace a slightly finicky minimalist wallet (elastic is annoying), I was kind of hoping for some kind of dorky deep dive into physical wallets (which we used to just call "wallets.")
> Among the cases in the DOPS database, about 15 percent are North American; of those, an overwhelming majority are from Indigenous communities. “There’s no question that the cases are easier to find in cultures where there’s a belief in reincarnation,” Tucker says.

I guess Native American reincarnation works and eastern variants do not