skysight-inc/HackerNews huggingface dataset:
That is just the language definition. It is fine for an implementation to actually compare both at the same time as long as within the language you can not observe this happend. If we cant tell the read to be b happenend with a or before a (hello spectre) then for the implementation it should be fine to have done the comparison.

This is more of a constraint if the struct contains a comparison that can panic. The panic must happen in order or not at all depending how the fields are listed.

type t struct {
a int64
b any
}

Should not panic on b if a values are already different.
Sadly, the internet is a great place for psychopaths / sadistic people.
Imagine if Apple’s profit was down 34% for even one quarter let alone fourth consecutive drop.

There would be a million articles declaring them dead, the iPhone being just a fad, etc, etc

Google does it - all good
Yea I don’t have kids but I’ve seen it with all kids in my extended family.

I like Youtube, there is content of tremendous value, for knowledge and entertainment.

However, one thing I’ve personally observed is that too much of it can destroy your focus and motivation. There is some science in there about brain chemistry and reward systems, in line with what some pop scientists with Cal Newport and Andrew Huberman are preaching.

I don’t know the details of said science, and I don’t feel like I need to, because my own experience and observations have cemented a strong belief that an excessive usage of the proverbial bottomless digital wells (be it Youtube or other usual suspects) have deleterious effects on focus, motivation, and happiness.

I can only imagine the effects on the developing brain. But again, I don’t know the science so maybe the answer is “a kid’s brain is so malleable that there is nothing to worry about”. Wouldn’t that be convenient for big tech?

Well I for one, am not going to take risks. If I ever have kids I am not going to deprive them of watching a bit of Youtube or playing Mario. But there are going to be some serious authoritarian vibes around time limits and sequencing (ie, only after you’ve fulfilled your obligations)
Very short notice but otherwise I don't get why people are mad that it is going paid only. Try making an API request to Instagram or the other thousands of large websites that doesn't evne have an api.

If you like the service, just pay for it. I pay for a lot of services already and I do not see why Twitter must absolutely be free. Honestly, I prefer a world where people charge for their products because it will make it easier for everyone when people stop expecting great stuff to be free.

I also love how the people who mainly hate on Twitter now is roughly the same people that constantly said "If you don't like how it's being rung, build your own" etc. Now when Musk bought Twitter and thus got ownership fair and square, it does no longer apply?
Good article. But

> Big Tech giants are often abbreviated as GAFAM

Ok, FAANG is a bit out of date in both names and composition, but surely we can do better than that?

I vote for GAMMA.
Yeah, so a person like Carmack who takes the risk and spent his career doing technically creative things could maybe make a difference. Probably not, but as long as creativity is so de-incentivized we will never have too many creative individuals around.
>>My kid is 10 and still doesn't know a single Youtuber by name

Authentic curiosity - does your child not go to a normal school? In my experience you can literally detach your home from the internet and live without electricity, but the second your kids go to school they instantly know all the latest fads and videos and what not. To make it to 10 without being at least somewhat familiar with youtube through that exposure seems....almost impossible?
I find that hard to believe especially when chatGPT is spitting out straight, coherent gems. None of the stuff on that stream is coherent.
I have to second this. Google products are dangerous. As an example, Gmail once silently dropped all emails to or from my email account - they didn't bounce back with an error message, they vanished in a black hole. This took me a while to figure out and it caused substantial damage at work. It took my commercial email provider several days to get Google to fix the problem. Their support staff told me they weren't able to contact any person at Google, they had to fill out a web form.
I guess a lot of people must be using YouTube in a different way to how we do. We do allow our 8-year-old to sometimes watch YouTube, after the homework is finished or if sick.

What does he watch? Things like....

* 40-50 year old Russian language cartoons, to help with his language learning.

* Quite a few British shows like Edwardian Farm[1], Victorian Farm[2] and Wartime Farm. Pretty educational stuff.

