skysight-inc/HackerNews huggingface dataset:
If things are so frozen that you can't open System Monitor (task manager), try this: Hold down SysRq and Alt, let go of SysRq, keep holding down Alt, then press these buttons in order (don't need to hold them): REISUB - to remember it: "Raising Elephants Is So Utterly Boring", also known as "raising the elephant".

On some systems you need to enable this feature first, so try it out once to see if it works and look up how to enable it, if it doesn't.

https://en.m.wikipedia.org/wiki/Magic_SysRq_key

On most distros, you can also get into a command line, with the combination CTRL + ALT + F1 - F8 (try out which function keys do it for you and how to get back to the GUI). There you can use `ps`, `kill <pid>`, `reboot now` or restart the GUI. I'd keep a note of the exact commands on my phone just in case.

As a sidenote, I've had an issue on a good windows desktop PC where it freezes when watching YouTube or ither streaming services. I can still move the mouse for a bit, but clicking does nothing and I'm unable to even save it from a hard reset with Ctrl + Alt + Delete. Sometimes it won't happen for weeks, but if I'm unlucky multiple times in an hour. Look up "PC freezes while watching YouTube" and you will see I'm far from alone with this issue, Asus motherboards with new AMD processors seem to be the common factor. Haven't had this happen on Linux yet (dual boot) and I've tried everything to avoid these unusual freezes in windows, but nothing seems to help.
> I will get the paper version.

Nice! I have a free-eBook-when-you-buy-a-print-copy policy. Please send me a picture of the book when you receive it or some other proof-of-purchase, and I'll hook you up with a PDF with matching page numbers. This way you'll be able to easily switch between print copy and digital as you need.
When I looked at it, Toptal required a four week unpaid project as part of their "vetting" procedures. I'm still not sure who is actually willing to put themselves through that.
> great benefits

You mean health insurance or pension plans? :-)

> and make 2+ times as much as tech workers in the EU do.

Phew, what is the purpose of this 2x salary, if you don't have time or energy to use it. To raise another generation of busy burnoutees? Or to buy benefits the European takes for granted?

From what I see, Europe actually has the opposite trend for switching to the 4-day workweek, instead of working hard @ buying big houses and cars.
SQLCoder: 15B param OSS LLM that outperforms GPT-3.5 for text to SQL generation
Hey HN! We just open-sourced – our text to SQL LLM that outperforms OpenAI's gpt-3.5-turbo on out-of-training-set schemas, and matches gpt-4 when trained on a single business's schema.

SQLCoder is a fine-tuned variant of StarCoder, supplemented with a lot of hand-curated of data and slightly novel fine-tuning techniques.

We are also open-sourcing our framework for evaluating whether LLM-generated SQL is correct. SQL is tricky to evaluate. Two very different SQL queries can both be "correct". For the question, "who are the 10 most recent users from Toronto", both of the following are correct in their own ways – so we had to build a new framework algorithm to evaluate query correctness.

Query 1: ```sql
SELECT userid, username
from users
where city='Toronto'
order by created_at DESC LIMIT 10;
```

Query 2: ```sql
SELECT userid, firstname || ' ' || lastname
from users
where city='Toronto'
order by created_at DESC LIMIT 10;
```

The model is small enough to run on a single A100 40GB with weights in 16 bit floats, or on a single high-end consumer GPU (like RTX 3090/4090) with 8bit quantization. We will also release a ggml-based quantized version soon, and you should soon be able to run it on most M1 or M2 Macbooks with 32GB of RAM.

The model weights have a CC BY-SA 4.0 license. You can use and modify the model for any purpose – including commercial use. However, if you modify the weights (for example, by fine-tuning), you must open-source your modified weights under the same license terms.

Our evaluation framework is at https://defog.ai/blog/open-sourcing-sqleval/
Interactive demo: https://defog.ai/sqlcoder-demo/

Would love for you to give it a spin, and let us know what you think!
can JSON achema be used to describe say the schema of a RDBMS table?

