skysight-inc/HackerNews huggingface dataset:
> Coding it in Rust does not, in fact, guarantee it is correct.

Of course.

> Coding C++, you need only choose known-correct primitives to get the same level of assurance.

C++ does not even have the means to express "known-correct" primitives. The compiler will not tell you if you accidentally access a non-thread-safe type from another thread. It will not tell you if you accidentally resize a vector while having an outstanding reference to one of its elements. These are not "bad primitives" you can blame - getting this stuff right requires higher-level reasoning which the C++ compiler cannot do for you, and the Rust compiler can.

> is exactly as safe as Rust eBPF, but likely less annoying to code.

Personally I find C++ far more annoying to code. I mean header files... In 2022? Text based macros? No standardised way to manage dependencies?
> Or is he in the window where he can't cycle far enough by himself, but too heavy to be safely steered on a cargo bike?

My wife cycled me around in her cargo bike, and a couple of other adults (not at the same time). I'm not a light chap, fairly sure I'd outweigh both your kids together. Steering on those things is pretty good, they're not light in and of themselves.

edit: we actually cycled both our kids to school in the cargo bike when they were 8 and 5. I'd forgotten, it was a few years ago.
The article mentions reproducing this under careful lab conditions, but I reproduced this accidentally in my freezer. A few years ago, there were a series of storms that were likely to knock out power in my area. This had happened before, and I worried about food spoiling in my freezer. So I froze water in a plastic container, and (once frozen solid) I placed a coin on top. The thinking was: if the freezer thaws enough for the coin to drop into the ice, I may have spoilage. This never happened, but the ice around the edges of the coin slowly receded leaving the coin “balancing” on a spire of ice. This happened over the course of several weeks. Give it a shot yourself!
Ah funny, firefox display it as a link, refuse to open said link, have a context menu to copy the link, but not open it.
Can we kill this "church of england exists because divorce" meme? It's getting grey and long in the tooth. The CoE started in the 600's with Augustine of Canterbury, even though the Celts had an earlier form of Christianity in the 3rd century.

The law around regarding consent in marriage started in the 11th century. Unless we want to remove consent and arrange marriages, the "love" influence of Christianity on marriage isn't going anywhere.
In fact it's the opposite: I'm a staunch intellectual, snob Frenchman. I can't stand brain-damaged Hollywood entertainment (I'd rather stand 2 hours under the rain than watching any Avengers movie). The cultural gap may require time and effort to cross to be able to appreciate Godard (or Bergman, or Rohmer, ...) when you're into mass culture.
Sure, you are partially correct in your understanding.

I was only responding to some one who doesn't understand the ETH tech stack who said it was impossible. It most certainly isn't impossible and proxy contracts are how we deal with things like this in ETH.
Remember, every time you see statistics like this, that the cats aren't fungible!

America has a large feral cat population, which lives on birds and mice, not cat food.

Your numbers aren't at all inconsistent with OPs.
First amendment doesn't mean you'll be given space anywhere and anytime you want. Your rights end where the rights of others begin. They allowed you to post things onto their property for a while - doesn't mean you have a right to that forever. You're free to set up your own website on your own hosting and/or under your own management - and thus your own rules.

But yeah shadowbanning really isn't nice and I agree that it shouldn't be used against actual humans who just wanted to say something. It's an important tool against bots and propagandists (I mean state-sponsored actors here) though.
> - distro are usually slow to ship new updates

Depends on the distro. Some focus on stability (like debian), so that's intentional. Others focus on quick updates (like Arch) and they usually succeed. Either way, if there's a serious security issue, the packagers will be definitely be notified and ready to ship the update immediately after upstream, hopefully along with a push notification to their users to update ASAP.

> - when u update running Firefox under its feet using distro package manager, it won't like ... everything crashes.

I haven't had that happen in over a year - Firefox just says "please restart to keep using Firefox" on new tabs. And you're the one triggering the update, so it's the same as a manual install.

> - not distro ff applies update patch when it starts or shows yellow notification on right side to say update is ready ... much better UX.

Updating on startup is horrible UX - what if I'm on really slow wifi or have a weak computer? Now I have to wait multiple minutes for my browser to start. As for update notifications, most distros that provide GUIs for their package manager also provide update notifications that you can enable.

> - snap packages have uses, but I do not like sth Firefox as snap, unnecessary bloat.

So...don't use snap? Every distro I know packages Firefox using the native format, snap is just another option that you're free to ignore.
In the article, the author goes over exactly this.
Wait until you bring the NZ birds into the fray. Kea's will open the door of your caravan find the fridge and raid it.
Those are release names, like Sierra and Mojave for MacOS. Different. There, you can sort of go nuts. The product name is still, well, "processor".
Midland Main Line in England "cost given as £1.3 billion pounds and also included three station modifications at Leicester, Derby and Sheffield. 422 single track miles of wiring was supposed to occur and a total of 120 bridges modified."