* Documentaries about stuff he's interested in. At one point it was Nelson's flagship, HMS Victory, another time it was the Cutty Sark[3]. He went through a real tall ships period. We followed this up last summer by visiting both the Victory in Portsmouth and the Cutty Sark in London. It was amazing the way he was able to point things out on the real ships, because he'd watched the documentaries.

* Ski racing. He's mad for it. Races himself on weekends and obsesses with who is winning the World Cup races. Mikaela Shiffrin hitting the record was a big moment.

We never see any adverts on there. I don't know why, maybe something to do with a combination of uBlock Origin and Linux.

We do have a Netflix subscription, because I enjoy watching a few shows on there, but we've never watched anything in the Kids section, because it's 95% crap.

So from our perspective, YouTube is quite a reasonable educational tool, when used under supervision and in moderation.

Edit: I forgot the Australian stuff we watch together! Bush Tucker Man[4] and Fishing the Wild[5] are two worth mentioning.

[1] https://en.wikipedia.org/wiki/Edwardian_Farm

[2] https://en.wikipedia.org/wiki/Victorian_Farm

[3] https://en.wikipedia.org/wiki/Cutty_Sark

[4] https://www.youtube.com/watch?v=lcsZHOD9P8E&list=PL7HSPnTFVA...

[5] https://www.youtube.com/watch?v=v1xGBPQlH_A&list=PLvP8XBCt3L...
Gives the bored lads at the air force base something to do
I think that's nothing more than a pipe dream. It seems that Twitter is bordering dysfunctional internally and is hemorrhaging money at the worst possible time (massive debts to support, slowing economy, less accessible loans). I think Twitter's current strategy is desperately trying to make money and stop the losses.

Many APIs do have price tiers but it depends upon the business model, if the API is the product, or the app is the product and the API drives traffic and use cases. For a super-app, arguably the app is the product & profit generator and an open, free API would support usage of that.
Edit: I completely misunderstood what Blink is in relation to WASM. I'm leaving my original comment below, but it is quite wrong.

Still, Blink is a VM in the same sense as the JVM, and it does JIT compilation (or it can interpret program ASM) just as much as that. As far as I understand from the git page, it is using x86_64 assembly as the "bytecode" though, so the JIT step may be quite trivial if running on the same arch and/or OS.

Old post:

This isn't compiling to native either, not ahead of time anyway. It is compiling C or C++ to WASM, and then running that in a browser. The browser will JIT compile the WASM, just like the JVM would.

The biggest difference is that everyone has a browser, while not everyone has a JVM pre-installed.
Why take something and take the most extreme take on it?
Don't tell me, let me guess. All songs sound like English-language American pop songs.