is these some standardization here so I might use a JSON schema that already covers a lot of the fields that are needed to describe columns, constraints etc?

can JSON schema capture relations between fields?
Imo it’s because the character creator is not so good. There’s very few face choices and each one feels real world ethnically specific.

The fantasy species racial options are very jarring. The halflings and gnomes are goofy. Note that none of the provided characters are gnomes or halflings. You know ahead of time that you’re going to be wandering around with a group of largely classically attractive tall humanoids.

The tieflings and Dragonborn look so jarring that it’s hard to imagine casually imagine picking them unless you specifically planned on it ahead of time.

If your planned headcanon is to look like someone that people take somewhat seriously it feels like your respectable looking options are drow and human.
Yeah, it was kind of scary when I got a photo from a non-famous location just a few kilometers away (in Europe). At first I thought this was a "prank" game where it uses IP geo-locations to present you with personal, easy to identify locations...
Thanks for the info, I didn't know about this!
> The global economy is headed for a recession. That’s not my opinion, that’s the Federal Reserve’s

I know that's not the topic of the post but OP shows a lack of comprehension here. The Fed warned because that's what they do when the risk is non-negligible. They never say it is definitely going to happen because nobody knows.
I have wanted to parallelize my .zshrc file for a while – all those environment setup scripts for nvm, pyenv, starship, etc really makes the startup time noticably slow. Does anyone know how to do this?
Bitemporality and the Art of Maintaining Accurate Databases [video]
> the halting problem is either truly solvable, or there is an actual proof which doesn’t rely on weak unconstructable paradox.

Do you have any proof of this statement?
subprocess.run is likely to be significantly slower than a low-level dedicated utility like parallel, and adding a lot of flakyness and overhead. I'm a big pythonaro but one should always use the best tool for the job.
The author is a French Canadian academic at Université du Québec à Montréal. He is one of the more famous figures in computer science in all of Canada, with over 5000 citations (which is stretching the meaning of famous, but still.) This is not closed source work optimizing for some company product, this is research for publication on his blog or in computer science journals.
They do, as all sales people do but not more. The hiring manager decides whether to take you on board or not.
In terms of aesthetics and usability, HN is already pretty good, but I might tweak the colors for contrast, maybe increase the default font-size a bit, and play around with the padding to give it a slightly better and more accessible look.

In terms of functionality, I'd like to see a few items done for the sake of transparency and/or better content.

* I'd like to see some page of HN dedicated to showing posts and that were deleted/blocked for spamming, and one for blocked/shadow-banned domains. In 99% of cases, the moderation seems fine, but there's a weird cult of sycophantic behavior on this site that refuses to believe in even the potential for mistakes being made or for bias to occur. I just want some transparency on what is blocked so it's easier to see if any patterns exist.

* Vouching flagged posts should work differently. If you vouch for somebody in real life and they do something bad, your reputation suffers. Right now you can vouch for spam or bad posts with no penalty to you just by clicking a vouch button where you can't see who vouched for it. Users should put their money where their mouth is. A vouching should require a public comment by that user detailing why they vouch for it. If somebody vouches for viagra spam, everybody should see that.

* It should be possible to respond to blocked and flagged posts/ for some limited time period after. In the 1% of cases that a moderator makes a mistake, or a good conversation is stymied, or something else happens, you should still be able to respond to give your side of the story or just post an email address to where followup discussions can occur. Abusive accounts should still be suspended, but this gives a better possibility to rectify moderation errors.

* Quasi-nonymous posting should be possible. Obviously HN would still know who you are if there was an anonymous post button so users could still be blocked for grossly bad behavior, but it might open up the potential for more honest posts about certain topics if it didn't link to your name.

* I don't want HN to turn into a pure image board, but sometimes referring to a diagram in a science or programming discussion can be useful. Is there a solution that enhances the quality of HN possible? I'd say yes.

