skysight-inc/HackerNews huggingface dataset:
I've done "coding on the treadmill". It's difficult at first but you get used to it after a few weeks. Of course you can't run and type at the same time, but walking and typing is perfectly doable. It's actually pretty great - you can easily put in hours and hours of walking time every day without even noticing.
I haven't used Why3, but I have used other SMT solver-based frameworks such as Dafny and TLAPS for TLA+ and they all seem focused on proving function behavior, rather than function runtime or memory usage. I suspect there's a way to encode runtime and memory usage theorems, but I don't have a clear conception of the best way of doing so without polluting function definitions.
Yes, it does. Well, it's not a database, but it does :).

The original whitepaper describes each mechanism through which different aspects of the SQL standard can be implemented, it's linked on the bottom of our website and from the article.

http://dianemodb.com
Check out unraid.

Also check out not using keybase...they're owned by...well, you'll figure it out.
You're off in your calculation by 3 orders of magnitude, you meant to write 0.002 gigawatt, not megawatt. Then yes, you get 0.7 liters/second, and 5000 L/hour for 2 GW plant. However, in actual reality, the firetruck would just park there, put one end of the hose into the plentiful source of water that surely must be available next to a power plant, and the other one into the entrance for coolant, and start its pump. Pumping 1 liter/second is quite in range of firetruck pumps abilities.
That's correct.

Sometimes it's walking at a brisk pace for ~2h while writing code. Other times it's actually running for ~1h with a problem I need to think through.
Ah yes, the trusty info site and code repository with no explanation of what the software does.
patchbay seems super cool!
It doesn't, but the social virus that is wokeism labels you as phobic and will make you PAY for being one.

Wokeness is a nasty social virus that has infected the USA, and it slowly but surely is causing the USA to implode.
> Estuary is currently in its alpha testing phase. Because of this, there are some restrictions to the service:

> The service is temporarily limited to users wanting to store meaningful public data. You can apply for an invite →

so… no?
> I also start every semester off with the opening scene of Hackers - the best hacking movie ever made :)

Great soundtrack. Respect.
Also, you can scale the number of transaction-handling nodes to your hearts content. Besides, it supports fully consistent follower-reads by following its own definition of time and potentially skewing the client API's transaction time-window (thereby fitting even strict consistency).

I also talked about this at a conference
https://www.youtube.com/watch?v=uCu27LEW2UU
I wanted to learn more about "J" and this person, it is a nifty language

Some people might enjoy this thread on "A look at the J language: the fine line between genius and insanity (2012)"
https://news.ycombinator.com/item?id=16393873

Also this answer here at math stack exchange
https://math.stackexchange.com/questions/856153/the-j-progra...
In theory if the world was one contiguous landmass with uniform population distribution you would always pull solar energy from few longitudes away to fulfil your peak demand of 6 - 10 pm from domestic perspective. At large enough scales even today, I believe there are enough markets where such long distance transmission adds a layer of redundancy that possibly energy storage cannot. Free market or International intervention, either routes point to only more interconnectedness of global grids than less.
Yes, on top of the fact that just about every portrayal of 'The Metaverse' has been a dystopian nightmare.
It's kind of astonishing the company never changed their name.
> Chernobyl by all accounts killed thousands of people

Fewer than 100 deaths have been directly attributed to Chernobyl. All of the numbers in the thousands are estimates based on assumptions and statistical models around radiation exposure. But if you’re bringing that into the question, it’s only fair to calculate the number of excess deaths that would have been caused by the extra amount of coal mining and air pollution that would have occurred if the Soviet Union did not operate nuclear power plants. And when you work that out, you’ll see it’s likely that the Soviet nuclear power system—which was catastrophically mis-managed not just by 21st century standards but by the standards of the USSR’s contemporaries—still saved many more lives than it cost.
For me it was all about discipline and time/task management. These things could’ve been taught to me at a young age and my young success would’ve been dramatically multiplied and compounded over the years. Unfortunately I didn’t have a mentor, let alone one who could’ve communicated these things in a way I would’ve understood.