(Sorry... I'm being a jerk here. This is a cool thing that you built. I only wish iTunes had a greater variety of music.)
It's usually presented as a group of "red flags" that sound rare in summation. Everyone knows kids play violent video games. What I see among school shooters is things like, has threatened classmate in the past, is on anti-depresents/in therapy and played violent video games.

Some of those things may indeed be a factor in the actual event so it might actually have _some_ merit to bring up but I also probably just described ~5% of kids so it's not at all useful for predictability but it's presented as a "we should have seen it coming" or "why didn't anybody do anything!?".

The violent video games thing is nothing more than a panic but mental health issues and a history of actual violence are the actual ingredients of a mass shooter, it's just not predictive.

I hope that makes sense...
Ironically we don't produce enough CO2 (in concentrated form) to do that on a large scale. This means that we might have to use direct air capture to get the CO2, which is quite expensive. It also begs the question: Since the CO2 is going to end up in the atmosphere anyway, then why go atmosphere -> CO2 -> synfuel -> atmosphere instead of fossil fuel -> atmosphere AND atmosphere -> CO2 -> underground storage. The second might be cheaper and the end result in terms of CO2 in the atmosphere will be the same.
I've often wondered how others get the multiplication tables to stick. When I was in school and tasked with learning and being tested on them I remembered them - just about - for long enough to be tested (primarily from a quick reminder on the way to school) and then they were gone.

My overall experience was that they were a very boring song with terrible lyrics. I can't ever say that any meaning clicked especially. The teacher called out the first part of the verse and I "sang" it internally and hopefully got it right. Having gotten through that it was gone by lunchtime in time for a different set of words to the same song next week.

I tried again about 30 years later as a adult and had much the same experience. You might as well have been asking me to remember items on a tray.

To me it's like this:

chicken x tree = rock

brick x kangaroo = Susan

boat x walnut = dinosaur

Now imagine you have to remember 288 of those (because you might be asked to produce either side of the equals sign) and somebody asking you to recall one arbitrarily.

How do you get your students to get them to stick?
I know that some people suggest that perhaps RESTful APIs (or even some other types of APIs) shouldn't try for formal specifications, but personally I find OpenAPI to be great, especially when combined with a bit of codegen and automation, like in the article!

Somehow I think that the workflow of SOAP + SoapUI was superior to much of the ad-hoc messing about that came afterwards in the earlier days of large scale REST adoption (before Swagger was quite a thing), despite SOAP itself not being all that great. Regardless, you could get the service spec as a WSDL file and feed it into either SoapUI to get a full API client for testing, or maybe throw it at some codegen to get client stubs in Java or whatever language you were using.

It's nice to see that we're getting close to that automation and codegen again, given that REST is easier to work with than SOAP in most cases. I just wish that more projects out there truly embraced OpenAPI as well, which in my experience hasn't been the case (honestly, tooling should automatically generate basic OpenAPI specs from the routes that your app exposes).

JetBrains tooling is pretty good, as always, though.
Typically, if you don’t understand something, it is because you are trying to understand something that you don’t have the pre-requisite knowledge for.

My advice would be to try and find what pre-requisite knowledge you don’t have and work on that.

For programming, I think it is best to compile a simple one file program on the command line and run it, before trying to understand the “magic” you get with Integrated Development Environments.

Once you understand how a simple program is compiled and run, you can then focus on how to make a more complicated program.

From this perspective, I think C is a very good programming language for beginners because it forces you to understand some very important concepts before programs get too large.

C will also make you appreciate whatever language you move to next :)
> The 40 papers by Ilya came later. I have read a 100 ML papers and reviewed preprints.

I would say it’s more likely John Carmack is capable of learning the state-of-the-art of AI from 40 papers than a random (pun intended based on username) from 100.
> That said, I've seen videos of ships firing missiles in relatively quick succession. Just not like the Itano Circus, however.

Saturation attack is indeed a tactic used. The idea is to time your attack for missiles to arrive on your target at the same time independantly of when they are launched and of their trajectories.

Also, a missile hit for anti-missile defense probably doesn't look like what you expect. There is no need to reach the incoming missile spot on. The goal is to explode in its vicinity preferably slightly in front of it. Incoming missiles are fast enough that impacting either debris or the explosion shockwave will disable them if they are close in a radius which is not that small.
"So I asked Ilya Sutskever, OpenAI’s chief scientist, for a reading list. He gave me a list of like 40 research papers and said, ‘If you really learn all of these, you’ll know 90% of what matters today.’ And I did. I plowed through all those things and it all started sorting out in my head."

Wow, that's going to be one of the more glib things I've read in a while.

This is a bit of a Tom Cruise moment.

I mean, I get it on some level but I suggest it's going to take a bit for someone to 'catch up' to cutting edge AI.

Like more than a 'week of reading papers he doesn't understand'.

Defeating the Rust borrow checker takes longer than that!
Nice. How will you fix big download times? I imagine it sounds to cool to be able to start a game in a browser straight away until you realise you still have to download it like any native game, so in reality other than avoiding installing a marketplace like Steam it's not much of a difference experience to play in the browser.
FAANAMANGWhatever snowflakes are back on the job search market... yeah it's murky over here. Yes, now interns have an absolute power to reject your CV. Yes, you better spit out 100% performant algorithm for sliding average with edge cases in 5 minutes. Yes, you'll be writing unit tests of enums in java.
As can be detected by the disdain that other commenters have shown towards even the suggestion that someone might read the Principia Mathematica as opposed to a more modern treatment of the same subject, it is a lack of interest more than a lack of capacity that makes it unintelligible for modern readers. It is utterly comprehensible to any reader who has time, paper and pencil, and a copy of Euclid.
Show HN: Mastodon Analytics
I still find it surreal that these operating systems share so many mechanisms that these portable EXEs are even possible.