* It might be a good idea to list what users flag a post. If somebody is perenially being a busy-body and trying to stymie speech on a particular comment or has a hate-boner against certain things, it should be possible to see that in some way. If you're only flagging things that should be blocked like viagra spam, there's nothing to be concerned about.
How does that work with Time Machine? I once considered doing that, but I was worried that Time Machine would gobble the entire drive.
"I like python because I picked python."

Literally not one argument here that makes any point.
Is there a good reason why the app would not track window visibility? I have only used the X API for this, but I would have assumed all GUIs have such an API.
I'd rather try the defaults, see if it works or what doesn't work, or just to gain some experience for how everything involved works, and then work off of that known baseline. Anything else just feels like randomly throwing shit at the wall to me. Especially if I'm not familiar with the thing I need the example for.
It's not even pain-oriented. It's visibility-oriented.

I deal with chronic migraine and it's extremely difficult to get on SSDI for that disorder (unless it is secondary to something more visible, like a TBI). Other invisible chronic pain conditions (e.g. fibromyalgia) are similarly dismissed.
An interesting idea for sure! Overall climate is certainly a factor but I guess I was thinking of something more localised that somehow actively (or at least strongly) disrupts the self-sustaining spinning of the vortex. Seems a bit sci-fi at this scale maybe? But humans are understanding fluid dynamics ever more.. and I wouldn't be surprised if vortices turn out to have some currently-hidden vulnerabilities.
Ask HN: What’s the ugliest website you’ve recently seen?
Link to it, maybe help people learn what not to do.
I don't see why you'd prefer methane storage. You're straining mightily (capturing CO2, synthesizing methane) in order to save on storage caverns, which are cheap.
My dad did a lot of bodybuilding, and martial arts, and swam miles a week too. Just loved physical activity.

Last year he slipped a disk putting gas in his car. Backs are really arbitrary and you can do a lot to finesse the dice, but you're still gonna roll snake eyes on something.
There is all of this talk about an ai winter, and somehow I just kind of doubt it. Unlike in past decades there is a ridiculous amount of money, energy, and time going into the space, and unlike 40 years ago (or even 10) there are things that can actually make money now, and are not just academic research.

(See stable diffusion/llama/ chatgpt)

There will be businesses that actually make money on these technologies, and they will be research heavy (even a 5% improvement is a big deal) as things are still getting figured out.

I could see speed dropping back towards 2017 like rates, but I kind of doubt we will ever see an true ai winter like the 90's early 00's

The field is just too young with too many things as of yet untried, along with the fact that I doubt funding will dry up any time soon. (There are too many interests, from Nvidia wanting to sell more chips, to Microsoft wanting to sell more productivity, to defence, and political concerns between the US and China.)

