skysight-inc/HackerNews huggingface dataset:
You don't want someone to say "Hitler"[1] but you're a supporter of geronticide??

[1] https://news.ycombinator.com/item?id=32236065
I don't see MISRA C as comparable to SPARK in this space. MISRA C is more like a style guide for writing less awful C.

There are huge swathes of MISRA which forbid things which not only aren't possible in Rust or SPARK, they'd probably make a lot of real world C programmers shake their heads in disbelief too. For example MISRA tells you not to put switch labels within blocks started by another switch label. Most C programmers probably had no idea they could do that, which is fine because they shouldn't. In experiments these MISRA rules don't trigger - nobody is actually writing the sort of C that's forbidden.

There are also a bunch of MISRA rules which just seem like style preferences, in experiments these don't seem to contribute to improved software correctness, the "bugs" identified by these rules don't interfere with correct program behaviour. Enforcement of such rules tends to breed resentment from programmers.

MISRA isn't useless, but that's actually an indictment of our industry. This very low bar is still tougher than a lot of code people are actually using. It's like you find out that your country's fire regulations only require a nightclub with 500 drunk people inside to have one working fire exit... and then discovering most clubs in the country don't meet this inadequate standard anyway.
Initially I had a lot of luck on UpWork and managed to find some clients that I worked with for over a year. Initially, I was getting 90% of job requests from Upwork and 10% from my blog and LinkedIn, but about year ago the proportions flipped the other way round.
Email inboxes are one of the many services schools buy, it's not about any promotion and of course Google doesn't promote them, this is a service they provide for money, not some barter. This is like saying they promote a catering provider, furniture manufacturer or paper factory by buying from them... It's not like people aren't capable of using other email providers after using Gmail - email looks just the same regardless of the company (usually works worse though), and people have their own email too, their school inbox is usually not their first nor last contact with it.

Pupils' personal email inbox is their own stuff and completely out of the question. We're talking about school-managed inboxes with addresses ending with the school's domain.
Were they working as contractors for the government or as actual civil servants? It's common for hiring to essentially stop during downturns but still relatively rare for true govt employees to be laid off.
> Some manufacturers will use a private tag to hold the same information that's meant to be in a standard tag...

Agree! Also some applications have "special" features that rely on data stored in private tags which, of course, you don't have any idea how to use.
I guess culture shouldn't be canceled so people can figure out how things actually work. The only thing that will make the populace question Putin is if he looses the war.
There is no reason you can't deploy the Java server nor run the docker container on Linux. Or do you mean a native client for Linux?

For my Ubuntu machine as a client, I just use the web extension for Firefox and I also use the Visual Studio Code extension. I am most happy that my READMEs don't have such stupid errors anymore when I push them publicly where anyone can see. LOL
Well if those were the only days that that person dressed nicely, surely the boss would notice :) I jest though, your point got a chuckle out of me!
blockchain domain are equivelent of domain names in DNS, i.e. they ae human readable wallet addresses.
Making them nonfungable is a requirment (If it pointed at two wallets someone else could get your payment). Making them decentralised is a requirement to prevent someone else (and so ultimatly govenments) to decide where your payments go.
Slight off-topic and tangent:

I am looking into writing some basic compiler(s) but I really want to emphasize micro-optimizations, maybe even the stochastic ones -- don't ask why, it's just an obsession.

Question: is there an Arduino-like hardware that allows FULL visibility into the efficiency of every piece of code ran on it? On my first job, 20 years ago, there was a team working on embedded boards that maybe did something similar.

But again, I am looking for a piece of hardware -- and a software stack for it -- where you say "here's this chunk of assembly / machine code, run it and give me detailed statistics which instruction got ran the most times, which one took the longest time" etc.?

Is there something like that out there?
> If mullvad sells the cards literally anywhere else, then you can't even say that with certainty.

Mullvad doesn’t even have to sell them anywhere else: anyone who bought one on Amazon could have re-sold it, individually or in bulk. That’s the clever part.
The best thing I ever did is have a secondary device - a tablet - that has all notifications turned off. I get the benefits of a smart device, without the attention-grabbing detriments.

Sure, my phone still rings and beeps at me (occasionally), but there's enough of a barrier in the act of moving devices which keeps me from swapping instinctively, that lets me keep my attention on the media (usually books) I'm consuming.
> I must be completely honest and make no attempt to hide from thoughts or feelings that arise. This can only be done (for me, personally) when I'm sure that no one's eyes will ever see it. Only then do I allow myself to be completely open.

Mainly a question for the author, who is unlikely to see this, but how do you ensure that no one's eyes will ever see your journal? I guess I could set up automatic GPG encryption for org-roam, and journal in there, but I'd much rather journal on paper. A safe? A cash box?
A good media reputation can save your job: Study
I wonder what's going on here with the v3 tor site traffic

