skysight-inc/HackerNews huggingface dataset:
And healthy minds tend towards keeping their bodies healthy too.

The issue is that it doesn’t pay to ensure everyone is mentally healthy - far from it, it many cases it pays the bills exacerbating other peoples mental illnesses :(
I think it's more likely Zeitgeist. You see, someone else finds working in Data Science frustrating, another person nearing his 40 says he's anxious about his career, another guy says he's worried about it's too late to do something about the big tech messing up the field etc.

I've had similar issues recently working at a demanding position I didn't really like even though my achievements may look impressive in my resume. I tried working in a shop somewhere in between aerospace and academia but just didn't fit at all. I ended up joining a small team that I enjoy working with so far and feel much better now.

At a higher level, we're hitting the limits of current paradigm in many ways including monetary system (debt), environment (pollution) and natural resources, ideology (creativity and innovation), technology (complexity).

The good news is that this year current monetary system will cease to exist. This will eventually restructure the economy to a more healthy balance. Unfortunately, this will have severe social consequences as standard of living will change dramatically (somewhere at the 60's level). This will basically destroy the middle class and thus change the structure of consumption. Obviously, this will mostly affect services and other non-essential stuff we got used to. On the other hand, this will blow down all bloat like insane market cap of the big tech etc. That is working in IT may become fun again, like 20 years back :)
This article rubs me the wrong way. The headline isn’t well supported by its content, as the article drifts off to cheery picking counter arguments debunking lab-origin conspiracy theories. And a whole lot of questionable references to other idiotic conspiracy narratives.

Considering the natural origin hypothesis hasn’t been proven yet, mixing up skeptics with conspi nuts feels disingenuous, rhetorically targeting emotions and identity. I don’t think there is a huge overlap with those considering gain of function research as possible origin, with your typical death-by-5G, antivax flatearther, or climate denialist. Downright dismissing a lab origin, when really both ways are completely possible, feels patronizing and not scientific at all. I also don’t think someone who thinks about the FCS is likely to shoot a researcher on their way home. Or listens to Trumps bullshit, for that matter.

Not everyone thinks SARS2 is a bio weapon designed by Bill Gates. To me however, the mere possibility of a lab origin influences my opinion on gain of function research and legislation, and that should be the real discourse here IMO. Attributing this to China really is beside the point and realistically “impossible knowledge“ considering the extent of a possible liability issue at hand, anyway. The xenophobic attacks started right from the start, when Trump rallied against “the China virus” instead of taking action against its spread. No one, but Biontech and virologists were concerned about the genome of the virus back then.
If you're interested in an investment standpoint check out Asianometry on youtube
I also feel a sense of injustice from unearned authority. The thing is, I like authority when it is earned: the authority of a surgeon in the operating room, the plumber under the sink, the accountant with their spreadsheet. I get the sense that they earned that authority because they already put in the hours and made the mistakes, and now they are ready to fill the space they exist in with competent decisions and well-practiced actions.
This is an incorrect view. When you rule out anecdotes, you're ruling out specific cases. But specific cases are how we learn. You can absolutely learn from specific cases.

Moreover, specific cases are what studies are based on. And studies are often flawed, wrong, or misleading. You can often learn more from a few honest, specific cases than you can from studies.

People who work in modern academia can attest to the fact that studies aren't reliable in general. Individual studies can can be reliable, but you have to really know the field and sometimes the specific researchers in order to know what's reliable and how to interpret it.

There should be a name for the fallacy that wrongly absolutely rejects specific cases in favor of "statistical data," but I don't know if there is one.
I guess kind of nihilist conservatism (“why bother changing anything since there's nothing we can do”) may explain why we are in such a bad situation today…
A better solution imo would be a society where necessities are free, and people can work for anything above that. But really, anything other than what we have right now would be an improvement.
syncthing - I use. Sync to my local server then that sync to remote server.
I'm not claiming it didn't.

Poor people historically were worse off in myriad ways. Wanting options for people is trying to throw out the bathwater, not the baby.

I'm not looking to take cars away from anyone. I'm just looking to restore access to some essentials that I grew up with and that I know can be real, even with cars remaining popular and common.

I'm not some extremist looking to eliminate cars. I'm not trying to insist that anyone who can drive and prefers to drive be denied that possibility.
>This site will be the first stop for anyone wanting to harass another person online. Some times a little friction is a good thing.

Precisely I was thinking of how much fun we'll be having in efnet with this.
> If you read this Hetzner, please add managed PG to your cloud!

I dare say that if they offered managed Kubernetes with autoscaling at prices not too far away from their Hetzner Cloud offerings (vcpu, IP, block storage, etc) then there would be absolutely no reason at all to use any other cloud service provider, at least in the EU.
Worktree allows you to checkout other branches, stashes or commits which are local only / not yet pushed.

What’s also great is that you don’t need to do a pull in the other folder. Before I discovered worktree, I had my repository checked out in two places, so was either pulling both constantly, or when I needed the alternate, it was often very far behind and I had to pull a lot.
I couldn't find my name. And i know it should be in here. So I'm not that worried yet...
No. Most of LA is shielded by bluffs and coastal hills and mountains. Even at 10 feet of sea level rise, within LA County only Long Beach and areas of Venice near the marina would really be affected. Some beachfront property in the South Bay, too.

https://coast.noaa.gov/slr/#/layer/slr/10/-13087637.78362574...
I recently quit coffee after maybe 15 years. The biggest change I noticed was that on nights I didn't sleep well I would wake up with bad brain fog. That doesn't happen anymore since quitting. I still don't sleep great some nights but I don't feel nearly as awful as I did before.

I also learned caffeine stays in my system much longer than I thought it did. I try very hard not to have any caffeine after 11am.
C99 introduced variable-length array parameters and variable-length array pointers together with variable-length arrays (VLA). These take another parameter or variable as a length-parameter.
These became optional in C11 together with VLAs (for some reason) but are supposed to again become mandatory in C23.
However (yet, for some reason) the pointers can (in the latest published draft, still) only be inside procedures: not in structs or in global variables.

I think it would not be impossible for a C compiler to detect and produce a warning if an index used with such an array-pointer is not checked against the array-pointer's length variable.

This would not make bounds-checks automatic, but the use of these types could make compilers point out when bounds are not checked or checked incorrectly.
From what I understood, the price goes down occasionally (not sure how often). If you're happy with the price, then go for it. Otherwise wait for it go lower and risk someone stealing the deal.
That's why the price varies widely. You need to wait for the price to go down. It's kinda like a reverse auction I guess?
FYI, I found a couple folks I know’s divorce records. So I wouldn’t assume those hard and fast rules apply consistently.
Remember when Apple replaced mDNSResponder with Discoveryd? It was total disaster, %95 CPU usage and all kind of connectivity issues. They had to bring back mDNSResponder not long after.

So there's no guarantee that the replacements would be bug-free. If anything, the current stuff is battle tested through the years and gets better with each scar. I would guess that they are also employing all kind of hacks, i.e things that are not supposed to be like that but are like that and they will break a lot of things if they make the new code work the way it is supposed to work.

There's even XKCD for that: https://xkcd.com/1172/
Now try that analysis per capita.
I removed caffeine from my diet and replaced it with exercise and one or two quick logic puzzles in the morning. Once in awhile I meditate but I haven't found consistency with this yet. This combination has been a nice morning routine to prepare my mind and body for the day. For logic puzzles, I have loved the Cracking the Cryptic YouTube channel during the pandemic. In their discord server they post 1 genuinely approachable pencil puzzle and 1 approachable sudoku variant. I've even started constructing my own puzzles - it's turned out to be a meditative, creative stress releaser.

With regard to mood, removing caffeine was one element of eating healthier generally. This has stabilized my mood greatly. I've been much less prone to the occasional days/weeks of depression.
Learn the Mandarin language. Taiwan is the epicenter of the cutting edge work in the industry. China is the powerhouse of production for it too. Both speak Mandarin natively and it would behoove you to understand it and their cultures.
I don’t know if it’s still the case, but it used to be at least some US banks would order pending transactions in descending order of amount to maximize overdraft fees. For example, if you had $100 in your account and had charges for $1, $1, $1, $1, and $100 then as a “courtesy”[1] the bank would clear the $100 and then charge $35 times 4 for the remaining transactions.

Anyhow that’s really awful and needs to stop, but I don’t see eliminating overdraft fees making a real dent in the advantages wealthy borrowers have.

How could underwriting be changed to identify truly creditworthy borrowers who don’t have any financial or real assets? We already know that simply lowering underwriting standards has problems.

[1] Their words, not mine.
> If this is true (and it seems to be), the metaverse and VR aren't likely to help mental health.

And we haven't yet fully assessed the damage of "social" Web 2.0...
I gave up due to it causing me anxiety. I can’t say I’ve noticed any real difference in my alertness or focus either way, I used to feel I needed an afternoon coffee but I got a nice grinder and found some absolutely amazing decaf coffees that certainly taste better than any caffeinated you can buy in a supermarket.
They have slavery conditions worse than the American south, more similar to Guano mine slaves. They are entirely expendable, undocumented, locked into the worksites and subjugated by a state supported market. They are viewed as religious subhumans and treated as such, should they attempt anything by way of escape or complaining that can be cast into a religious based debtors prison for an indefinite amount of time with no trial.

Saudi Arabia literally butchered a major journalist. They have frequent public beatings and executions if actual citizens for minor infractions.

The modern Arab world's treatment of their imported SE Asian workforce is absolutely horrendous.

The official figure is that 6500 workers have died building the Qatar world cup stadiums. Applying a 10x multiple to that may still be low balling.
First link says 100,000 to 120,000
This seems pretty good at first glance but there's significant room for improvement. Since this is HN, allow me to nitpick...

- "630M" is a big number, sure, but I don't have a sense for what % of total court cases it corresponds to. Is it closer to 10% or 90%? And either way, which ones are included vs. excluded? What was the criteria used? Accessibility, date, costs?

- I get the artistic view behind the choice of typography but the font is just too large. I find myself having to scroll to get just as far as the 5th result. Information density is good in search engines

- The results consist of two pieces: the name of the court (followed by "record", which is unnecessary) and a short snippet, but not the actual name of the case... which is an interesting choice given that the name of the case is stored in a database field as evidenced by the fact that it is in the <title> tag of any detail view

- Also I also think the snippets are too short. Together with the previous point, this site is basically forcing me to click on each potential match to see if it is what I wanted or not

- The URLs are... interesting. Searching for anything takes you to "https://www.judyrecords.com/getSearchResults/?page=1" which does not identify your search. Somehow this is using GET but not storing the form input in the URL but locally somehow... so searching for "foo" in one tab, "bar" in a different tab, and hitting refresh on your "foo" tab will then show "bar" results there. Which is not only "Not Cool", but seems actually harder to accomplish than a straight up form using GET

- And then the actual results have URLs like "https://www.judyrecords.com/record/qxemfajbcae3". I'd be fine with a slug, really, but in 2022 I expect URLs to be API-like

- I can't search for specific cases, e.g. "paramount communications, inc. v. qvc network, inc" returns a bunch of results, none of which are the actual case I'm looking for which is a hugely influential precedent
Have you worked with Elixir? Not trying to hijack the thread into an Elixir one, I'm more interested in what you think of Elixir so that I have a benchmark from which to consider your praise of OCaml :-)
There does actually exist such a thing as formally proven code, which is mathematically according to spec. https://www.sel4.systems/Info/FAQ/proof.pml
Generally you’ve had to pay for an expensive service (Lexus nexus), or go to the courthouse yourself to pull the records. Search was also a bit of a black art.

So generally easy to hide in the noise. Here you can just put in a name, and off you go.
I have been off coffee for about 5 months. It’s hard to compare precisely but I definitely don’t have the same frequency of crashes anymore and I have more base energy. Although I’ve also cleaned up my diet too. I’ll probably go back to decaf eventually when my anxiety completely goes away (anxiety being the reason I’ve cleaned up my lifestyle completely, I believe it was onset by antibiotics)
What are the problems that Subversion has? My only experience of svn is of simple personal projects and in that scope it worked pretty well - not contesting your opinion, but would like to know at which point svn becomes problematic.
Commodore History Part 8-The Amiga 1000
OCaml from the Very Beginning
Didn't know I wanted this but that'll be awesome!
Basically all jobs left. Your McDonalds Big Mac isnt getting grilled in the Phillipines.
> Was there any practical value in Columbus discovering America?

Why, yes, of course - even in the immediate short term the ships returned from expeditions with gold and slaves; and from the very start the exploration voyages were planned and funded solely as a practical endeavor for trade and looting, not as an intellectual curiosity.
Even assuming you live in a very high tax State like California, 50% marginal tax rate put you in, or close to the highest possible tax bracket. I live in a high tax state and earned above median income and my taxes (federal, state, medicare, and SS combined) was about 25% last year.
This is again confusing perfect bug-freedom and memory safety. Rust does guarantee your code won't have bugs (like integer overflow), but it will never lead to memory vulnerabilities (in safe Rust), which means you'll never encounter a remote code execution caused by and integer overflow in Rust.

The key takeaway is the following: Rust programs will contain bugs, but none of those bugs will lead to the kind of crazy vulnerabilities that allow those “zero-click attacks”. Is that perfect? No, but it's an enormous improvement over the status quo.
Don't forget all of Mzab valley. The architecture there is incredible, not to mention a culture that has lived in harmony with the environment for a 1000 years.
Two years ago I quit drinking caffeine for 2 or 3 months. At first I was tiered more often, but after a while (maybe 2 weeks? Can't remember exactly) that went away. After that I felt pretty much the same as with caffeine, not noticeably better or worse.

Since I didn't feel better and I like coffee, I started drinking that again.
That makes sense. Now I think about it,
The issue probably was that I was working in a submodule and those branches are probably not shared.
Write it like natural language, rather than poorly named, succinct/hard to decipher variables.

That alone will put your code above 90% of scientific code.
What is your source for that?
Games are different, f2p mobile games are an equivalent of slot machines working on pure addiction, for some indie games you pay for a short unique experience, there high budget single player games where they have a campaign you play and that's it.
I don't really work on distributed systems but I do often worry about performance and reliability and even if I get some wins sometimes the anxiety of not performing right is stressful....
> I hope AMD doesn't copy this. Intel has been on a downwards trend recently and maybe this is just a dumb, desperate move from them. As you say the landscape is getting more competitive, which is a good thing for consumers.

IDK. EPYCs board-lock to boards with Platform by blowing e-fuses. In some ways that's a bit more painful. (I get that it supposedly provides a Secure Boot. OTOH HP has supposedly done similar without having to blow the fuses.)
Anecdotal, but it was the reverse for me. We were locked in to a cheap rate and new customers had to deal with it being more expensive.
Page 1 of 78 total cases for: wikileaks
German-Americans were also subjected to internment[0], even from Latin America. Your premise is wrong.

[0] https://en.m.wikipedia.org/wiki/Internment_of_German_America...
Exactly! And tons of those jobs are paying less than it costs laborers to work them too.

That is a raw subsidy, and it's US paying so big players get a bigger profit.

We should not pay a dime, and they make a smaller one, but they also earned it fair and square too, not mooching on the public dime.
Why don't you get an algerian passport?
Stoprussia – Scan Products and support local companies
There is even a community spectrum next computer that is fully compatible and then extended. Seems to be popular with people who want to code for nostalgia. I’m more of an c64 and amiga head and have my eye on the vampire v4 as it seems like it scratch the nostalgia itch and could even be useable for general computing.
This is great. I've long had a paper copy on my bookshelf.

I did notice when building this on OSX changing the makefile to call env to get groff and awk is required to work with homebrew.

I did submit an issue on the github about this however.
Of course. But one of the great things about C is that as a rule nothing breaks with compiler changes (as long as appropriate care has been taken) which this appears to violate.
Forgot the link https://www.specnext.com/
> His legal team said in a statement: “His distress was that of a man of 75 years old caught up in a media-legal system that we should be questioning. Jean-Luc Brunel never stopped claiming his innocence and had made many efforts to prove it. His decision [to end his life] was not driven by guilt but by a deep sense of injustice.”

> In 2015, Virginia Roberts Giuffre ... accused Brunel of supplying girls to Epstein. She said the American financier had bragged to her that he had slept with more than 1,000 “of Brunel’s girls”.

This whole thing is so sick. Imagine being the lawyers defending this piece of crap.
I don't think it's particularly great for indie creators

Maybe not, but the alternative is worse. I don't want federal judges declaring that Torchlight is illegal because it's too close to Diablo.

games are basically yet another starving artist industry

Yes, this is the market correctly telling potential game developers that there's an oversupply and they should consider doing something else.
The Tribal Threat to Liberal Democracy
I literally skipped that when I read it. Wow, would not have guessed.
The search uses elasticsearch 7 for full text search. It's been extremely fast and worked very well. You're right court data is scattered across many different systems and needs to be aggregated, which is a difficult process.
Nah those buildings are owned by folks who need margins to go up -- often cuz they're publicly traded companies.
I’d like to offer the opposite perspective to many of the responses here. I regularly have 2 coffees a day, and I’ve taken month long breaks from it in the past. I’ve never experienced any of the severe withdrawal symptoms people often describe, with the exception of feeling a little sluggish on the first day. I did, however, miss the routine of preparing and drinking a warm aromatic beverage in the morning. I find it a pleasant way to start the day. Also, at times where I can feel myself flagging and I need continued focus, I find a good coffee does really help. So I personally see limited downside to caffeine consumption and some nice upsides.
Nah. I've been 100% remote since 2015 and while I miss in-person work at times, and it's much easier to learn new things in a tight office, but the benefits from being remote are just too big to say no to.

Way less carbon emissions, far cheaper for me, more work-life balance, no commutes eating up my day and driving me nuts. No crappy work lunches where I snag McD's cuz it's close by; I can whip up something in a slowcooker during my "lunchbreak" and have good food all day. I'm happy to run errands during rush hour since traffic is still reasonably light.

Hell, I even get to pet my dog during the work day for occasional and immediate stress relief; at the office I'd just sulk in a cube somewhere.

I'll concede that the COVID lock down made it hard to be remote since I couldn't hit a gym, bar, or hang with friends, but now that it's looking like we're reopening again those are viable.

But screw going back. If the cities can't handle it, good -- let the free market it do it's thing.
Vivaldi is a chromium-based browser, so it comes with the pros and cons of that. Pro being that it (currently) supports ublock... we will see if they decide to adopt manifest v3 or not.
I’ve been caffeine free for 10 years. It has greatly improved my ability to fall asleep and stay sleeping for ~8-9 hours.

When I’m underslept my mood is significantly worse. I am one of the most consistently happy people I know.

If I need a cognitive boost I take Alpha GPC.
> Taxes on outsourcing work outside the country.

I disagree here. Global poverty is at its lowest point in human history, in large part due to jobs being exported to poor countries.
I understand insanity is a plausible defense, too, John.