Yes, it won't go on forever, but also this time seems qualitatively different from the past AI cycles.
(Granted I was not alive then)
You get the free phone when you create a new line, so it's easy enough for parents to just choose an iPhone as their kid's first phone (which is what they all seem to be doing).
In terms of being broadly available, most of AVX-512 (ER, PF, 4FMAPS, and 4VNNIW haven't been available on any new hardware since 2017) is available on basically any Intel cpu manufactured since 2020 as well as on all AMD Zen4 (2022 and on) cpus.

https://en.wikipedia.org/wiki/AVX-512#CPUs_with_AVX-512

I can't speak to being error free or other issues but it should at the very least be present on any modern desktop, laptop, or server x86 CPU you could buy today.

Edit: I forgot to mention but Intel's Alder lake CPUs only have partial support presumably due to some issue with E cores. I'd guess Intel will get their shit together eventually wrt this now that AMD is shipping all their hardware with this instruction set.
For me it really just involves squishing the browser window in all sorts of ways and see what happens, and if I get any ideas on what I would want to change. I don't see what the big deal is.

> crap (stuff that can go wrong) like animations, weird font sizes and font faces, javascript

None of these per se are the issue, and you can still have the issue with zero animations, fonts or JavaScript.
Going from a black belt in Taekwondo (age 7-16) to doing Isshin-Ryū karate (with some BJJ, aikido, and budokai in between) was really eye-opening. Taekwondo is all about sharp form, clean lines, high kicks. Punches and kicks go to full extension, and the stances are fairly deep.

In Isshinryu, there's none of that. You stop the punch/kick before the joint goes to lock. The stances are much shallower. The movements are less dramatic. My sensei told me it is much more sustainable this way, and many of the old taekwondo folks end up with joint issues specifically in knees and elbows. I don't know if it's related, but my knees and elbows are the two parts of my body which are most problematic.

It's also possible my taekwondo instructor just didn't know about this, that was a long time ago.
Right, but I bought it for gaming on Windows. Since then the games I want have been released on MacOS, so the use case no longer exists. Now I have an expensive gaming laptop in a box somewhere.
It just seems like confusing wording. I think you are right that most people use their programs full-screen on laptops (As an aside, it is funny that thin-and-light-ism has managed to progress to the point where the average person finally gets the 2008 experience).

But I think what they meant is: it is safest not to presume that desktop or laptop users are filling their entire screen with a browser.

The way they wrote it suggest that the assumption of the negative is safest, while the way I wrote it says it is safest not to make the assumption. This has a general smell of the inverse fallacy, although it isn’t like they are trying to make some bulletproof logical deduction anyway.
No not really. Gaslighting has an intent to deceive someone to pull them away from reality. CBT starts with the assumption by both people that the patient is away from reality and gives them tools to bring them closer. Gaslighting is like trying to convince a healthy person they’re fat (and giving them an eating disorder in the process) while CBT is like giving a fat person practices to manage appetite.
Feels like there are a lot of things going unsaid in the Gatsby.js community
I'm curious about how do you handle cognitive overload happening under the high pressure of startup life?
>I've realised this entire calculus is broken, because you feel good or bad based on people's reactions which is something you cannot control.

Yes. A thousand times this. It has taken me years to create a situational intuition around this. Another thing that I have had to learn is that people aren’t thinking about you nearly as much as you think they are. Like, take whatever amount of time that you think someone is thinking about you in any social situation, and divide that by 10. That’s still more than they are thinking about you.
Well, from my probe of 500 servers I have at work I have seen RAID1 rebuild failing zero times and RAID6 failing once (but we did recover it).

Granted, that was a bit of uncommon case where:

* someone forgot to order spares after taking last one

* we still had our consumable buying pipeline going thru helpdesk

* helpdesk didn't had any importance communicated about it and because of some accounting bullshit the purchase got delayed long enough

* the drives in question were all from some segate's fuckup of a model with much higher failure rates.

One disk failed with some media errors, remaining 2 got kicked out of array for same reason during resilvering

We ddrescue'd the 2 on the pair of fresh ones and the bad blocks didn't land in the same place on both drives so it made full recovery. But we did learn many lessons from that..
That is a bizarre misrepresentation of what they were saying. They're just surprised that people are making themselves a generic person instead of using some of the options that add more fantasy elements to the character.

Though I'm not sure why that's surprising to them. If you look at WoW for example, the distribution of race selection was always heavily biased towards human (followed by the next closest to looking human, the various elves). I guess most people are looking to make their character a self-insert. I find that boring in a fantasy setting, but I'm not going to say people can't do as they please with their characters.
Blocklayer
These people are so fucking stupid. There's just no being nice about it. They are void of any intelligence whatsoever.
oom_score_adj is really good at that already.
not that any of this is common parlance:

Oly is Olympic weightlifting, a set of weightlifting movements/lifts. In various workouts, like in dieting, some folks decide on a subset of all the things (movements, food) which is good (or bad) and focuses on them. Powerlifting is another opinion of a good set of movements which focuses on weightlifting abilities.

DB is indeed dumbbell, yes

C2 is apparently Concept2, a rowing machine
I can understand that, and I can understand Ole’s request for citations - Googling him it looks like he is (or has been) employed by a university.

The good news is that the new ‘tradition’ these days for academic software is to open-source all the software written for a paper or academic project, so practically everything done is visible on github & arxiv.
Pairing of electrons in artificial atoms discovered
Pocket Calculators Changed the World
> Why not also split USA to different states in these graphs?

Perhaps because population of EU is 450M and US 340M. Looks like a fair comparison.

> Also, I'm not entirely sure market cap is truly the most effective metric in valuing technology

Sales then? Would be basically the same graphs mostly.
> it’s not tradition to write citations for tools used to conduct research

Academics seem to have a very blinkered attitude to this. I wrote some software that was popular for a while in a niche field, and people were forever asking me to waste my time by 'publishing' the manual in some pointless journal so that they could cite something and give me credit. Writing useful software counts for less in that world than publishing another pointless paper that no-one will read.
The latin in latin-1 refers to the alphabet, not the language. In fact latin-1 can encode many Western European languages.
Fixed as in nerfed?
I’ve found Marcus filly to be a great starting point for “functional bodybuilding”. He is an ex cross fitter with amazing physique but after rehabbing many injuries his programs and youtube videos emphasizes functional movements as a key foundational principle to all workouts.
>> What's the context here?

Sarah O'Connor is an FT reporter

Sarah O'Connor writes an article about a human dying from a factory robot

In the Terminator movies, Sarah Connor leads the resistance and her son is the leader of the future resistance. The machines try to kill her and her child. The whole movie is about robots killing humans and Sarah's efforts to save humanity from robots.

Sarah O'Connor the FT reporter appears too young to have watched the movies and/or remember the movies (1984, 1992) gets deluge of Twitter engagement given her article and her name.

For whomever hasnt seem the original two Terminator movies, the are absolutely huge culture moments for robotics and AI. Part II is also a cautionary tale about scientists who dont think about the effects of their work.
That's the default behavior of the OOM killer since the start.
The latest Intel architecture (Sapphire Rapids) support it without downclocking. AMD Zen 4 also supports it, although their implementation is double pumped, not sure what the real world performance impact of that is.
My cynicism encourages me to agree with you; however, I think it's worth considering how much political capital is created or conserved by 1) protecting the five-member police force and some random local magistrate vs. 2) taking a hardline stance against Corruption by sending the feds in and prosecuting everybody involved (even/especially if charges are dropped in a couple months)
See, I don't mind the anonymous data being used to improve the game (mostly). It's what they take from the data and how they "improve the game" is where I get weary. My beef with analytics is I've worked at enough places where the data is used to min/max everything, which ultimately makes for a very bland product that loses its vision.

Let's use Larian's post as an example. Most people are making a generic white guy. Other companies see that and say, okay then let's only invest resources in allowing players play as a generic white guy. It's wasteful to do otherwise because "the data says so." But then you get a souless product that looks like everything else.

There's value in catering to the niches. It's more inclusive to the users who are looking for products with those niches (horns, tails, headphone jacks, whatever). But mostly having those niches makes it more appealing to everyone else, even if they won't interact with the niche, because now it stands out.
The vision of half (2/4) of the patient has improved enough to no longer require a transplantation
You should batch compress to JPEG XL too with cjxl --lossless_jpeg=1 --quality=80 --effort=9 {} {/.}.jxl (or magick)
If you intend your conference to be “international” in any sense, do not hold it in the United States (I am a U.S. citizen). Here is just one example for why: https://daniel.haxx.se/us-visa.html

The U.S. makes it extremely difficult to visit, routinely denying visas to all kinds of people with no explanation.
What did they hack? The materials not meant to be used in marine conditions?

That couple sounds reckless, dangerous, and without regard to the consequences of their actions. Not exactly people I would picture as hackers.
By now digital cameras have overtaken digital in resolution. At least for APS.

And slide film never had great dynamic range.

Similar depth of field is obtainable for a similar price, at least on 35mm. MF is really expensive on digital.

But that color. Ohhhh that color.
Oh my good. This Semantic Web stuff is going live !
Counting Wasp Attacks: Investigating alarm pheromones in yellow jackets
This is exactly why I hate when people over rely on averages. What's the median? The percentiles?
You are right - no jucers but no iphones either.