skysight-inc/HackerNews huggingface dataset:
What's complicated about it? You run a client ("i2p router") and configure your browser's proxy as 127.0.0.1.
oh course we CAN solve climate change. We have a great deal of knowledge about where the emissions come from. It’s just that both problems, solutions and everything that’s needed inbetween is distorted and obfuscated in the name of profit, power and ideology.

It’s undeniable that the mass adoption of nuclear power would be a huge step forward in terms of emissions. It’s statistically safer than fossile fuels, it’s not cyclical, thus more feasible without storage and infrastructure extravaganza. It’s also not perpetually 10 years away like fusion power. But, it’s political, a threat to powerful and profitable industries, and it threatens neocons on their unipolar powertrip. I could go on to list a whole bunch of other promising ideas, but their reasons for not existing are similar to the point of boring me before even writing them down.
> So you're saying humans are bad at writing software, but good at writing translations for model checkers?

Nice strawman. However, that's not at all what I said. To restate in different words, even proofs can be incorrect. Even model checkers can be wrong. However, you seem to be under the impression that unless a model checker is 100% perfect, it's worthless. That's not the case. For the vast majority of situations, the model checker will either correctly generate a constraint problem based on what you provide (remember, garbage in / garbage out and proofs of bad theorems are meaningless), or will generate some kind of diagnostic error.

Everything -- EVERYTHING -- is flawed. But, if your standard of measure is "only perfect things can augment or replace unit tests" then you're doing yourself and any organization you contribute to a great disservice.

> I am aware, trust me.

Respectfully, I think you're still conflating model checkers, static analyzers, and proof systems.

> Are you aware how much effort they had to expend to do that?

Clearly, much less than you think. I've estimated both ways. Using CBMC adds 30% overhead. That's well worth the effort.
I was a AC for a long time. I made a comment someone didnt like and they followed me thru all the discussions to keep the conversation going. So I just posted AC and moved on with my life.

The funny one was someone on soylent posting AC and then would sign each one with their name. Never got that one...
That "better/worse" way of wording it places them in competition with each other, regardless of whether you say it explicitly.

A way of discussing it that doesn't place them in competition with each other would instead talk about their relative characteristics, including factors that might make different options more or less effective (or even inapplicable) in certain circumstances.

For example, there are certain classes of defect that cannot be detected at runtime. But what does and does not fall into this category depends on what programming language you're using. There are other classes of defect that cannot be detected statically, and the specifics of this list also depends on what language you're using.

And then there's also a bunch of overlap, but the relative merits of one or another way of solving things cannot be boiled down to a simple "better/worse" hierarchy. The optimal strategy is often domain-specific and finding it may require weighing many tradeoffs.
More disregard for privacy than Google the ad company lol?
That can't possibly be true. Even Microsoft isn't that stupid.
> We live in a world where a large subset of people have fooled themselves into believing that there's some other place without problems. If where you live has any problems, then it must be an awful place to live - so their thinking goes.

This reads like a straw man. Just because some place arguably has issues that does not mean that it it just as bad as the one you're living on, or that your life won't improve your life by adopting or emulating the good examples.

Healthcare is a great example. I'm convinced that the average US citizen has absolutely no idea of the critical positive impact on quality of life and well-being that socialized healthcare has on all citizens, directly and indirectly. It goes way deeper than not risking going bankrupt for being in a car accident, or being able to treat your nagging minor health issue without having to tap a credit line. It affects things like being confident that your loved ones will have all the care they need if something bad and unfortunate happens to them, regardless of who you are ir where your career is at the moment.
> moreover, the evidence of him being a utter shite predates him going off the deepend by quite some way.

When I was a lad, we still had this weird concept in the UK's various legal systems of "innocent until proven guilty". The pressure to end his sources of income in the absence of any kind of legitimate justice process, especially from elected officials, is pretty shameful, and I say this as someone who can't stand him either.
We almost used your service to get a lounge chair home the other weekend. We had to drive 45 minutes away to take a look at it and maybe buy it, and didn't really want to go there, rent a U-Haul, head home, head back, pick up our car, head home again.

We got lucky though that it managed to fit into our car so we didn't need to. But nice to know it's an option!
Absolutely, I agree with you: using IndexedDB is cost-effective, and pushing cached user action data periodically to Firebase sounds like a solid strategy. Thanks for the insight!
Tastes good, lets you drink socially if you don't want alcohol
> This brand safety stuff is just an excuse for woke marketing staffers to feel like they're "making a difference"

