skysight-inc/HackerNews huggingface dataset:
Ha! I eventually found the +4 on Amazon. I sent her a house warming gift a couple years ago and Amazon held onto the address. I don't know if I'm pleased or frightened that every address I've sent things to i still there.
I usually say Racket Scheme because probably nobody has heard of Racket - really a niche language. You can choose between numerous language types, and Scheme is one of them. You are correct, Racket is kind of a language creation tool now.
Advent of Nocode
Their competitors at OpenAI?

I'm all for solidarity in the face of adversity, but privileged people playing politics is not real adversity.
TinaCMS adopts Apache 2.0 hits 10K stars
It depends on ones experience, but a script which runs yt-dl shouldn't take much time. And as a side note I'd argue that constantly counting your time as money loss may lead to neurosis. Some digital housekeeping can be pleasantly distracting from work, while also making your computer environment more comfortable.
Yes, although there is a frequency where they will drive me away, and I wish they weren't always edging up to that line. Google isn't short of money.
I once took the hydrofoil ferry from Seattle to Victoria, BC. It was fast, but it was still a 2 1/2 hour trip. Not sure what that ferry used for propulsion, but I assume diesel.
Although we're not using Claude in production (yet), it's a regular part of our testing when we build new features with LLMs. Part of the reason why we haven't used it (yet) is because OpenAI had more certifications faster, so we went to market with them. And their API has just gotten better and more reliable ever since, and it's cheap. But now that Claude is in AWS Bedrock that opens up some things for us that were previously closed.

In my experience, my exact prompt (modulo a few tiny tweaks) works just as well in development with Claude Instant as it does GPT 3.5. And it's just as fast!
A good test would be whether it can read drawings, get tools and components out of the truck, and wire a house so that it will pass inspection.
Not sure how he would see that coming? It was a UI tweak away for OpenAI
You also missed very low intensity exercise. Studies talking about the harms of sitting for long periods have been prominent in the news recently. Effects appear even in those who exercise regularly.

Some recommend 3 hours of walking or equivalent a day. 10,000 steps is an similar recommendation.

Hard for a desk job like most of us have. OTOH, as long as you're getting other exercise just standing instead of / as well as sitting might be enough if you're otherwise active.
Sure, it's 14M4L33TH4XX0R.
https://www.marketwatch.com/investing/index/sp500.35?country... is up by less than the S&P over the last few years.

I'm not saying the healthcare system is great or anything (I generally agree with "pathetic broken mess"), but it's not making its investors particularly rich. Most of the excess cost is getting spread out within the system itself and never makes it through the other end. If you want to blame doctors, nurses, admins and suppliers that's arguably a better place to start.
Hypervisor-Enforced Kernel Integrity (Heki)
I struggle with getting exertion headaches whenever my heart rate goes over 170 bpm for more than a minute or two. It's incredibly frustrating to have to hold back and moderate my physical activity, knowing that if I don't I'll have a rather debilitating headache for the rest of the day and potentially into the next day.

I do get a lot of exercise, but I keep it in the lower zones to avoid this complication and I still feel like I get such a great mood boost and improvements to my cognitive abilities wrt to work.
Linux Virtualization Based Security (LVBS) is an umbrella term under which we can offer various hypervisor backed kernel protection solutions. This is a common hypervisor agnostic extendable architecture in Linux kernel that can be used by any hypervisor to implement and extend Linux kernel protections. Different hypervisor frameworks (Hyper-V as an example of type-1 hypervisor and KVM as an example of type-2 hypervisor) can plug into the common layer to harden the Linux kernel.

Hypervisor-Enforced Kernel Integrity (Heki):