Someone should write some kind of historical explanation of how this could have happened. And how critical is it for the "APE" scheme to work? Could APE binaries work on AROS x86_64 for instance? (Without emulation.)

I also find it surreal that it took this long for someone to do something like Actually Portable Executable. I mean, it's slick and easy to use, but I haven't even seem assembler demos of this.

Is the same polyglot EXE possible also on 32-bit x86? If so, I find it even weirder this have not been done long ago, considering the strange hacks people have pulled over the years.

I'm fascinated by the whole thing, as you can tell. Back in the day, Windows and Unix seemed so far from each other, like oil and water.
Any idea of why this is?
You're right about some of those services, except mandatory national digital ID is how they control you :)

Books written before the era of social media (i.e. before 2008) are more likely to be written by people with authorative backgrounds on the subject they are speaking about, half the books written today are 'new york time best sellers' yet are written by social media influencers and the such. Quality of education is far below that which it used to be, across the globe. The university business model has switched from quality, to quantity worldwide. They accept masses into their campuses because it generates billions.

If you believe the argument is poorly constructed you should provide counter arguments, not rant yourself.
Which one are those?
> why are these types of articles not causing Tether

It is indeed a very interesting question.

The scamminess of Tether is pretty much obvious to everyone in the crypto world at this point (this article brings fairly little that's new to light).

As I mentioned somewhere else in the thread, I believe the explanation might be that Tether fills an absolutely essential role in providing liquidity to Cryto markets.

So fundamental that everyone allows it to continue to operate in spite of knowing how rotten to the core the whole thing is.
Banking? Frankly if he was after money there would easier way.

He isn't a cook and he's doing a moonshot towards AGI: I say 'good luck!'

That doesn't mean that I believe that his '60% change of AGI by 2030' isn't wildly overoptimistic, but then again those who take a shot at AGI are overoptimists..

But he can bring a lot of value, we'll see.
It was extremely disappointing to finish a book which truly altered the way you saw the world, and not have a cohort of people to share it with.
How to access GPT-3 with a Mac keyboard shortcut
It can do some trivial problems, but not others, and it can't consistently do real math (proving theorems), because it doesn't understand logic. It can only imitate it some of the time for trivial or often-presented proofs when the necessary steps have become embedded in its next-token-generation model.

It's still getting this wrong, for instance:

Prompt: You call heads/tails for 1000 coin tosses.
You know the coin being used is weighted so that it comes up heads 52% of the time.
Each correct coin toss prediction earns you $5.
What should your strategy be, for calling heads/tails, in order to maximize how much money you receive?

ChatGPT: To maximize your money, you should call heads 52% of the time and tails 48% of the time, as those are the probabilities of getting heads and tails, respectively. This will give you an expected payout of $5 * 0.52 = $2.60 per head and $5 * 0.48 = $2.40 per tail, which is the highest expected value given the information about the coin being weighted.

It's getting closer to being able to prove that the square root of 2 is irrational, but it still flubs a step.

Prompt: Prove that the square root of 2 is irrational.

ChatGPT: ... This means that p can be expressed as 2r for some integer r. Substituting this into the equation above gives us:

ChatGPT: 2q^2 = (2r)^2 = 4r^2

ChatGPT: Dividing both sides by 4 gives us:

ChatGPT: q^2 = r^2

ChatGPT: So q must also be even, which means that both p and q have a common factor of 2...

It failed basic algebraic manipulation, but keeps going with the right reasoning simply because that's what it's been trained on, not because it's reflecting on the equation it just came up with. That's not math. That's mimicry.

Even if it's seen something many times in training, its accuracy gets worse with longer trains of "thought", as expected because a language model like that has ADHD. It can't focus enough on one logical thread, and other "knowledge" leaks in. Ask it to derive the quadratic formula by completing the square, which requires a lot of steps with accurate algebraic manipulation. It goes through some irrelevant algebraic steps, sometimes not even getting the algebraic manipulation correct, and finally (sometimes, depending on how you ask) manufactures the correct answer out of thin air as the last step. I finally got it to answer correctly, by prompting it with the initial equation and that the first step is to divide both sides by a, but it still combined a few steps, not going methodically a single step at a time as prompted.
Figure 6 has examples (in the context of instruction generation). But note that those instructions are “nonsense,” in the sense that they’re guaranteed to either #UD at 15 bytes or well before then.
Do you assume politicians pushing Leave were doing so to be able to limit human rights? People like Daniel Hannan or Nigel Farage would probably oppose that. One of founders of Vote Leave Matthew Elliott founded Big Brother Watch https://en.wikipedia.org/wiki/Big_Brother_Watch

I think in this one, you aren't right. Prominent Vote Leave politicians are against state surveillance.

> The EU, being a free trade agreement with the unusual extra layer of some democratic

I think this shift has happened during M.Thatcher. Initially she was for the common market, but later she has learned about the political agenda that wasn't often in the interest of the UK. Honestly, it has started even before, I believe Enoch Powell will have older critical speeches on the same topic. It's nothing new in the British politics.

Which confirms:

> I would add a third pillar of the Brexit campaign to your two: "take back control"

Yes, absolutely. But not for the reason you say. Taking back control might really be based on the fact that many EU countries are way more left-leaning, financially irresponsible, poorer, etc. Taking back control equals decreasing influence of such countries on the reality of ordinary British citizen. But this is something that really goes back for many decades. It isn't something that would be suddenly used by surveillance-favouring people.

> EU, which is mostly white and Christian, got the flack from people who say they want a white Christian country.

People opposing such a quick change (out of racism, ignorance of benefits of immigration or pure conservatism) might see the EU as pro-immigration and pro-multiculturalism (which it openly is for a while now already). And again, leaving the EU might give people more powers to stop this from happening. The fact that it is hurting the UK a lot now is a different topic.
As a new(ish) parent, I'm astonished at how readily most parents hand off their kids over to YouTube/tablet/phone. I even saw a stroller the other day with a permanent mount for the phone.

I haven't banned YouTube (yet), but I have limited it almost completely due to concerns about the long-term effects of extended use from such an early age. Those concerns will only deepen as my son gets older - there's a lot of good content on YouTube but it's sitting under a mountain of mindless, click-bait, influencer drivel.
From what I understand, police officers in the US do not receive nearly the level of training that they receive in other countries. And much of the training they do receive is indeed about shooting.
relevant bits from the comment you're replying to

> They are both impacted by storage overhead
'Smart'-phones have become defacto pacifiers for teenagers and adults alike. Children are merely imitating adult behaviour.

If you don't want your kids pacified their entire lives, make sure you're not pacified yourself first.
> There might be several use cases, airplanes is one for sure, given the energy density per kg is too low in batteries vs. kerosene today. Pure hydrogen planes have big risks associated to them.

Is ethanol biofuel not an option? I imagine that actual production would be the limiting factor but it seems to me that should be a workable solution but would probably require significant retooling and redesigning of engines.
Quick succession. Due to the projectiles taking a while to arrive on target (especially for high-arcing trajectories) this gives you the effect of multiple projectiles arriving simultaneously on target: https://en.wikipedia.org/wiki/Artillery#Multiple_round_simul...

It also places some demands on fire control and loading to achieve the high fire rate; I'm not sure manually-loaded howitzers are capable of that in general (e.g. the German PzH 2000 automates everything from loading shells and propellant to firing).
>common sense

Also called the showstopper for true innovation ;)
It's weird how the anime Nausicaa, with it's focus on mushrooms and fungi etc. making the earth habitable, seems prescient.