https://metrics.torproject.org/hidserv-rend-v3-relayed-cells...
Unfortunately the subway stations in my neighborhood in Queens run above ground.
It's a business expanding to fill the market sort of thing.

The people on those teams undoubtedly have plenty to work on.
This is bullshit. There is no sustainable revenue model for "move to earn". Ultimately who would pay for it when the investment capital runs out?
1Password appears to have questionable default vault permissions
I'm managing our company's 1password teams installation, and found out anyone in a vault, by default, can export or print all vault items with a simple mouse click. While it's possible to copy/paste anything out of the vaults, this ease of export really makes things questionably secure. This is my solution to remediate it in the short term. It's not perfect.
> Each has its own performance hit but that hit can be worth it

Rust's focus on making things explicit has a tendency to make programmers want to remove every clone and allocation and make a mess of lifetimes and references in the process.

Just use Arc<Mutex<UserAccount>>. Clone freely. Box things. It makes programming so much easier, and performance will still match or exceed other languages. GC languages do the same things, but implicitly.
Depends on what meaning you put on each word. There is no One True Meaning in this case.
I'm a bit curious here.

I see that RustDesk is licensed AGPL 3.0. At the same time the GUI component (Sciter - https://www.sciter.com) is proprietary software with it's own non-compatible license (https://github.com/c-smile/sciter-sdk/blob/524a90ef7eab16575...).

Was the intention to use something like LGPL to stand on the shoulders of the external libraries or was the choice of AGPL just a hopeful goal with licensing issues to be resolved in the future?
Having the supposed foresight, I can tell that cryptocurrencies are definitely part of the dystopia.
Umm, it did. In CT. Last month.
https://archive.ph/FZ2wv
Sheesh, yeah. Wayland is one of those aspirational things I check in with every once in a while, like Star Citizen or fusion power or the moral arc of the universe bending toward justice. They're nice things to think about, in dark moments, but I don't think one should bet on their successful implementation.

...right?!
Art is something we can appreciate the beauty of and for that alone, we don't per se need originals.

Arguably, however, someone wanting to own the original painting by a well regarded artist (say a van Gogh) you're stepping into Veblen goods territory[0] as its a display of wealth, status and prestige. This is what NFTs are trying to achieve

[0]: https://en.wikipedia.org/wiki/Veblen_good
You are in luck. author open-sourced it.

https://github.com/softdorothy/GliderPRO

also glider 4.0 is there also. Along with some of his other games.
SPC Founder Fellowship applications open, terms still $400k for 7% pre-idea
> The people there aren't meaningfully less free

They pay twice my mortgage to rent a tiny, cramped apartment from a slumlord who can't keep the plumbing functional.
> [...] just hold a reference to the UserAccount itself and modify it at will without any confusion

Except the confusion of data races and having multiple concurrent writers more generally. Not a hypothetical: I've worked in a large C# code base where other people had decided it was fine to just pass a bunch of references around to different long running processes, and sure enough, they ended up stomping over each other's assumptions in really dangerous ways.

Unless of course you're actually controlling access to the data somehow (mutex / read/write lock), in which case you can just use _exactly the same pattern_ in Rust... so this whole thing seems like a bit of a red herring.

> [...] so we work around it by putting all UserAccount instances into a Vec<UserAccount> [...]

No, "we" don't. That's one particular (bad) pattern you could choose, and I wouldn't even say it's an obvious alternative. If in your hypothetical alternative programming language you would have just kept a reference to the data (via GC or ref counting, as you said) then why not do exactly the same thing? `Arc` is a thing. It works just fine.

This sounds like a case of trying to come up with convoluted solutions to simple problems and thereby doing something unnecessarily bad that nobody made you do.

Rust certainly has its warts... but this isn't one of them. Rust doesn't make you do what you're describing, and you could equally choose to do the same bad design in your preferred GC language.
AWS does the same thing. My account was randomly blocked until they went through the documents I had to submit. IIRC, I had to use a different payment method too just like the OP.

The solution is to use multiple clouds. Switching from one SPOF to another doesn’t help.
The Hemingway Method (2020) – A Productivity Technique for Continuous Creativity
The fact that they even have logs to produce is my point.
State of PostgreSQL 2022
Well, if you don't sell a recurring subscription (or a consumable), once someone buys something, they don't buy it again. So how do you meet payroll? You have to constantly sell to make money and pay your employees. That's called growth. Kinda basic.
That is frankly fantastic... I absolutely adore the blob emoji, so much so that the default emoji that ship with my product are the blobs.
The thing I fear the most with this is "proof that secure boot has never been disabled". This is just a way to brick your device from accessing services.

What if you government's tax service requires such proof? Or bank? I cannot count how many machines I booted on Linux to rescue a hard drive, or image it, or wipe it, or just to install linux on them. All those devices, boom, paperweight for regular personal use.

I hate it so much that Microsoft is alone in this. It's not because it's M$, it's because they're alone on it.
Shopify stock is down 80% over the last 12 months, but their P/E ratio is still 250. I predict more rounds of layoffs for Shopify, and with less generous severance packages. This company is valued as if they are a hyper growth startup, and I just don't see it. Good luck to anyone buying or holding this stock.
Our ISP took away the ability to manage DNS settings in an update. They're probably going the same direction as yours, and the device has a SIM and some crappy cellular backup that I suspect would facilitate always-online device management.

They've also strung me along for probably over a year from one support ticket to another for intermittent failures. As they don't own the copper/fiber network, they would just create a new lowest rung ticket, schedule some contracted third party tech to come out, who would then re-terminate all our coaxial cables, check the connection and leave. This happened about 8 times. I eventually made a real big fuss and they elevated me to some other team, who then booked yet another visit and then didn't show up. I spent an hour to chase this up the next week to learn that they had checked some neighborhood infrastructure and realized there was a failure there and fixed it and gone home with no notice. And just like that the problems were over. Fun people.

Anyway, that's the joy of a hybrid copper/fiber-optic network.
I don't get it either. My understanding is that with a queue, we are trading our time to get what we want. Is he saying instead of trading time, we should fork out cash to jump the queue?

Here is a TWO hour long documentary on Youtube that talked all the machinations/tweaks Disneyland made to queueing. TLDR, you have to stay at a Disney Hotel to really jump the queue, buy some crazy app, and make reservations months in advance. It is really stupid. https://www.youtube.com/watch?v=9yjZpBq1XBE
There are a bunch of people that want to send cash to family in Cuba/Russia/Iran. Also Chinese people want to get foreign currency. I guess they are combinations of 1 & 2.
Yeah, I don't know, but I was thinking like a strip in the middle and then maybe a metal tire under the middle of the car that contacts the strip. Obviously you wouldn't want it to electrocute you if stepped on and low voltage doesn't travel well so it would certainly require some innovation.
Choosing another agency only works if you have them create the account. That is not a good option because then they own it and they pretty much always abuse that ownership by telling the client the account spent more than it did.

For example they normally say they spent $10K when really they only spent $7K so they charge the client $10K plus fees and make an absurd amount of money.

Also the client cannot take their account to another agency if they want to fire the existing agency.

This is a big problem because the entire field is based on looking at historical performance of the account and making adjustments based on that data.
Yes, I remember stumbling upon DICOS when I researched DICOM. Quite interesting application of the standard!
Ergonomic tips from over-full-time programmer
The oracle problem rears its ugly head once more.

It's not a /nice/ DEX but amoveo exists, almost no liquidity but in theory it works.

It's not hopeless but it is important to understand how impactful solving the oracle problem would be. The implications are IMMENSE. Literally obviates the need for governance.

So idk, monero is too small (in some sense) to really be useful and the oracle problem is too big (in some sense) for a solution to it to be "one of many" - it'll transform everything and it can't happen unless people make it happen.
Uh, so... That's basically Disney World right now. You must reserve your visit to the park, and there's a paid system (Genie+) to compete for ride times without waiting in line.

And there's a really good video someone did on the evolution and systems engineering behind the Genie+ / FastPass system:

https://www.youtube.com/watch?v=9yjZpBq1XBE
Separate volume sliders would be great for nature documentaries. The BBC doesn’t half over-dramatize with their scores, yet the footage is absolutely captivating. To watch it without the music (or even, dare I say it, without Attenborough’s narration) would create a very different experience.
Who is talking about banning? The question discussed in the article is whether we may blame Russian authors.

It is possible to be critical towards the philosophy of some litterature without banning it.
this is dank
AliExpress allows you to select who you are buying from. Not allowing that is my one problem with Amazon.
I'm not certain this is where Pluton or a TPM could've helped much (individually), it's more the task of Secure Boot, Secure Launch(/DRTM) and Trusted Boot.

I'd love to see a similar effort at ensuring boot integrity for Linux, but way too many distros can't even handle Secure Boot with Nvidia/DKMS. Though even more practical features, one being (f)TPM-backed FDE, are very cumbersome and underutilised.
McDonald vs Chicago already incorporated the 2nd amendment (as interpreted under DC vs Heller) against the states. This has not been the case for abortion or limited privacy rights recognized under Roe. There's no novel argument in this article.
This is a cheap toy truck for pretty much any industrialized country. It’s weird to compare heavy machinery sizes as if it was up to personal preferences.

Maybe look past your vitriol towards the US?
Building a market for bandwidth as a commodity was the last major initiative that Enron started. Didn’t go well for them, and I can’t see this going well for Helium.
Cultural imperialism is part and parcel of Russian literature.

Brodsky derided the Ukrainian quest for independence 30 years ago just like Pushkin did the same for the Polish one 150 years before that.

This is perfectly rational for a writer concerned about his audience size: why should Poles or Ukrainians read inferior poetry in Polish or Ukrainian when a vastly superior poetry is available in Russian?!
Unfortunately, there are many cases nowadays where you actually need a smartphone.

It’s less about the phone and more about the apps on it. You really don’t need Instagram or any of this crap but I’m sure you already know that.

You can have a phone and just use rss for news.
> Dostoyevsky's works are amazing without any background knowledge.

Surely, it's a matter of taste :-) I've read Crime and Punishment, The Brothers Karamazov, Demons, and The Idiot without particular enjoyment. I would take Tolstoy any day.
fair enough, so your claim is essentially that people likely would, but are struggling to survive in the short run and therefore the long run is basically presumed to not matter?
You guys can do it via amoveo. If you need veo then feel free to contact me by following links from profile to an email address.
I see a parallel between Google's pseudo-customer service and totalitarian country's social order system. Both are theoretically based on clear terms and rules, but during execution can be completely opaque and non-intuitive. If you end up as the condemned party, you have no recourse to clear yourself, as the power is unbalanced and your elimination from their user base is just a minor issue. Invariably the users are driven to seek out backdoors and relationships and even unusual channels to resolve.

The fact is these types of information services are utilities, and they cannot be considered just a free market choice to use or provide service.
Maybe people are just like peasants and don't know any better. Maybe someone needs to do the Narodnik thing and go to the people [1]

[1] https://en.wikipedia.org/wiki/Going_to_the_People
Yeah I would say mailing in cash without a return address or using Monero are the best options. Shipping would be the most difficult to preserve privacy; even a P.O. box will at least indicate your locality. I'd definitely like to hear how the voucher cards work and if that leaves a trail on a Mullvad account.
There are very few incentives for long term (meaning multigenerational) foresight. Cryptocurrencies embody this: they're either planet-torching (PoW) or encode neofeudalism (PoS) into their consensus schemes.
If you have good info or known to have “good” info, just assume you are being watched.
Thanks! This is great, I'll definitely check it out in-depth.
It's a stated goal to replace sciter with Flutter.
If there’s a demand for it they can just get it off Amazon and mark it up.
Because Apple
Good point. This is a case where the problem may be in part people's preconceptions about how Rust "should" be used. People sometimes feel like cloning or using references is somehow cheating, but I think if people let go of that idea, it would be natural for them to choose a Rc<RefCell<T>> for these long running operations, as it mimics what GC'd or RC'd languages do.

I wonder if this error could be preventable by Rust's type system so that you can't have indexes that fall out of sync with the underlying Vec. It definitely wouldn't be backward compatible, so it would have to a new type built on Vecs. Although like another reply to your comment points out, keeping indexes is unidiomatic (in many languages) and would probably cause other bugs, which would hopefully prompt a developer to rethink it, so maybe an abstraction on top of Vec isn't needed.
The gist is "in umpteen gazillion possible universes, there must exist some in which there are incredibly bored people with access to heavy-duty compute power". And since those universes can create umpteen-gazillion simulated universe, the odds are that if you pick a universe at random you're more likely to be in the latter than the former.

So their motivation doesn't matter. You just have to know that some motivation could exist, no matter how stupid or pointless.

Compare the number of people in this universe who spend endless hours debating a non-testable theory of simulated universes which have no consequences at all.
It’s hard to create a two-sided marketplace when both sides have to buy hardware.
But in "Dead Souls" and elsewhere he never referred to himself as a Ukrainian. He called himself, proudly, Russian, through and through.
We generated a report each week to let all the devs know how many customers we had starting that week, what products they were launching, how many users they each had...

It was great for planning the on-call rotation as well as giving us a heads up on which nights we could go out drinking and how late we could come in the next morning.
> There is no chance of a typical system owner having the time and skill...

Hence the suggestion to make it tamper obvious.

As for the attack surface, it is true, but it's a separate problem. You don't have to bloat your firmware to make it trusted.
GCs rarely do something as expensive as Arc.
They are just screwed.

I once worked with a company that was willing to do pretty much anything and spend pretty much anything to get back on Google and nothing worked.

You can create a new account but Google has a million ways to understand what you are doing.
Very easy, because anonymity was never the point of cryptocurrency - it's all about ease of manipulation and Monero is the "outcast" because it can't be tracked and manipulated.

This is a case where the cryptocurrency world wants "anonymity on paper, but not that much anonymity"
Yes, you can verify that it doesn't work by looking at godbolt. Here's a very simple example. https://godbolt.org/z/sqW8xcGEc . For some reason everyone seems to suggest that when it's a currently open (For the last 5 years) issue on their github of it not working. Using a third party tool and binary patching is not an appropriate measure of securing a binary in the case of the linux strip util.