skysight-inc/HackerNews huggingface dataset:
I unfortunately agree with you as well; it will probably take a world-scale horror story to ignite the anti-data-collection sentiment we need.
I think it's more like authors have not "licensed" people to use their works to make profit from, which is current law. The AI companies just use a 'non-profit' entity to collect the images to skirt around the law, otherwise why would they use a non-profit subsidiary and be very careful about only using non-copyrighted music for music based AI?
There was a time when we were living in Delhi and we used to drive down to Jaipur, where our extended family was. We kids looked forward to the drive, as it meant nice stopovers, snacks, etc.

After leaving Delhi we would , after an hour or so, make our first stopover in a little village called .... Gurgaon! There we would have chai, samosas, etc. In those days Gurgaon was separated from Delhi and a sleepy little village.

When the capital expanded, those villagers became instant millionaires.

A lot of comments in this thread are crediting TCS, Infosys, etc for lifting people out of poverty, but another factor was the skyrocketing realestate prices. Small-time farmers who could barely make ends meet suddenly were sitting on million-dollar land holdings.
Stolen $3B Bitcoin mystery ends with popcorn tin discovery
No. bstr depends on memchr.

bytecount is faster than memchr for counting occurrences for bytes. It doesn't have to stop and report offsets. It can just zip through and count.
> How much of that was due to alt.binaries.?

Most ISPs stopped carrying .binaries.* groups because of this.
> From what I remember, it was just a "From:" header and spoofing was easy.

Yes. Same was true of email back in the day.
I read this recently - https://www.newyorker.com/science/elements/how-food-powers-y...

Seems potentially related - it discussed this idea in part of it:

> Maybe it’s both, but Lane suspects we pay too little attention to the latter possibility. He argues that it might explain the outsized correlation between cancer and aging. From age twenty-four to fifty, your risk of cancer increases ninety-fold, and it continues to grow exponentially from there. A popular hypothesis holds that the root cause of this mounting risk is the accumulation of genetic mutations. But some scientists have argued that the rate of accumulation isn’t nearly fast enough to explain the extraordinary trajectory that cancer risk takes over a lifetime. Nor does the gene’s-eye view explain why some tumors stop growing when moved into a different environment. For Lane, these facts suggest that cancer is best thought of as a derangement of metabolism.
You're right.
It's just a random side convo that came out of the main thread.
Deja News -> Google Groups.
The post I replied to brought up a very narrow set of features that had been available in vim for a long time.
When I make Linux my daily driver once the Linux sleep issues are straightened out on the Framework laptops, I will try out running macOS in a VM with sosumi to help with the transition for anything that simply cannot be done natively on Linux. Once I reduce that envelope of non-Linux applications to just the Microsoft Office suite, I plan on switching to a VM running Windows when untethered.
About Fediverse
In a First, U.N. Climate Summit Will Discuss Climate Reparations
Fox News and other media outlets

https://www.foxnews.com/politics/climate-activists-embrace-d...

There’s also not much of attempt on the left to understand climate change better.

Every weather disaster is directly attributed to climate change, even if it scientifically can’t be directly linked.

This convinces deniers that there isn’t a problem and people are being “alarmists”.
Curious about one for python as well
It would help to dispel that “myth” if Our reasoning: Why we’re removing SMS support mentioned RCS at all.
Is Yitang Zhang this century's Ramanujan?
He could have been bluffing with that statement. If he already gets it, what does he need twitter for?
> If not, then Twitter, Mastodon, etc. all seem to have a somewhat strong notion of identity.

Some of us would sign Usenet messages with PGP/GPG to deal with this. Lots of user didn't know what to do with the "geek code block" at the bottom of the message.
Can someone explain the decimal constants that are used throughout the proof? For example, on page 52. It's rare to see these kinds of numbers used in mathematical proofs, but I'm sure they were chosen for good reasons.
Yep, that is why I hanged my boots for Web FE development, no way to master it without being a full job, long gone are the days when could do well sites end to end.