Heki is a proof-of-concept that implements new KVM features (extended page tracking, MBEC support, CR pinning) and defines a new API to protect guest VMs. It is designed to be merged with the mainline project. It is inspired from other private implementations currently in use (e.g. Windows's Virtual Secure Mode), but our approach is tailored to Linux specificities.
AlmaLinux 8.9 Is Stable
FFS: fewer refusals.

Since neither word appears in TFA, could the title here be edited?
A week after RHEL 8.9
Good timing! I love it.

The board of OpenAi messed up epically and OpenAI is paying the price.

Let this be a lesson to other companies: do not let randos on your board.
No. And a quick search finds possibly one mention of it from 9 years ago on Reddit. It's not widely used.
We got access soon after the API was announced and have happily been using Claude Instant in production for a couple of months now. It may have helped that our use case was a good match for their capabilities.
Thanks for your answer. I didn't mean that EA was always the most extreme of "the end justifies the means", but that the same moral questions as "the end justifies the means" apply, and these have been discussed many many times before. That in itself is not a problem, as ideas get repackaged through the times.

> I'm not sure what your point is. This is true of most any practical application of a moral framework. EA is more about providing a methodology than providing answers.

My point is it has no more depth than "I will earn money and give it to causes that make the most good", which is just "do good" with a materialistic twist.

If every member of EA has different approaches and opinions, and some of its biggest proponents are scammers, what is EA really bringing to the table? IMHO not much more than thinking for an afternoon about ends and means.
In a vehicle, "fast charging" is not just convenience, it means you can use a smaller, _lighter_ battery having less autonomy but knowing that you can refill it in a few minutes stop. It doesn't make range anxiety go away completely but it makes long trips practical.
The strait where migration flows both ways
> Any visa issues will be resolved within a matter of days, not even weeks or months.

Agree. Further I'd add forget Microsoft, even at typical F500 company these visa concerns will be rather small so as not to brought at level of executive attention. Any large company has immigration/visa related department dealing with such things every day with separate piles for critical vs normal employees.
Consider biking short distances if possible. Perhaps start with an ebike if your fitness level demands it. Since I've gotten fairly fit, I will outpace cars in city centers during busy times since I am not as influenced by traffic. Exercise becomes a time savings.
> If you don't allow competition in the first place, you don't get bothered for "unfair competition" by antitrust regulators.

This seems like an obvious defect in antitrust regulators.
Can you just tell it to focus on a particular language and have it go find the manuals?
If it is so easy to add manuals, maybe they should just make options to do that for you.
Thanks.... Proceeding to index now.

----

Update: Sorry, couldn't find it either.
As a figure of speech, they lashed out, to rob someones clout, no doubt. Because of other opinion, can't accept loss of their dominion.

That aside, making anything Soros-funded cry out is a matter of honour, and giving me a hard boner o|o

Thermonukular, in fäqqt.
> the only service able to overlay music over any game

Able to? Or allowed to?
What are the economics of hydrofoils like? I recently watched a YouTube video covering the rise and fall of hovercraft ferries. Basically, the lower reliability of hovercraft eventually overwhelmed the utility of faster transit times. Is it the same for hydrofoil ferries?
Genuinely curious if they really could simply "provide the IP". Is there precedent for such a situation, seems like what is left of OpenAI could sue Microsoft.
It's in the XDG Base Directory Specification [0] maintained by freedesktop.org [1] (formerly X Desktop Group)

0: https://specifications.freedesktop.org/basedir-spec/basedir-...

1: https://en.wikipedia.org/wiki/Freedesktop.org
I talked to the skipper of one. He said the boats (Linda Line) had been in service in the Black Sea.
Functions are at least first class! We have map and filter on lists, for example. I'd love to add some more advanced curriculum that focuses on teaching a more functional style.
It is known that infection plays a role in some cases and increasingly suspected that it is a risk factor generally.

Up to 45% of people with chronic infections develop heart disease 10–30 years after the initial illness, which can lead to heart failure.

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

...gum disease can be caused by 20 to 30 different types of bacteria... and it is increasingly thought that gum disease is probably an independent risk factor for heart disease.

https://www.heart.org/en/news/2021/03/19/how-oral-health-may...
The vehicle is also an entity at such services and that “ID” (registration num) is anything but easily changeable. So it’s not that simple.
This doesn't jive with my internal stereotype - but maybe that's because I live in the PNW. "Everybody" here boulders and hikes on the weekends.
The current deluge of ads feels less like an attempt to monetize, and more like an attempt to irritate me into paying for Youtube red (premium? plus? I don't know what it's called these days). This makes me less willing to shell out.

Youtube has allowed its algorithm to prioritize recommending radicalizing conservative content to people that have watched nothing but videos that have to do with videogames. That's not a model I want to support. That also makes me less willing to shell out.

I also (irrationally) still hold a grudge from when they took away the ability to play videos on the youtube app in the background in order to promote premium, which added back the functionality. This makes me less willing to shell out.

Content creators have for years been talking about how easy it is to get demonetized, how the payments get lower, how it's harder and harder to sustain a channel, how without clickbait and icon bait it's harder to get videos noticed, etc etc. This makes me incredibly unwilling to shell out.

So, to sum it up: If YouTube does a better job of policing their ad-content and makes them less overtly obnoxious, takes any steps at all to moderate the gaming-content to alt-right content pipeline, and restores their app's ability to play in the background without the premium version, and, probably most importantly of all, starts treating smaller content creators better and improving discovery of high quality, creative videos (over lowest-common-denominator clickbait bs) I'll consider paying them a monthly fee.
> 3 unskippable ads before a 2 minute video.

Demand your money back for such horrible service you are receiving…
Would you rather be treated in a modern hospital or one from 50 years ago? Would you choose the historical hospital if it charged you the same fraction of median income as it did back then?
If you ever try to get a knuth check, you'll receive back a printed copy of your email, along with his hand written notes and a response. Really cool!
Yet the article claims

> Or it did in 1996, anyway. As great as they are, one quality that mid-’90s Square games do not share with Nintendo’s work of the same era is timelessness.

They're timeless in my heart. I guess I kind of see the point: Super Mario World is easier to show to a modern audience than FF6... But they are iconic and durable and still fun to play.
I'm the same. Running just to run is agony. If I'm playing a sport, then I hardly notice it. Jiu jitsu is my workout of choice.
HN suffers from a peculiar obsession with theory and optimization. There's no secret to aerobic exercise: go get your heart rate mildly elevated for a while. Do whatever activity you can stand making part of your regular life, and stick with it. Do it long enough and you'll lose weight to boot. This is a simple truth. Things get complicated at the fringes, or if you want to actually train vs just get fit, but most of HN is not a fringe case unable to benefit from basic exercise. They just pretend to be to ignore that simple truth.
Spotify is also the only app apart from YouTube Music that works in Google Home devices (at least in my region).
Unsurprisingly, there's some gross oversimplification going on here, but this is interesting stuff.
Not sure why the continued use of the close ups was used. After the first one showing people holding cards, then maybe a second one to show how they are essentially flipping pages, but after that, the zoomed in totally loses the effect. Same with the close ups of the performers on the field.

The point of these types of performances is not of the individual but the whole. It's a perfect bit of symbolism for communism. Why ruin it by showing the individual cogs of the machine?
Howdy, CISO of Anthropic here. I'm not sure what happened in your case but please reach out to support@ and mention my name; we'll respond ASAP.
I am the same kind of person, and believe me, it's a lost battle to try to explain how impossible it is to get to do something every day. People who are normal in that sense will never understand. Their concept of laziness or of that "ah, it's going to be hard to get on that treadmill today" feeling is completely different from ours. Their brains are wired differently.

Just read the answer below

> The only thing ever stopping you from going out the door and running is putting on shoes and shorts, its easy to form a habit!

For people like us, this is akin to "if you are depressed, just cheer up!". It's ridiculous, bordering on the offensive.
They couldn't shaft the people who make the videos they like as hard as YouTube does if they made it their single life goal.
Embark – Dynamic documents for making plans
Much, much, less. They are definitely not in the same league.
"Researchers at ISGlobal and Inserm said in July that the European continent will face an average of more than 68,000 heat-related excess deaths each summer by 2030 and more than 94,000 by 2040 unless there is an effective response to climate change."

Quite a staggering prediction.
Greatly appreciate the suggestions and pointers! (Not sure how HN orders "reply's", but this is in response to other replys to my initial comment.)
I use Firefox on mobile with Ublock origin installed, works perfectly for me
None. He's original to Mario RPG. The allusion to Final Fantasy is just an easter egg.
> So if we should not assess the economic system based on whether people keep their money, i.e. pay tax

Not just pay tax. People lose money over generations for all sorts of reasons.

I brought up tax in the context of "redistribution", as there's a growing worldview that says tax is not as a thing to pay for central services, but more just to take money from people who have more of it than they do.
I think what the person you are replying to might be alluding to is "The Seven Basic Plots" theory: https://en.wikipedia.org/wiki/The_Seven_Basic_Plots

"Beat for beat" might be a bit unfair but even then there are traditional structures such as "The Hero's Journey" that are commonly used by writer's both in and out of Hollywood.

That said, even if structure and a finite number of plots is true, there is still a wide variety of artistic potential from characterization to setting to art style.

I will say, however, that the older I get the more "familiar" things feel. Even when I'm watching non-blockbuster stuff. I'm pretty sure this is just the result of having watched more movies throughout my life. My standards are getting higher and my pattern recognition toolset is widening. And since I have dabbled in writing myself, I tend to recognize formulas when they are being applied ... even if the movie is not a cookie-cutter Hollywood factory-produced summer blockbuster.
I don't think the Dedekind number relationship is really like what I described though. These are numbers which. have known properties (ie given a number you can test whether or not it is that) but no known closed form solution exists for the generator of the sequence, and probably there is no structure to the intervals between the numbers other than the properties we ascribe to the numbers. I see them as similar to primes for example in that you know one when you see one but not how to make all of them[1].

In my example, the relationship between the fractions in the Tailor expansion and the orbit definitely exists but if you don't have calculus it is not something that is amenable to understanding. There is a fundamental structure but the language to describe it would be missing.

ML is a universal function approximator and in the case of GPT models the functional form of the model consists of linear algebra operations and the parameters are matrices of weights. The mysterious part is "how the model processes information" like the original person said - why a particular mix of model weights corresponds with particular types of outputs. That is genuinely mysterious. We don't know whether or not there really is a structure and if there is, we don't know the "calculus" that would link them.

Now it may be that there isn't a missing piece (ie that the banal truth is we tweak the weights until we see what we want to see and by doing so we create an illusion of structure via the training process and the whole perception that the model is doing any information processing at all is something we make up). I actually have a lot of time for this point of view although I really need to understand the topic much more deeply before I make my own mind up.

[1] I don't know any number theory so could be totally wrong about this in which case I apologise.
Sure, but why is that special for gas plants? CTs are expensive to run so if they run less that is generally good for people using electricity. I am not saying political uncertainty doesn’t exist or that the grid systems are apolitical or that building plants is easy. I don’t know much about the UK grid or rules which is why I was asking for specifics on what makes this specific case political.
Do you like moving in general? Find a ninja warrior training gym or a trampoline park.
Writing to STDIN and reading from STDOUT (2011)
All of the people who I know who are actual geniuses had early childhood trauma.
I've often wondered if anyone has ever studied what the "all in" cost of gasoline would be taking account of all those externalities.
> Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press; or the right of the people peaceably to assemble, and to petition the Government for a redress of grievances.

A peaceful protest on a public sidewalk outside a public official's home falls pretty squarely within those protections.
> Tailwind would be a lot more appealing to me if it was coupled with some system where I could say "class X inherits from tailwind classes A, B and C"

How is that different from:

D {
@apply A B C;
}

Or creating a new utility?

https://tailwindcss.com/docs/adding-custom-styles#using-modi...
Those ads aren’t from YouTube but also consider whether creators like doing that or are doing so because people aren’t willing to pay them directly or watch ads. YouTube premium pays better than ads according to most sources so the easiest way to not have sponsorship ads is to pay the artists rather than complaining when they get their rent money from someone who does.
You're right, I misremembered that.
Because not every company that uses GCP gets offered this discount
It's possible that what we have here is one of those situations where people happily rely on oral reports and assurances for a long time, then realise later that they really, really should have been asking for and keeping receipts from the beginning.
"Ad-blocker user punishes YouTube with not watching YouTube"
> And across all tasks it's only half a standard deviation, meaning the result is far from significant.

I can't read the original article because it's paywalled, but assuming that the original claim is correct ("increased performance by approximately .5 of a standard deviation across all tasks tested") and that by "significant" you mean "statistically significant" then you are spectacularly and confidently wrong.

Imagine we have a normal distribution of IQs around 100 with a standard deviation of 15.

Imagine there were some intervention which resulted in a uniform increase in IQ by half a standard deviation across the board. Perhaps the intervention is "literally add 7.5 points to every single score in the treatment group."

You seem to be asserting that because the effect size is "only" half a standard deviation, we have no way of determining whether or not the intervention actually increased scores, no matter how much data is collected. We could collect 100 million IQ scores in the control group, and 100 million IQ scores in the "treatment" group, and see that the average score in the control group is 100 and the average score in the treatment group is 107.5, and we'd have to say "nope, the null hypothesis looks completely plausible here, because the effect size was just half a standard deviation."

Does that seem like a reasonable claim?
I don't expect it for free either. But they already get my user data. This seemed to work well for the last 20 years.
Now they want my user data AND want me to pay on top by creating such a bad user experience for the free tier that one feels like Pavlov's dog being conditioned to wait for the "skip" button to appear to get the movie rewards.
Why is the iOS keyboard getting worse every year?
I can’t be the only one who noticed.

No matter the model. It’s a pain to write with it. Writing faster or correcting longer words totally drives it nuts.

It’s slow, not precise and just not clever.
Perhaps, but that feedback won’t be reflected in the poster itself, maybe the publication, if there is one.
that was always very obvious to me, cause I can't count the days where I was having a crap day and after a good workout (cardio + weight lifting) I was feeling a lot better.
Is John Goodenough not good enough for you?

Too bad he has recently passed, though.
Torrenting apps are allowed on Google Play. Search for LibreTorrent.

But yes, if you have a look at Fortnite, the 2 methods they provide are (1) downloading the APK, or (2) Samsung's Galaxy Store:

https://www.fortnite.com/mobile/android

Even though they probably lose installs this way, I'm pretty sure that many kids manage to install Fortnite just fine.
I can’t articulate this as a how-to, but I’ve found that I can occasionally rewrite some low-level assumptions about myself in such a way that let me accomplish stuff. Like I convinced myself that working out every day isn’t a choice, it’s a default. It’s how I am. This means that the choice is to not work out, and that’s kind of lame, so no choice == working out.
Updating how we measure quantum quality and speed – IBM Research Blog
Interesting, but deceptive. Those are, as noted, "Key Employees and Officers." I just assume most employees with the title "Software Developer" aren't making over five times what Moxie is making.
Binance founder Changpeng Zhao agrees to step down, plead guilty
Really? I'm a lawyer, and I can't even see an argument of how firing a CEO would affect investment agreements at all unless Microsoft specifically conditioned their investment on Altman remaining CEO forever.
The list-style properties should be called marker-style, and list-item renamed > to marked-block or something.

I think list and list-item are clear.

How about just `mark` instead of `marker-style` to be consistent with other properties that decorate part of an element like `border` or `background`?