So roughly 340km of double-track for $1.5bn.

https://en.wikipedia.org/wiki/Midland_Main_Line_railway_upgr...
GitLab team member here! User Limits will not apply to a public group as a top namespace and as at this time, no limit on private groups within a public top namespace group. See the 6th Q&A entry in the FAQ page (https://about.gitlab.com/pricing/faq-efficient-free-tier/#us...), excerpt here:

> Q. Do these changes apply to private projects within a top-level namespace with public visibility? A. User limits are currently applied based on the visibility of the top-level namespace. We will monitor how top-level namespaces with public visibility are using private projects to identify whether any limits on such projects are needed.
This guy loves sbt. For me it's one of the main reasons to use TypeScript instead of Scala.js. npm is so much better. I have been writing a lot of code in Scala.js and Scala about a decade ago, but thinking now of it, I feel only dread. Scala the language is nice enough, but the whole ecosystem around it is so stuffy.
So from one dictator to another
I was agreeing with them, just with some more details of why we (sensibly) haven't spent even more effort on cataloging all the terrible impacts of climate change in extreme detail. What we know is bad and convincingly supported enough and bad political actors will seize on anything they can portray as an overreaction.
Hydrogen has the benefits of delayed time-of-use.

For example, nuclear power continues to create energy at night, at 2am when there aren't many trains running.

In contrast, when an electric train pulls from the grid, it needs electricity immediately, no matter how loaded the grid is. Electric Trains running at 7pm (during the "Duck curve") will inevitably be powered by natural-gas peaker plants.

---------

In contrast, Hydrogen electrolysis could continue into the night and be powered by "otherwise unused" 2am or 3am electricity from nuclear power. Even if the train was running at 7pm, the electricity comes from the most advantageous time throughout the day.

That is to say: Hydrogen is a fuel, AND a battery, AND is compatible with electrification technologies thanks to the fuel cell.
Sure, but if there were enough motivation and interest from various broader communities (not just in email, but also security, say) maybe a "Gemini" style approach could work. I would be very happy for email to be limited to a Markdown-style subset of HTML.
I think its simply a reselling of GCP storage services with overhead cost of their backup redundancy and SRE on-call.

But even with all that, 6GB per year definitely make you question the value of using Gitlab Container Registry vs Your Cloud of choice similar offering.
Now I just miss Rust when writing Scala.
This is backward, the domestic cat is a descendent of the Eurasian wildcats.

A substantial number of the wild cats in Europe are feral, but so what. Same cat, same niche, same place.
Back when a C functions and variables could only be 8 chars long[1], mid-to-high-level trolls lurk at every line.

[1]: or rather, if they were longer, the first 8 had to be unique.
I was literally - minutes ago - watching Overlord then saw this message just now. Small world sometimes. Rich world building that it can be referenced easily.
American overinflated public infrastructure estimates aren't very useful for comparisons with Germany however.

With the numbers US planners are spewing out, we'd never have fast train network in Switzerland or high-speed rail across Italy, France or Spain.
also, old haproxy process (with opened connections) still does checks which might be undesirable at scale.

as such we try to avoid reloading haproxy as much as possible. you can even renew a cert on-the-fly uploading the new cert via the admin socket.
> Poland and Hungary, two countries which should never have been allowed to join and are currently causing the union a lot of issues

May I know why exactly these two countries should not be allowed to join EU? Because they cause issues? I mean, every country causes some issues. In the current context Germany and its former government lobbying for Russian gas causes issues of perhaps much larger scale. Tell me about corruption.
React Advanced Cropper – create the cropper you desire
This React library is designed to give the possibility to create the image cropper that is exactly suited for your design and give the best possible user experience for your users at the same time.

I hope it would be helpful for your projects.
> SEC seems to be full of industry insiders these days.

I don't think there's ever been a GAO report favorable of the SEC.
SMS 2FA is just sending a time-limited secret by SMS and checking that the user gives it back to you.

USSD involves two-way communication and requires cooperation of the carrier.
Have you ever been to any of the mentioned countries or spoken with people from there, or is your opinion based on what you hear and see as an outsider?
$30 million per km (even if double-tracked) is exorbitant and can only be explained through entities who don't care spending Other People's Money.

The UK government estimates £600k/track-km, so even in the US with high wages it should be doable at $2 million/km per track if budgeted carefully...
Please explain why CAA variables are overengineering.
I think that details like angle and position will be resolved by using basic sketches as a starting point (we can already make images that sort of conform to layouts as well as prompts), and subdividing the image into assets it then has to stitch together in subsequent steps, and then adjusting lighting/contrast/style as a set of filters in post processing. The wall is lowered quite a bit when you don't insist on doing everything from a single magic prompt

(This will be great from the point of view of art creation; not so great from the point of view of supposedly rendering humans obsolete)
>Good luck in a classroom of 30 kids

I think you get close to the real problem with this assumption. Classes need to be smaller. Even at a university, where the people are supposed to be more disciplined and attentive than a random middle school class, only the lectures are held for many people, and the practical stuff is done in much smaller groups.

In order to have more successful social systems, we need more resources in it. More money, and more people whose job is to care about the other people.
Kotlin is a fine middle ground. I would say that coroutines was a misstep (though that's a matter of taste), but otherwise their choices have been pragmatic, and their multiplatform efforts are impressive.
AACS, not CSS. DeCSS happened before I was really using the internet
The individual "files" are usually very simple. They are chained together into more complicated programs, but they rarely go much beyond driving a single screen or report.
It is astonishing how people are aghast that giving raw user input to something akin to the bash interpreter will have security implications...
We are/were even exporting gas-produced electricity to France because so many of their nuclear plants were failing.

edit: Here’s a source: https://abcnews.go.com/International/wireStory/germany-expor...
I asked this a week ago: https://news.ycombinator.com/item?id=32723101

Would what you're working on do what I'm aiming for?
I wanted to listen to the voiceover, but there's an error in the first 40 seconds (morning/evening) and it has really put me off from listening to the rest.
Also an interesting question for company names. Google, Amazon, Apple are whimsical and cryptic. Microsoft hints at software, but is still not very descriptive. Facebook was descriptive, but they switched to Meta, probably to have a less constraining name.
First of all, Foote isn’t a historical, or he wasn’t during filming. He’s a cloying sycophant who egregiously who thinks the civil war wasn’t in fact w war to abolish the institution of slavery. No, Mr Foote (a writer by trade) wants you know the whole thing was just the result of a “failure to compromise.”

Yikes.
I don't think that has anything to do with it. The UK is not at all normal socially though.

It's a very strange country, what its lack of respect for freedom of speech etcetera. It's been formalizing its authoritarian excesses and made them normal, and I get the impression that the British have gotten used to it and accept it as the way things should be.

I can't read Hungarian or Polish, so maybe I don't see these things, but I don't feel that Poles or Hungarians have internalized a view that they can't say what they mean in the way that I feel that the Brits have, so while you may be intending some kind of irony in your remark, Britain may in fact be the most backwards country, socially, in Europe.

The Brits seem to feel that punishment of people who are in the way, or inconvenient, or challenging the state is legitimate.
There's also the Zowe family (which are tied to IBM mainframes, but a lot of COBOL code runs on them)
> the ecosystem is essentially a microcosm of the US political landscape

what does this mean?
For those unaware: the reason boar are singled out is that they forage by digging up the ground, so they're more likely to be directly affected by contaminated soil, even if the contamination would normally be underground at this point.

I'm not sure what the situation is with burrowing animals like rabbits but I'd wager the problem with boar is also that they are more likely to actually ingest contaminated soil in addition to simply being covered in it.
Though COBOL infamously has the ALTER statement, which allows you to rewrite code at run time ;)
It says "component". How many components do you have? I suppose if need to deal with more than a dozen components simultaneously, something is wrong. What is worse, the overhead of maybe not knowing a one-word description of component FancyName once in a while (so you have to look it up, pressing F12 or such), or having to deal with a obsolete, too long name (trying to be clear, or having too disambiguate between multiple redesigns), or unfitting name: all the time you're working with the thing?
Sure, I would like to reply to all but sadly we haven't moved to the host yet and are just developing on Windows machines using an old Cobol Compiler (1974 dialect).

The host system uses COBOL 1985 as far as I know and runs on the newest IBM hardware.

Learning resources: A script our teacher wrote and his exercises and one big IBM book as well as one German "Cobol insiders" book that is not available anymore.

As far as environment specific things: We have guidelines for our code of course but I am not aware of job control languages. But like I said, we aren't on the host system yet.
I actually think Scala is in the best position it's ever been.

There is a commitment to making the language simpler, easier and cleaner.

On the backend, ZIO (https://zio.dev) is the best concurrency library on any platform. On the frontend you have really interesting Scala.js projects like Laminar (https://laminar.dev).

The biggest issue really is the tooling. SBT is simply awful.
I've gone back and forth on this.

I think if you expect you'll only need a small group of people to know the name (the "Shelob" example at a startup), or you expect a large group but only are adding one name to learn ("Vue"), it's fine.

The cute naming gets hard on larger projects. If you have to write a status or design document covering many teams, all with multiple cute names, that document will be impenetrable. It will be as hard as learning a new language - which in a sense it is, because your team will have created a new language that outsiders will need to understand in order to work with your team.
"Amazon Web Services" could mean literally anything. It only seems obvious and descriptive because it's become a widely known brand.

Compare: "Nile Online Frameworks"
Sorry, I don’t have one either. I’ve always experienced my thoughts as arising in a pre-language space. I must say, though, that deliberately translating my thoughts to language brings a lot of clarity as to what I’m actually thinking.
Ask HN: Has YouTube playback gotten less reliable?
I find that my YT vids seem to hang after the first 10s or so. Force quitting the YT app seems to help, but it’s pretty annoying. Has anyone else noticed something similar?
The deployment strategy depends on a lot more than that. Team size, team workload, product nature, customer expectations, average story size and complexity.

Hard release cadence is amateur hour (outside of major software pieces like operating systems and languages).

One release method that I had to install by pulling rank (after non-stop discussions) was the "release when ready" approach.

Imagine your scrum board. There is the QA column - all the stories that are currently being QA'ed.

Now imagine that during a standup, the QA column is empty - everything has been tested and there are no unstable features in QA. This is when you cut a release.

It can be that you release every day, or you may not release for three weeks.

It worked without fail, and was insanely flexible, resistant to change in variables.
> The vast majority of users cannot do the "making sure" bit suggested here. Of those who can, the vast majority (including myself here) don't.

Crucially, the browser is showing you historical information. This was the certificate for a transaction which already happened. Because this is about the past not the future you can't make decisions here, only have regrets.

Whereas for certificate name verification and all the other stuff your browser does, that is done by the browser in real time during the connection setup.

When you type the destination bank account, and amount to send, into a bank's "send money" form, and then decide to "check the certificate" the browser is not showing you a certificate for the HTTPS transaction you're about to perform, it can't. It's showing you the certificate associated with the form page, when you click "Submit" or "Send" or whatever, there may be a totally different certificate for the HTTP POST operation, it may result in a 30x redirect, which can result in yet another different certificate, you aren't shown these certificates before your form data is sent, the browser does all its checks because they're instant, but your dithering would be too slow.
I think they are pointing out that because the Rust design has decoupled the functionality from the implementation, these kind of replacements are even possible in the first place.

Of course, if you use an alternative executor there are large swaths of the (non-std) async ecosystem that are not available to you (thinking of anything like relying on a tokio::timer::Delay as an example). But as you point out Rust in the Linux kernel already doesn't rely on the std, so they wouldn't even begin to imagine to use an off the shelf crate and expect it to work unmodified for their use case. I just think it is worth pointing out that this is a constraint we currently have.
Perhaps they meant European wildcats[1], not feral cats.
[1] https://en.wikipedia.org/wiki/European_wildcat
I suspect the 7000 years old field of accounting would raise objections to the notion that humans can't be audited...
I don't like them - they were OK when talking about 6-8 chips in 3-4 generations. But after the 30th different lake you get thoroughly confused. Apple did it better, switching from big cats to big cliffs after ten releases...
I know, but iCloud is not tool for creativity. If we implement political correctness into creative tools, we just put another layer of censorship to self-expression. Publishing on social networks follows.

We just create ultimate dystopian society step by step. Of course because of our safety.

Do anyone actually belive that those "protection implementation" will reduce actual fraud? Criminals will use other tools anyway.
You're overestimating.

See RFC6238 for time based one time passcodes. It is a fairly simple truncated SHA hash of a shared secret (random fixed length string) with a UTC timestamp. Build your own or look for code on the internet.

Once you can generate and verify a proper hash (https://totp.danhersam.com/), it is simply a matter of getting the user to do likewise. This can be done using an app (I like FreeOTP+) or you
can generate the hash value yourself and delivery it to the user over SMS or email or voice call or carrier pigeon or any other off channel way you can think of.

Obviously, there are details to be worked out but the overall process is "kindergarten algebra". In your case, the biggest hiccup is likely to be USSD.
You can create a lot more copies of the AI.

But then again, when it comes to commercial needs, a human doesn't need "retraining" every time you ask them to draw something they weren't familiar with when they went through art school...
So will permitting extortion of an entire continent by a dictatorship.

The goal is not to permanently ration. The goal is to get through the winter, so there’s time for the longer term fixes to be put in place.
They are nearly as easy to dismount as a mobility scooter. They are stable, no balacing and typically no crossbar so you just swing your legs across.

https://jorviktricycles.com/tricycles