Pruning away useless tasks (at all levels of abstraction) is part of it for sure. That can be generalized into effective prioritization. Mind blowing that absolutely none of these most important meta-tasks were never presented let along taught to me.
Last time I ran through the numbers I was remembering that you'd have to eat a ridiculous amount of wild boar and/or wild mushrooms (assuming all were irradiated) on a daily basis to even approach dangerous levels.[0]

These stories make the rounds and constantly sound dangerous but the fact is that people just don't understand nuclear physics. I mean why would they? Everyone isn't taking college level physics classes, let alone ones on medical physics. If I wrote an article about how radiation levels in tuna doubled after the Fukushima disaster then people would stop eating tuna. This literally happened even though that doubling was to 5Bq/kg and Japanese limits are 100Bq/kg (US is 1.2kBq/kg). The fact is that our instruments for detecting radiation are extremely sensitive. You can measure radiation in everything. Yeah, the tuna got more radioactive after Fukushima, but that doesn't mean they got more dangerous. That's not how it works. And I'm tired of people that know absolutely nothing about nuclear physics talking as if they are experts on radiation. Both people in the pro and anti-nuclear camps do this and neither are helping.

[0] Cs137 has a dose factor of 0.014mSv/kBq and the high radiation had 600Bq/kg. So that's 0.0084mSv/kg of boar. European rose limit is 20mSv/yr, so that's 6.5kg of boar a day. And we need to note that 20mSv is well within the safety limit. 1 Sv is a 5.5% chance increase of cancer within your lifetime (LNT model which over estimates), so that's 6.5kg (14.3lbs) of boar a day to raise your lifetime risk of cancer by 1% (body shows to actually deal with these low levels of radiation fine).

Edit: If you're eating 14lbs of wild meat every single day, you probably have larger health issue than a 5% increased risk of cancer in your lifetime (the meat is probably giving you a higher chance of cancer).
i’ve been clocking around that for months. it’s brutal at the moment. but rewarding other times
I think that, if you are using it with the best of intentions, and in true honor of its origin, then the symbol belongs to you as much as any.
That's kinda the root of my argument though.
Soyuz spurt gave ISS orbit an attitude problem
I have some expertise here (have used sonar under breaking waves) and I'd say you're spot on. Bubbles act like acoustic black holes, they absorb sound like crazy. Whether you're trying to ping through them in the water, or also if they get stuck on the transducer. The lidar analogy seems apt. The OP speculates that wave breaking noise might be causing interference, but the noise will be way lower frequency than the sonar (ie audible frequencies) so masking by bubbles makes more sense. Any new ideas to mitigate this would be a big deal for sonar!

Also, very cool idea and project!
the rich get richer in almost all environments especially over the past decade despite inflation and deflation. The only time they do not is when real interest rates are positive, which is uncommon.The rich tend to do worse when bank deposits pay a lot relative to inflation because it makes riskier assets like stocks and real estate less attractive.
sorry but I don't follow...

how does bitcoin solve "making the rich richer", when it is in fact "making the rich super-richer" with its soaring price?