The incentive structures are clear: you do nothing and maybe get fired if your company gets embroiled in a controversy due to the placement of those ads, or you pull your ads and spend that budget in another channel, and worse case nothing will happen to you, and best case you'll be praised for proactive thinking. Woke or not, I'd imagine most people would choose the latter; the former is mostly downside with limited upside.
The notion that a conspiracy requires the silence of thousands is a myth.

All that is needed is for one person or a small group of people to be a few steps ahead of everyone else and able to manipulate the narrative.
I think they’d have gotten the Cold War dick measuring aspect, or at least the Victorians would have; a lot of 19th century colonialism was of that general form (in particular see Germany in Africa).
> I have only a B.S., negative net worth, and no special skills except web dev (which is increasingly worthless these days). Are there other avenues to emigration that I'm missing?

The TN visa works in both directions - you can go work/live in Canada or Mexico. A BS is plenty; I'm not sure that "web dev" is a valid category, but you can probably find a job in either country that does qualify. And if it doesn't work out, you're just a quick plane ride home.
Still waiting for the year of the Linux desktop. We did get Duke Nukem Forever eventually, so I'm optimistic. Next year for sure...

It would be more in reach if we would just accept that Android is that desktop for billions of people worldwide.
No need to speculate, the accusers said specifically that they "came forward" because of the popularity of his YouTube channel. It was printed in the Times. The fact that some people still listen to them after that is a damning indictment of how evil #believeallwomen actually is. If they can't be bothered reporting accusations until there political reasons to do so they should automatically be found guilty of slander, imo.
At least on the EU level, this certainly had its merits. Additionally I think having good informed representatives like that can even have a bigger impact than their seat alone, because they can often influence the opinion of other representatives around them.
Because of advancements in xWDM it is not limited. By replacing networking equipment (0.000001% of total cost) you can x10, x100, and more the bandwidth on an existing cable.

The same (single mode) optical cable that was once capable of running 2mbps is now able to run 400 * 100Gbit.

Now wireless is starting to repeat this evolution.

This is one of the reasons for the old joke: "Do you know how to amass a small fortune in Telecom?"

"Start with a big fortune"
>1280x720

screen resolution vs browser resolution

the most common mobile browser resolution is 800x360

also, 5 years is not that old
Hardwood is always covered in a plastic finish. Yes it feels different, but it is still plastic.
As time goes on that movie becomes more and more of a documentary.
Author here :)

I went that route since reading the CLI parameters was something I needed to do, but wasn't actually part of the issue I was trying to solve. I could have spent a few cycles of googling+testing+fixing/refactoring, but it was a trivial task (that I didn't remember how to do off the top of my head) and would have distracted me from the main task.
Super helpful, thanks for sharing!
Do you eat?
Sodium and kitchen salt are not the same thing. https://youtu.be/CArZeDTwVh4?si=tdVHOPO-8QZhxrkS
That's a good point. Although, Apple's HW sales, both Mac and iPhone, could also plateau in the future as people upgrade much less often.
The pun was very good though, you should've intended it.
Canada[1] is 15% Asian (India, China, etc), 4.3% Black, 1.9% arab, 1.6% latin american.

The US is 12% black, 18% latin american, 6% Asian. And let me tell you, that 12% black number isn't the product of a liberal immigration policy.

The numbers aren't actually too different, and if you were to switch the two countries' geographies, I'd expect the US latin american numbers to significantly drop, and Canada's to significantly rise.

The Canadian immigration system is actually pretty reasonable. Points for being young, for having useful skills, points for demonstrating mastery of the language, points for having relatives. And a clear process for international students studying in Canada to naturalize.

The US is the one that yanks you around by your britches, with decades-long waiting lists and visa lotteries for people who are already living and working in the country.

[1] Country-of-origin breakdown for recent immigrants to Canada[2] - https://www.statista.com/statistics/1171597/new-immigrants-c... - 32% India, 8% China, 4.3% Philipines, 3.8% Nigeria. The first European country to make the list is France, at 3.2%, followed by the US, Brazil, Iran, Korea, Pakistan, all at 2-3%.

[2] Similar breakdown for the US - https://www.migrationpolicy.org/article/frequently-requested.... - 14% Mexico[3], 13% India, 7% China, 4% Phillipines, 3% Dominican Republic.