At least I can have fun with WebGL/WebGPU, even if they lag behind native 3D APIs.
Yes, the time crate was rebooted after 0.1 and got a new maintainer.

I think we're starting to do better again with Chrono, hopefully it won't take us too long to get out a solid 0.5 release.

(I'm one of the current Chrono maintainers -- the previous maintainer burnt out on the project earlier this year, at which point the project sorely needed some TLC.)
I've always thought creating a shared key which rotates as soon as a single individual is added or removed is smart. There are security implications related to whose decryption key leaked, not sure if that's a legitimate threat model for almost any scenario though.
how do you use it for sms on ios? their website says they don't support it.
https://support.signal.org/hc/en-us/articles/360007321171-Ca...
It seems to me that, under the hood, stories are implemented as simple messages. To publish a story to 200 friends, you just send 200 photo messages to them. Group stories are a group message (and hence separate per group), which is a very good abstraction.
Just a small suggestion might be the category templating engines (incomplete list, based on my experience):

- askama

- tera

- liquid

And more importantly logging, due to this being a common usecase:

- log

- ... and companions

- (maybe even advanced things, like opentelemetry)
It doesn't have to be JSON. It just has to be in a formal syntax and semantics so we can interchange.
Recession anticipation tips from a turnaround pro
Satellites also need to use some energy otherwise their orbit will eventually [0] bring them into atmosphere

[0]: https://en.wikipedia.org/wiki/Orbital_decay
> maximize profits

Elon/Twitter isn't even in the ballpark of maximizing profits yet. They are just trying to make the 1-1.5B debt payment that's going to come due. That's going to require huge cuts we just saw, plus advertisers to stay on board, plus Twitter blue, plus whatever else he can cook up. And, it still might not be enough.
Is there a real world outcome to this result?
Thanks for the correction. I think Chromecast Audio initially didn't support lossless streaming, but at some point it was updated to support it?

Regardless, thanks, and I updated my post!
> Interesting, I never realized that fields weren't algebras!

One has to be quite careful with the terminology when crossing disciplines, as here. Fields are, rather boringly, algebras over themselves, in what I dare to call the ‘usual’ sense of an algebra over a field (https://en.wikipedia.org/wiki/Algebra_over_a_field). Rather what hither_shores is saying is that the collection of fields does not form a variety of algebras, in the sense of universal algebra https://en.wikipedia.org/wiki/Variety_(universal_algebra) (which is itself quite different from the algebraic-geometry sense https://en.wikipedia.org/wiki/Algebraic_variety). See, for example, https://math.stackexchange.com/questions/3756136/why-is-the-... .
I'm still of the opinion that encrypted private group chats are an impossible UX problem (1:1 chat is fine). But if I were to trust anyone to find a way to do it properly, it would be Signal.
And I am so confused, that nobody is bothered with it, and so many users of whatsapp.

I really distrust Signal for it forcing to add contacts only by phone, not hy sone user ids/nick-names
I don't thing franchises have to be so boring though, maybe a lot of people aren't old enough to remember... but McDonalds franchises, despite having mostly the same food, used to have the freedom to get a little weird with how the location looked.
Thanks! Is there a specific rust framework you would recommend for HTTP APIs? Or is the standard lib good enough that you don't really need one?
Thanks so much for breaking it down - fascinating topic!
MISRA C avoids those security flaws in a big way.
Oddly the political view tag suggests that it's an opposing team issue, but even left-leaning folks did have a blip. Maybe it's just a survey issue with the first datapoint? (I can't seem to link to the political view tab directly)

The good news is that even the most staunchly anti-climate-change group, conservative republicans, are nearly at 50/50 when it comes to whether it's happening at all.
I was going to write something whiny here, but when I opened the course site I reconsidered. I'm from the Netherlands, and based on that, got a 20% discount.

Which is only fair, given that we're a developing nation and all that, but a first for me. We normally pay +20%. So I'm now totally convinced of PPP being fair.

On an unrelated note, SaaS prices can lead to funny situations, especially when tangible costs per customer approach zero. At work we were negotiating with a SaaS vendor.

Them: our quote for your intended use is 230K/y.
Us: Actually, we only have 20K of budget.
Them: That'll work too.

Makes you wonder how far below 20K we could have gone.
Perhaps this rule should be added to https://news.ycombinator.com/newsguidelines.html? Or is it already there and I missed it?
Wouldn't your lack of bad conflict regarding money be less about the fact that you combined finances, and more about you yielding to the conflict and accepting its presence in a different way? Based on your choice of words, it seems like budgeting is a option rather than critical, so if that's the case, how would you approach things if both of you needed to have the same relationship with spending?

It would seem to me like combining finances would only lead to less actual conflict (good or bad) if you've both already synchronized your relationship to the money coming in, rather than a solution in itself.
Anyone know any good articles, tutorials or books about ABI design? How did we end up with what we have now, what lessons are there to learn? How would you go about designing a new one from scratch? Would this fall more under operating systems or compilers discipline?
Maybe add a modern DSP equalizer for room correction,
too - his receiver has two monitor loops.

Oooh, that's nice. I hate that most modern systems don't include these.

DSP correction to compensate for speaker+room issues is just stunning when done well. Turns many cheap speakers into legitimate hifi.
> Nobody is wearing explosive collars.

They've been used repeatedly in real life. https://en.wikipedia.org/wiki/Death_of_Brian_Douglas_Wells is probably the most famous example, but they've been used even more recently by ISIS
The golden rule of fees: if there are no circumstances under which you won't be charged the fee, then it should instead be incorporated into the base price. This sort of deception should be illegal.
Testing the Original 2005 Slingbox in 2022
The M1 Max pushes 400 GB/sec. In what world is that "slow RAM" and what laptop -- or desktop -- computer can you buy that is faster than that?
Some action against Russia to deter future interference?
> I think you chose this instead of MongoDB like you would chose SQLite instead of MSSQL. The library is very similar to Mongo's .Net library, so its almost a 1:1 code replacement.

I guess it depends on what's important.

Some people primarily care about the API. Other people focus on the operational story.
Thanks, that is pretty helpful since Erlang and Elixir are so similar in philosophy.

How long did it take you to get to the point with Rust where you wouldn't want to back?

Do you use any sort of actor implementation in Rust?
I wish there will be time when "(if correct)" would be nonsense because correctness is checked in a fraction of second by something like CoQ and this proof is accompanied every known theorem.
That’s painting PMs with a wide brush. I wish this was always the case, but PMs help bring all sorts of terrible things to light in the world.
Yeah I started reading that from the Wiki citation. Yikes. Academia is brutal.
I had mine shipped to Germany and then forwarded to Switzerland by one of the many parcel forwarding companies.

They usually forward the shipment for about US$ 15, and keep the German VAT. They pay the Swiss VAT from those earnings.

But: there was a problem with the commercial invoice by Framework (it was missing the VAT rate iirc) and I had to pay some penalty fee to the importers.
OTOH, this is supposed to be a list of "de facto standard" libraries. If there are several alternatives with no clear "winner", that may not be a good fit for this list?
Zoom and Enhance
If folks are requesting new machines that aren't compatible with current workflows and those requests are approved, that seems like a problem with management more than anything else. It's the IT department's job to help people be productive, and sometimes that means pushing back when users are requesting permission to screw themselves with incompatible hardware.
I think it's the laptop a lot of people have been looking for for a while. I've got one, think it's a great laptop, and prefer both the layout and philosophy of openness to my work Macbook. Macs are walled gardens, ThinkPads are attached to Lenovo, "developer" HPs and Dells have problems, System76s are rebranded generics (not that that's a bad thing, but it's not as carefully designed); Framework comes in as a new company who hasn't made bad decisions yet, has made an acceptable laptop (some things like full size arrow keys can wait a bit), and keeps showing through their actions their commitment to openness and owning your own computer. The expansion cards are a great solution too. The only real problem I have with it is the battery life, which I think even the most enthusiastic proponent will point out
LoCs of aarch64 vs risc-v is comical.

I wonder what's going on there.
"I sincerely hope Musk finds a way to fix that."

He's currently slandering people on the daily, so I doubt it.
A 4D chess move would be 12 1-word game saves on an old GameBoy game cartridge that is hidden amongst hundreds of other GameBoy cartridges.
I can't resist saying one last thing about Siegel zeros: number theorists REALLY would like for this result to be correct because the possibility of Siegel zeros is unbelievably annoying. I mean mathematicians are supposed to enjoy challenges / difficulties, but Siegel zeros are just so recurrently irritating. The possibility of Siegel zeros means that in so many theorems you want to write down, you have to write caveats like "unless a Siegel zero exists," or split into two cases based on if Siegel zeros exist or don't exist, etc.

But here is the worst (or "most mysterious," depending on your mood..) thing about Siegel zeros. Our best result about Siegel zeros (excluding for present discussion Zhang's work), namely Siegel's theorem, is ineffective. That is, it says "there exists some constant C > 0 such that..." but it can tell you nothing about that constant beyond that it is positive and finite (we say that the constant is "not effectively computable from the proof").*

So then, if you try to use Siegel's theorem to prove things about primes, this ineffectivity trickles down (think "fruit of the poisoned tree"). For example, standard texts on analytic number theory include a proof of the following theorem: any sufficiently large odd integer is the sum of three primes. However, the proof in most standard texts fundamentally cannot tell you what the threshold for "sufficiently large" is, because the proof uses Siegel's theorem! In this particular case, it turns out that one can avoid Siegel's theorem, and in fact the statement "Any odd integer larger than five is the sum of three primes" is now known https://en.wikipedia.org/wiki/Goldbach%27s_weak_conjecture. But it is certainly not always possible to avoid Siegel's theorem, and Zhang's result would make so many theorems which right now involve ineffectively computable constants effective.

*Why is the constant not effectively computable? Because the proof proceeds basically like this. First: assume the Generalized Riemann Hypothesis. Then the result is trivial, Siegel zeros are exceptions to GRH and don't occur if GRH is true. Next, assume GRH is false. Take a "minimal" counterexample to GRH, and use it to "repel" or "exclude" other possible counterexamples.
Pray tell, what is the nature of government?
1M TPS – The world’s fastest financial accounting database, written in Zig
AFAIK, ICBC is China's largest bank, and it's main purpose is to finance government construction and keep the debt off China's balance sheet.

Such a bank does not exist in the US or any major EU countries. They issue bonds and keep the debts on their balance sheets.

I'm skeptical India has any such equivalent.

The same is true for all the major banks in China. The main difference in China is that - since the bank is an extension of the state - the state directly decides who does and very importantly WHO DOES NOT get funding.

The companies that do get funding are often times GSEs. This is federal debt... Pretending otherwise is pedantic.

Sure, I'm with you - count Fannie Mae's and Freddie Mac's debts as the US Federal Government's debt.

India and almost every other country don't have any equivalents.
Q-Bio | Staff Software Engineer | ONSITE in Silicon Valley | Salary DOE but it's Silicon Valley, so... | https://jobs.lever.co/qbio/7d05446c-2300-4311-bdf5-862ae84c9...

We're building Q Bio Gemini, the first clinical, whole-body Digital Twin platform.

We're hiring a staff software engineer to help build the control software for our whole body scanner.

We're going to change healthcare. Come with us.

q.bio
What kinds of optimizations could be available to a system that can integrate a semantic and systematic understanding of a chip, microarchitecture and high-level compiled languages on top of that?

I know we have e.g. VHDL but to marry that to a high level language compiler seems like it would open some new doors (maybe this has already been done and I’m just not aware).
And all the dragless satellites around the earth are focusing on documenting as all the frictionless spherical cows on the earth
The only benefit I've seen to "move to the cloud" without a full re-write is you can now double the performance of your cloud server without a full reinstall. Sometimes.

And end up with not much gain. :(

You pack your bags And you move to the cloud
There's somethin' missin' here at home

When you, you gonna move to the cloud?
Into the cloud where it all began

I'm always buyin' With the local and the junkies
This cloud life is one big pain!
But you, you had to move to the cloud
Into the cloud where it all began
Engineering programs do include a required ethics class. But with a cynical lens, it's only required because the bodies that license engineers and permit them to practice require that course in order for a school's degrees to be accredited. Once an engineering graduate is licensed and practicing, they're on the hook to follow a standard of practice that includes ethics. If they violate that, their licensing body has the legal teeth to punish them in a variety of ways (e.g. fines, removing their license). Also, employers who do engineering work have to agree to a similar deal with the licensing body. If they force engineers to act unethically, those engineers can report them to the licensing body who also has the legal teeth to go after them in a variety of ways. It's not a pretty system but it generally does an okay job.

The ethics course itself is a very small piece of the puzzle. Even if every software engineer had to take an ethics course, there's still a huge power imbalance between the average engineer and their employer. Ethics are great and all, but without a legally backed standard of practice to protect those engineers, widespread violations are more or less inevitable. You can stand up and refuse to do work because it goes against what you learned in your ethics class, but your employer can just find someone who doesn't feel as strongly about that. That still happens in traditional engineering fields, but there's at least a legal/regulatory framework in place to discourage it.

Some jurisdictions "solve" this by lumping software engineering in with other disciplines and making the same licensing bodies deal with it. This is also a big mess. Those bodies are normally led by "traditional" engineers who barely understand software, their standards/legislation were written before software-specific issues (e.g. mass surveillance) were relevant, and their processes don't move fast enough to deal with a rapidly changing field like software engineering. It may be possible to fix all this or create similar organizations and legislation specific to software, but it's not trivial.
Its not a question of abuse of power anymore. The PATRIOT Act has already given them unlimited power with no checks. Might as well have them use some of their power for something that benefits consumers.
I think you’re now conflating the principal place of business activity with a mailing address.

The principal place of business has to be an address where actual business activity takes place. That establishes your business nexus and which states/agencies have jurisdiction over your business.

It doesn’t matter if it seems “fine” to put down a virtual address in the principal location field, it’s not sketchy — it’s simply not allowed. The state can revoke your business registration for doing so. (And if you look at the terms and conditions for your bank and/or credit cards, they can close your accounts for doing so as well)

In the context of business formation, it is entirely legal for a business to have three different addresses for the three different address roles (principal place of activity, mailing address, and registered agent) provided those are real addresses.

Every secretary of state (or division of corporations, if it’s called that in your target state) that handles business formation allows for this. Sometimes the principal location is public data, sometimes it’s not. The registered agent is always public data.

The original comment I responded to was in regards to your stated requirement of the CEO receiving mail for the company — that is the role of a mailing address. The address to where the business can be served notices, subpoenas, etc, that is the role of the registered agent address. In the context of a remote-first business, you can choose to put your home address here or you can put in legal substitutes.

With regards to your last comment, the judicial system uses your principal address for determining jurisdiction and your registered agent address for delivering notices. If you are providing a virtual address when they go looking for any of these two address roles, you have screwed the pooch.

In the new context you’ve raised regarding tax authorities such as the IRS, when you are filling out said registration paperwork or change of address forms, you are explicitly asked to give the physical address where your records are kept which introduces a fourth address role — that again does not have to be your house, but it does need to be a real, legal place.
Or use the included USB-C card and plug your dongle into that.
Karl Marx had the answer, but you're not gonna like it.
Many laid-off people turn to consulting. Thus if you are a freshly minted consultant you will be facing competition from those in a similar situation.

The golden rule is to build and maintain a strong network. Easier said than done. Your client contacts could also get laid-off.