(along with its "throw off the poor one-shot chancers with extreme price instability)

In fact, bitcoin's anti-inflationary means there's no chance of wealth-redistribution, whereas for dollars, the US government can just redirect its cash-beam.
> Milton Friedman isn’t an Austrian economist whatsoever.

That, strictly speaking, does not contradict the article, which says that the ideological basis of cryptocurrency is in Austrian economics, and that that basis is captured by a particular saying of Friedman's. The statement is one i which Friedman is in agreement with the Austrian school, and modern American adherents to the Austrian school, IME, often quote it, and while the Austrian schools shares the view there is no equally famous articulation of it by a member of the school.

> Simple mistakes like this are ubiquitous in any Jacobin article on economics or business.

The only mistake I see there is you reading a false claim into the piece that isn't actually contained within it.
Part of Rust's problem last I knew was it throws a lot more than it necessarily has to at the LLVM backend. So a front end that takes the time to lessen the burden could run faster despite using the same tooling.
I think I remember when I thought two years was a long time.
The US issue is deeper than an app. It's the extreme car dependency.
I work for a company that provides a product that tries to make IPsec a little easier and I can say like 80-85% of our support burden is helping our customers configure their ASAs, Junipers etc. to talk to our cloud based VPN concentrator/router/app firewall. We basically run people through a checklist [1] and it is non-trivial. IPsec can be a real pain.

[1] https://cohesive-networks.s3.amazonaws.com/dnld/Cohesive-Net...
Epic says it’s ‘open’ to blockchain games after Steam bans them
Don’t you want a romantic partner?
I’d be curious as to what would happen if we let 30 waymo cars in a large parking lot and let them figure out where the exit is. Something tells me that the swarm behavior would be on Channel 5 local news being made fun of.
Github was acquired for stock. Meanwhile MS shares have tripled since Oct 2018.
Here is one way: labor is in a better bargaining position than they’ve been in for a long time. It’s a good time to get a better paying job or, for unions, to go on strike.
This is the content I come here for. To find people even more insane and neurotic than myself!
Air pressure, a few details aside, must be equal to the weight of the air molecules sitting above the spot where you are measuring it. If we add more gas to the atmosphere, sea level air pressure must increase. One way to think about it: the weight of the additional gas smooches down on the existing atmosphere, compressing it and thus increasing the pressure.

Of course all of this is academic in any event; addressing climate change by diluting the CO2 is a nice attempt at out-of-the-box thinking but it's not actually plausible.
Well I was salaried and frankly working much beyond 40 was always more about me trying to find the clever or perfect code, when all my employer really expected was just for the damn thing to work. What happened under the hood was less important than what I made it to be.

When I realized striving for that perfection had zero positives beyond my own perception and tons of negatives, it was easy to find a better work/life balance.
Is there real research on this or is it in proven in the sense of it-has-worked-for-you-so-far?
True, but the app is inducing demand for cars, so it’s both a symptom and a cause.
I do. That one was much much worse than the one today, I grant you.

But also, I've been around long enough to know why; if you think it's because Microsoft "grew a heart" or somesuch nonsense, I bet you also believe that hotels stopped doing small prepackaged bottles of shampoo and cleaning the sheets nightly because they care about the environment.

Microsoft warmed to open source because THEY LOST. Their software was so inferior that they were eventually forced to admit it because they would lose money if they didn't. That's all.
No, we are sampling a thousand different CPUs of about 30 varieties over 70 years. That's enough data to know on average how long a random CPU will last, to know how long any particular CPU will last, and to find trends about the longevity trends of newer CPUs over time.

You are using bad statistics. You are using bad science. And it is clear you don't know anything about nuclear fuel pools, reactors, nor nuclear waste management. Get off your high horse. If you want some books on these subjects I'm happy to recommend some but you got a lot of catching up to do before you have the right to act so cocky.
+1 Read their other articles on the blog as well. Very informative.
People have this idea that addictive substances and habits are the sole reason for an addiction, and that the problem will be fixed if you take away the obvious symptom, but there are usually other factors involved. Taking away the centre of someone's life is really bad because it leaves them in exactly the same state they were in when they developed the addiction, minus the (harmful) coping mechanism.
This sounds like total bs.
I would agree with that. The 1xx block of those streets is effectively also a "no through traffic".
It's okay to be trans-phobic. It's not okay to attack a person because they are trans. Huge differences.
> The US heavily relies on its naval assets especially its aircraft carriers to project power across the globe.

Maybe that should change. Carriers were king in the era before missiles. In this day and age I wonder how effective carriers really are against adversaries with high tech missiles.

I also wonder if the US will come up with their own version and test it by hitting a dummy target in the SCS - signalling it’s meant for the Chinese Navy; it would be funny if everything China comes up to weaken the power of the US Navy was in turn used to weaken their Navy should they try to invade Taiwan.
Of the companies I have interviewed at in the recent years, including a subset of FAANG companies (Facebook, Apple, Google), I think the Facebook process was the most humane. Besides a sprinkling of recruiter calls, the process consisted mostly of a 1 hour coding challenge while also talking on the phone, plus an "onsite" of 4 interviews. I say "onsite" because this was in COVID times, so it was still on video chat / coder pad.

Now Apple, yeah, that was like 5 rounds. I wrote about that previously here: https://news.ycombinator.com/item?id=26226809

I still agree that the Leetcode interview (and perhaps many interview types in general) promote human misery and does not really do that great of a job of selecting for people to do well at their jobs. Getting better at it involved repeated failing at it in painful ways and a little studying. Not to mention all the days off to spend a day writing on white boards. One more aside: don't make jokes about coding on a whiteboard or using whiteboard-based version control, as funny as these jokes are, you will just come off as arrogant.
Be toxic.
Hmm, so even though an increment on a loaded int is atomic, loading it and storing it aren't.

https://stackoverflow.com/a/1717514

The Python documentation seems misleading to me on this:

> In theory, this means an exact accounting requires an exact understanding of the PVM bytecode implementation. In practice, it means that operations on shared variables of built-in data types (ints, lists, dicts, etc) that “look atomic” really are.

count = 0
def inc():
count += 1

sure "looks atomic" to me, so according to the documentation should be, but isn't.

On the other hand, I think you could build a horribly inefficient actual atomic counter with

count = []
def inc():
count.append(None)
def get_count():
return len(count)

I think it's quite likely there's correct and non-horrible code relying on list append and length being atomic. Although it sounds like this might continue working without the GIL:

> A lot of work has gone into the list and dict implementations to make them thread-safe. And so on.

So removing the GIL might not be a problem.
I can only speak for my own experience. I know this was unhealthy for me. I knew it was in a variety of ways before but I know it now in a form I hate. Taking the link title form—

I write code 20 hours/week, here’s why I probably won’t stop: I’m over a year into burnout and I’m still in constant physical pain. I’m very good at what I do, I have a lot of good ideas, working more than half time is debilitating. It’s been this bad long enough that I’m resigned to the possibility I did permanent damage to myself working so hard.
Ask Delphi
Combine this with a IIS3 exploit and a ip scanner you coded for fun and you make that labs all around the world :)
A Free Coworking Community (Discord)
Cafe 100x is a coworking discord community where you can work alongside people (colleagues) from all around the globe.
Numbers are immutable and incrementing one eg in an attribute is actuay many byte code ops. So doesn't work even currently unless you are fine with losing updates. But a version of this question using another example (eg using a list as a queue) is interesting.
Describing it is a way to more strongly invite, and target, suggestions. I like it.
No need to disrespect Rust. I like both. And certainly they both have their proper use cases.
The same goes for Spotify employees and Joe Rogan.
During 95 or 96, I was explaining to customers over the phone how to set up Trumpet Winsock and MacTCP/PPP. Most people didn't instantly get Windows 95, so it wasn't the reason that the ISP existed. And it was already possible to access the internet to some extent through an established online service, I think I'd used Delphi, AOL, maybe others during high school.