[3] Given these numbers, I think its reasonable to hypothesize that if Canada had border proximity, and strong cultural ties to Mexico, I'm sure that it's lat-am immigration numbers might look
similar to what the US has.
It makes absolutely no sense to demonetize someone's online content for an alleged crime when that crime has nothing to do with the content.
The point is the challenge that was involved sending a small group on the same planet out to be self sufficient, not commentary about the habitability of the americas. If anything that underlines their point.
In that regard, strangely enough, I find with constexpr code, templates, and concepts, is easier to achieve most compile time code stuff, while staying in C++, than dealing with Rust macros.
I'm not surprised that pedestrians are waiting to cross rather than taking right of way at an abomination like that. With driver load that high it would be suicidal, whether or not they legally have right of way.
As a FAANG to Oxide refugee, I think what we're doing is orders of magnitude more ambitious, especially considering our small size.
Wow, the attack was implemented nearly ten years before the lecture, maybe right after reading https://seclab.cs.ucdavis.edu/projects/history/papers/karg74... about "the compiler trap door"?
This is an interesting thing. Honestly can't remember the last time I saw an ad or easy phishing thing. Like obv in your junk mail but thats literally the extent of my exposure to it, everything else is curated and "good" or probably aligns with your concept of the priveleged netizens/areas even though Im poor as hell. Knowledge wise I suppose I rich so there's that but there's also seems like a tradgedy of the commons type situation that depends on all the tech-illiterates to be the meat shields for advertising and paying for things like YouTube
Similarly for me I saw a skate video a million years ago had the song Bloodstains by Agent Orange. Living in Darkness became one of my favorite albums & I still see Agent Orange whenever they come to town.
Yep, thank you and habi for bringing this up. Now, after learning the Attribution Guidelines more thoroughly, I'm updating the app to show the attribution directly on a map and fading it as specified by the guidelines.
Pixel density isn't the problem, physical size is. Phone screens are small and many people have poor vision. Some even scale up the contents of their browser 25% or 50% or even 100%.

The more text you have, the more difficult it is to ensure a usable UI on small screens, let alone a good one. Don't be upset about the use of symbols instead of text, but about the use of bad symbols. Nobody needs the "play" button on a video widget to say "play" - they know what the right-facing triangle means. (Ironic because I don't know if it makes geometric sense to even say the triangle has a facing, but as a symbol it's well understood.)
Oxide is the definition of vendor lock in. All of their hardware is unique... even down to the choice of fans. Fan burns out? Now you've got to buy another one... from them.

One of the amazing shifts in the last 20 years was realizing that commodity hardware, when deployed correctly, could do the job.
When has this ever happened. The amount of drama caused by businesses pulling ads seems way higher than leaving them running.
I wonder if they offer equity. Hierarchies always form, they tried this with Gore Associates in Arizona (totally flat company structure) and has major problems.
That sucks, it's the worst case scenario for Internet service - you're captured. This surely applies to a noteworthy portion of the population in the US.
Next.js Conf doesn't accept Netlify emails for registration
> No one's assuming there are, but the onus is to prove that there aren't.

For an environmental assessment, yes. For someone casually arguing against the area becoming "extremely toxic" then we should need a reason to suspect large amounts of very bad additives.

> But that's not WHY it is toxic.

Yeah but nobody said that.

The post was giving reasons the area isn't being made toxic, and one of those reasons is because out of the list of normal rocket fuels only the hypergolic ones are terrible, and they're not using those fuels.

It's fine to point out that it's not directly because of hypergolic or not (though there are strong correlations based on how reactive things are), but it doesn't affect the actual point they were making. You made it sound like a rebuttal when it's not a rebuttal. At worst they worded it badly.
UI, in my mind, has always been the hardest part of the stack. It is even more true today. A front-end dev must:
- Deal with a subjective human (not an objective machine)
- Deal with designers and product managers
- Be constrained by the back-end engineer and infrastructure
- Make it work on multiple devices and browsers
- Use the framework someone else chose
- Not break anything

Kudos to all front-end devs out there!
Part of the problem here is that the people who make the purchasing decisions (like this CTO guy) don't care about "the experience" because they're not the ones unpacking boxes and plugging in cables.

They pay other people to do that and they don't really care if it's a miserable time. And if it takes days instead of hours, who cares? Rarely is someone setting up a data center under the gun (unless you're Elmo and we all saw how that went).

Factors like scalability and ongoing support are much more top of mind.

Not saying that Oxide can't address this, and I love Oxide's focus on the experience, but I think this bottom-up approach to convincing customers is going to be a steep climb..

But they seem to be up for steep climbs, so I wish them all the best!
I have written safety-critical code and nobody has a test suite that could do what Astrée does. It can be used to proves the absence of errors with the abstract interpretation that catches all divisions by zero, data races, and deadlocks, and does static taint checking.

You want a test suite, but it's never better or good enough.

Abstract Interpretation in a Nutshell
https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
It is not as unlikely as you might think... The cheaper buzzers have a single, preferred frequency (like [0] has 2.4KHz). And engineers like round numbers for time delays.

So I can imagine a spec which says "do a cheapest buzzer on its preferred frequency, 1 second period, 50% duty cycle, 3 times" being independently written in 3 different engineering offices, and multiple devices ending up with identical beeps.

[0] https://www.digikey.com/en/products/detail/pui-audio-inc/AT-...
The Emergence of Private Fusion Enterprises
Interestingly, your sentiments about moral hazards in finance exactly mirror mine regarding obedience to the law.

E.g., if I'm one of the few who pays all of the taxes I'm supposed to, does that just make me a self-righteous chump?

Or is there much point in me properly disposing of household lead, fiberglass insulation, etc. when 99% of other users of the landfill ignore the rules?
The Chief Ideologist of the Silicon Valley Elite Has Some Ideas
Are politics really better in Spain? The Catalan independence issue seems at least as toxic and divisive as anything in the USA.
Only if you're a middle class "the government wants to regulate it" buyer.

The coworker who first brought Flipper up to me has opinions on the best gas station kratom and buys a gun every time Fox News says "riot". He has aspirations of becoming a pool card pirate king.

I get valuing independence and self-reliance, but why not get into, I don't know, amateur radio?
Not the GP poster, but I would honestly be okay with that because I actually believe in free speech. As we discovered over the last 2 weeks, though, many colleges (including at least half of the ivy league) are also okay with pro-Hamas rallies -- not because they believe in free speech, but because they've chosen a side.
The religious community I grew up in treated them both the same, to the point that kids would be teased in school for reacting to movie violence because they were reacting appropriately to an image of someone being killed or mutilated.
Abstract Interpretation in a Nutshell
Russell is a tank and handling the situation in a very mature manner. He is still doing his show and not talking about the allegations whatsoever. If it goes to court then he will address it as it comes,
as he should.

This is a pathetic which hunt by the UK, and any platform giving in to nonsense like this is a serious red flag.

Is YouTube going to fire its CEO if I make an allegation against him/her? How is me doing that any different than Russell’s current situation?

What’s with the weird scapegoating and not respecting “innocent until proven guilty” …

This topic/situation really makes my blood boil.
To make it public would be a good reason.
Education is also burdening 21 year olds with sometimes six figures of debt, and wages are wildly suppressed
> FWIU RFID cost has been a major limiting factor in supply chain traceability; pallet-level RFID is almost affordable?

But I guess that depends on the type of RFID tag, isn't it?

For example, Decathlon already introduces tags with UUIDs with every single product they sell (even the cheapest socks), and they use them to inventory tracking and to scan your cart when you buy in store.

https://www.cisper.nl/en/case-studies/rfid-case-study-decath...

Of course, although business-wise practical, that can pose a security issue... You can track peoples clothes on the wild!

https://mastodon.social/@russss/102674489508219187
Physics has long failed to explain life–testing a groundbreaking new theory
Did you skip middle school chemistry classes?

Common salt is NaCl, not metallic sodium.

The later (needed for batteries) explodes in contact with water.
The only realistic concern for me here is the ISP failure. Even then, if I really wanted to I could have both AT&T and Spectrum uplinks with an LACP bond.

I have enough battery backup to run my rack for about 30 minutes, more if I shut down a node. That’s more than enough time for me to set up my generator and route power; it has an extended gas tank and can power the rack, fridges/freezers, fans, etc. for over 24 hours. I periodically run drills on this to ensure it’s doable, and that the gear works as expected.

If I’m not home, then yes, the latter would fail. Dual hardware failure is an unlikely scenario; single node failure is handled between K8s and Proxmox clustering.
Do I understand correctly that it relies on physical realism and locality?

EDIT: The machines tell me that CR has levels of reality.

Bold. I approve.
We are compensated with equity, yes.
> Few are buying into these nonsensical 'safety' arguments and the good will of everyone is being stretched.

Are you sure there is any good will left?
They are also one band lower on the periodic table. That's a lot of mass, and the ionization metrics are worse.
As others have said, it's indisposable. It's useful to learn how to suppress false positives (e.g. from boost) so you can see when an actual leak appears.
There was nothing wrong with organizing a coup in Ukraine and getting rid of pro Russian president and government. I have no idea why you think that narrative is rejected outside of Russia.
Sounds like a plan to put boots on mars.
> You can't log in into irs without using id.me, a digital wallet and identity management platform, that sells you things.

Wow, I just assumed it was some kind of auth flow the government runs themselves and never did any research
How does I2P compare to Veilid? At first glance they seem quite similar.
What is your revenue model?