Something made it feasible right then for anybody to set up a bank of modems in their apartment, to provide direct internet, and there was an explosive growth in small ISPs before they consolidated. At the time, I was kind of oblivious to the historic moment, but the one I worked for was literally a few modems in the closet of a crummy apartment downtown when I started and within months we'd moved to an office a few blocks away and were installing modems like mad.

I found this, not necessarily authoritative:

"In 1994 the National Science Foundation commissioned four private companies to build four public Internet access points to replace the government-run Internet backbone: WorldCom in Washington, Pacific Bell in San Francisco, Sprint in New Jersey, and Ameritech in Chicago. Then other telecom giants entered the market with their own Internet services, which they often subcontracted to smaller companies. By 1995 there were more than 100 commercial ISPs in the USA."

I think that was probably it - right then and there anyone could buy a pipe to the internet and connect some modems. It was around then that I heard the term "T1" which was a lot back then.

Maybe there was some connection to:

https://en.wikipedia.org/wiki/High_Performance_Computing_Act...
nobody wants your newsletter, nobody wants to provide feedback, and nobody wants to hear your new news. your app either does what they want when they downloaded it or not.
I think it is really arrogant to assume that you know what the dangerous levels are, and to claim that under a certain level is not dangerous or harmful.

Time and time again, this type of thinking has been proven naive at best, and often criminally misleading: synthetic food additives, tobacco, opiate painkillers, radiation, leaded gasoline, and many, many more.

When it comes to the health of myself and those close to me, I'm going to err on the side of caution, and disregard what the "official numbers" say.
I'm not sure what you mean it's not true, AFAIK that constraint was the main issue with getting Docker moved over to cgroupsv2. (Edit: some background here https://github.com/opencontainers/runc/pull/2113) It's fixed now though so everything should work fine with systemd. If you aren't using cgroups and namespaces then you probably don't get much benefit from running a system like NixOS on bare metal either, so I'm having trouble figuring out what your use case would be. Any other immutable Linux setup will do, it might even be less hassle.

Those other things you mention are confusing to me, gvisor and KVM are mostly orthogonal to container management. And FreeBSD jails don't work on Linux.
My productivity routine to write a 500-page book
My question was about from a program correctness standpoint, not an efficiency standpoint. But it does look there is a difference from a correctness standpoint, as other comments address.
> That's really bad opsec, unless they were all tied together with some 3rd party service.

The article addresses this:

> The attack could have been isolated, but many sections of the Sinclair IT network were interconnected through the same Active Directory domain, allowing the attackers to reach broadcasting systems for local TV stations.
Well a lot of hacking could also be avoided if everything were just plain publicly-accessible static files. Which is what they're talking about with IPFS.

But that would be a very different web from today's, where most content comes from dynamic CMS/CMF, blog software, forum software, or other web apps. It addresses things like the old personal homepage of the mid-90s, but not much at all about the modern web.

It also doesn't address the major outages (like we've seen with cert revocations or DNS outages, etc.)
I never had a real issues with null safety in 3 years of using Go regularly. Maybe due to may long experience with Java which might have sharpened my eyes for null safety.

Lack of enums and pattern matching is IMO the bigger issue. I miss that regularly.
Nope. It is not. (Need to edit but away. Won't, because your reply makes good sense.)

That state of affairs may be old news to the majority of us now for all I know.

And I don't.
Hah, we both came to the same conclusion at the same time.

Regarding list, it sounds like it might actually keep working atomically without the GIL:

> A lot of work has gone into the list and dict implementations to make them thread-safe. And so on.
But the number you report for the level of pain is a thought in your mind; it is the state of your mind, or a summary of it. If you report a different number, your state of mind must have changed.
American here - the older we get, the more we realize that we are just like our parents.
What Is a Singleton?
Twitter might hate Jonathan Franzen, but serious readers love him
The phrase "competing on speed" begs the question "competing...with what?" If the answer is "machine compiled languages", then yes, it's unlikely Python will ever match their speed without also being compiled to machine code, but there are plenty of other interpreted languages with better performance than Python (even ruling out stuff like Java that technically isn't "compiled into machine language" in the way that phrase usually would mean); lots of work is done on JavaScript interpreters to improve performance, and I don't think that specifically has cost the language much flexibility.
PHP doesn’t ship with an API for creating threads, but PHP can be executed in threads depending on setup. And it does that without using a GIL, instead it internally uses something called Thread-Safe Resource Manager

https://github.com/php/php-src/tree/master/TSRM

I have written about this recently

https://news.ycombinator.com/item?id=28692014
> Vaccinated people can still contract and spread coronaviruses.

This statement should always come with information about the relative rate at which it occurs.

One "can still" get pregnant despite using contraception. This is not an argument against using it, because the relative rate is far lower than if one did not use it at all.