skysight-inc/HackerNews huggingface dataset:
Yes, he's mocking the idea of teaching borrowing. He gives the way he thinks subtraction should be taught in the intro. It's a way that, as far as I can tell, hasn't been taught in America in over half a century. After the intro, he goes on to mock the concept of borrowing, which was (apparently) part of New Math. Then in the final verse he mocks the idea of teaching bases.

Here's a good animated version of the song that shows the different methods. You'll notice that the "silly" New Math method is the way that makes sense to Americans today, and the "simple" method preferred by Lehrer is very confusing for anyone who's not used to it:

https://www.youtube.com/watch?v=UIKGV2cTgqA

Here's more of the intro which makes it clear what's going on. My explanations in brackets:

> Some of you who have small children may have perhaps been put in the embarrassing position of being unable to do your child’s arithmetic homework because of the current revolution in mathematics teaching known as the “New Math”.

> So as a public service here tonight, I thought I would offer a brief lesson in the New Math. Tonight, we’re gonna cover subtraction.

[ New Math is confusing, and he's going to go over how confusing it is in a humorous way.]

> Consider the following subtraction problem, which I will put up here: 342 minus 173. Now, remember how we used to do that…

> Three from two is nine, carry the one, and if you’re under 35 or went to a private school you say seven from three is six but if you’re over 35 and went to a public school you say eight from four is six, and carry the one, and we have 169.

[This is how it was done before the confusing New Math, the "right" way to do it. "Three from two is nine, carry the one."]

> But in the new approach, as you know, the important thing is to understand what you’re doing rather than to get the right answer. Here’s how they do it now…

[The New Math approach is silly because it's so focused on trying to teach kids concepts that it leaves them unable to do basic arithmetic.]

After this comes the first verse, which is designed to make the idea of "borrowing" sound so overly complex that few people would be able to understand it.
However knowing saying such a thing would be problematic they would be looking for workarounds. Considering they did giver her directions and the end result was closer to ‘her’ than the voice accesses natural voice they didn’t need to ask for a specific impersonation for people to make the connection.

I’m thinking of a number, bigger, no smaller. Keep playing the game and the end result is arbitrarily close to the number you’re thinking of.

The search space for generic seductive female voice is huge and they happened to end up with one that objectively sounds like someone they tried to recruit. They can’t argue random chance at this point.
In that case the borders never moved and you can't say they only spill outward.
Nukes aren't meant to used in conventional war unless things go dire, cruise missiles are. Advanced munitions are bread and butter in peer war. USSR had doctorine for tactic nukes but it never got to that and it certainly effected US/EU esclation strategies even now.
I've recently started using REDMOND Re-Lyte Hydration Electrolyte Mix, and it has been working well for me. I know you can make your own electrolyte mix at home, but I find that the convenience makes it easier for me to adhere to some kind of hydration routine.
Been following Looking Glass for a few years now. When i first saw them, absolutely loved their products and now looking at this, wowza! I can't wait to see one of these in person.
Ismorgandoctrinelegalformyitnetwork.com is not registered, but it might be after hearing of a ban.
I just found a firefox plugin which automatically redirects x.com links to nitter:

https://addons.mozilla.org/en-US/firefox/addon/nitter/
>$729

oof. would pay maybe $300 for this, better luck next time
Is there some country I'm unaware of where the poor don't underperform on every metric relative to the wealthy?

Money buys education, security/safety, health, access to social networks, and everything else, so why wouldn't the poor underperform?

I would think that the world is pretty uniform in that wealth solves a great deal of problems and poverty solves few.
That's a great question. I think regimes like that could offer better trade-offs of memory/latency/retrieval performance, although I don't know what they are right now. It also assumes that going to the larger dimensions can preserve more of the full-precision performance which is still TBD. The other thing is how the binary embeddings play with ANN algorithms like HNSW (i.e. recall). With hamming distance the space of similarity scores is quite limited.
> Additionally how does the user align the frame year by year? Look up the month on a normal calendar first?

In practice, probably yes.

In theory, when it's December 31, you can relatively easily figure out what day of the week tomorrow is going to be.
Node.js Secure Coding – Liran Tal [video]
Do you know of any (hand-wavy is ok) intuitive explanation for why this machine will halt, beyond the inductive proof's given in your article? Just watching the machine run, I would guess at some kind of infinite behavior. It is remarkable that this is not the case.
US doesn't remotely have the fires to take out PRC MIC industry, they don't even have enough to scratch PRC coastal military installations, we're talking about potentially 1,000,000s of aim points to try to crack a lot of concrete, with a lot of ability to eat attrition / regenerate. Something US projection is not equipped to deal with especially with crippled delivery rates at standoff range. PRC has entire chain of advanced indigenous tooling inudstry. They also have massive capital stock. PRC capital stock have magnitude more installed robots than US has smart munitions.

For reference 3 week Iraqi air campaign had favourable land basing, 5 carriers, doing uncontested runs. Napkin math extrapolate to PRC size and you're looking at 5 years if US can sustain unsustainable tempo and PRC barely shoots back. Double that if US has to operate at standoff range where most of sorties goes to tanking/defensive air. The scale of PRC is massive.

PRC MIC industry is in the EAST far inland, specifically to account for US standoff range, i.e. rapid dragon with even JASSER would have to launch over mainland soil to hit. Can do even more extended AGM156Bs with 1900km range, but still has to be launched within PRC A2D2 1IC bubble, and they weight 5x more, i.e. can only fit lol10 in C17... all of a sudden you have a vunerable platform + missiles worth 400-500m trying to drop ordinances in area PL17 is designed to defeat. This is without mentioning PRC likely has / at least demonstrated to have capability to move MIC underground, see third front.

PRC has enough domestic oil production 4+ million barrels to run military AND industry with transport rationing.

But really what you're missing is if US starts hitting mainland targets, PRC will hit CONUS targets - they're pursuing conventional global strike. Their rocketforce platforms are increasingly dual use for reason. Reality is US is a net oil exporter in the same way Saudi is - i.e. it doesn't matter having resource autarky because extractive infra can be hit by Houthi drones. Era Fortress America is ending/over. PRC hitting 300 refineries and LNG plants cripples US homefront as much as much US trying to blockade PRC energy. And if we get to that point, then it's a matter of who has more distributed energy infra (i.e. renewables), and capital stock, excess construction capacity to survive the attrition game.
As another lover of Kagi, Kagi also has bangs. Apparently they also support all DDG bangs.

https://help.kagi.com/kagi/features/bangs.html
the USA is VERY competent at deploying to and fighting wars.

America loves fighting so much it's had a civil war and fought a few of it's closest allies at various times.

China is a novice at fighting. Whilst they may have lots of ships, having really good people to fight in a complex battlespace is different.
"Rumors have recently surfaced…"
Microsoft is fighting a losing battle. When the ai starts using software, how are they going to keep track of what it’s doing ?
Nice, as long as it's printed on whiteboard material you can scribble out the surplus days if there are any, write on the month, and annotate with birthdays, etc at the start of each month! Where do I buy?
ChatGPT Voice Assistant (Open Source)
Developed an open source voice assistant that integrates OpenAI's Whisper, Chat Completion and Voice Generation APIs to provide an assistant experience.

Some potential extensions could include integrating into custom hardware or adding function calling to expand the default capabilities.
Not that long ago, ruby was 'the language of the week' over here, and all the praise eg. rust gets now (or go before that), was given to ruby.... ruby was the language that will make everything easy and fast.

Now it's rust... who knows what will be tomorrow.

Meanwhile, the software that was originally written in C/C++ was 'yesteryear' rewritten in ruby, then rewritten in go, now in rust, tomorrow in whoknowswhat, and in the meantime, everyone still uses the C/C++ variant.
https://archive.vn/4yfrc
The bottom line, it's too expensive to have kids in most industrialized countries. We've gotten used to the 2 income lifestyle which makes it hard to have kids and have 2 parents working at the same time. A couple may be able to deal with 2 while having both parents work but not more kids than that. We can also add that it's very expensive to buy a house now so apartments and such are becoming the norm in large cities which adds to the difficulties of having multiple children. Additionally, birth control has to have an impact on the population growth. There are way fewer accidental pregnancies than ever before. It's now easier than ever to plan for the number of kids a couple wants. So it's 1, 2 maybe 3 but it is less likely to be 5,6,7. Lastly, society as a whole puts shade on the idea of having a large family. I've seen it often. A couple with a large number of kids is often ridiculed or shamed for being irresponsible for having too many kids. If we want to get to a 2+ replacement average, large families are a must but large families are a thing of the past. Society as a whole will need to radically change to bring them back.
I had a failure in a bosch dish washer which probably would have been control board replacement and $$$$ if I had it fixed. But I happened to look up the issue on the internet and learned that it was a common problem - a bad solder connection on a particular pin on a relay on the control board.

Re-soldered it, and it has been fine for a couple of years.
Why would they want a seductive sexy voice like SJ anyway. That’s just distracting and not conducive to the AI product being helpful or increasing productivity.
> What's the power consumption of this feature

Good question.
This is one of the most eloquent explanations I’ve read. Thank you

Do you have any links to online resources that might go slightly more into the math and the free parameters issue? Without getting too technical with the math too quickly?
I like how there's a persistent effort to make excuses on behalf of african americans. They're not being held back by history, they're being held back by chronically low expectations.

Pluck an average, random nobody from the 3rd world and drop them off in the USA. After a decade they'll be driving a Mercedes to inspect one of their several rental properties.
Why though? China's building drone carriers instead. Taking down aircraft carriers is of course no simple matter, but hardly infeasible for a super power. The problem with capital ships is that they're just as expensive to replace as they are to build. Also, blowing one up eliminates 9% of the US' AC fleet at a stroke, which would be a big psychological blow. I don't think China is as emotionally invested in its aircraft carriers and built them primarily to show that they could. That said, in any military conflict with China an opponent would be well advised to target their nearest aircraft carrier as early and powerfully as possible for the humiliation factor.
Might have some crazy SEO implications for everyone. And is a tweet now called a "X gonna give it to you"?
> Honestly, what was Google thinking? There's nobody in Google product team familiar enough with Reddit or how much of a cesspool is it?

All the AI companies are racing to pay Reddit for access to its cesspit.
Still just a tablet... Damn, been waiting for a viable e-paper laptop monitor for a decade now
I think the US underestimated the capacity of the Chinese to grow this much this fast. To give you an example, India in 1960 had double the gdp per capita of that of China. China now has x5 the per capita of India. That's 10 times more growth than India.
Not everyone gets those credits. If you’re not vc-backed or ai it used to be harder to get decent credits. Also the credits expire after 1-2 years and then what?
With binary representations you still get 2^D possible configurations so its entirely possible from a representation perspective. The main issue (I think at least) is around determining the similarity. Hamming distance gives an output space of D possible scores. As mentioned in the article, going to 0/1 with cosine gives better granularity as it now penalizes embeddings if they have differing amounts of positive elements in the embedding (i.e. living on different hyper-spheres). It is probably well suited to retrieval where there is a 1:1 correspondence for query-document but if the degeneracy of queries is large then there could be issues discriminating between similar documents. Regimes of binary and (small) dense embeddings could be quite good. I expect a lot more innovation in this space.
> Just like every other "innovation" in mathematics education since, up to and including Common Core

Have you actually looked into it? I was skeptical too, but then I saw they were trying to teach kids the way I do math. For example, what's 4001 - 3989. The old way would be to borrow and carry three times. But change question to 1+4000-3990+1 and the answer is perfectly simple. Kids I went to school with would literally write out 43-39 with 13-9 and 3-3. Maybe they're just dumb, but you don't have to be a whiz to use these techniques if someone shows you them.

I hope they're still doing some times table memorization.
Yeah it's definitely one of the better cases here, as with all the devs on this list I just hope he succeeds and can make more games.
Financialization is eating the rest of the economy. That is the beast that must be slain if we wish to survive. Since that is not going to happen I think it is wise to instead prepare for the worst.
Did you use gemini or chatgpt to generate this comment.
I’ve seen this first hand. You wind up with “managers” that have 1 or 2 reports. What are they going all day? Going to meetings, it seems.
Released last week, but some fixes are in the queue, https://downloads.yoctoproject.org/releases/yocto/yocto-5.0/...
The power of programming + open source: tweaking my favorite apps to be even better:

https://hw.leftium.com (https://hackerweb.app + https://hckrnews.com + α)
For some things (side dock/toolbar) a rationale would help.

Advice on casks in Homebrew and things which unpack an app. Why not brew? Why by hand?

Pip is a nightmare but so are all the virtualise methods

P12 and SSH identity and key chains.

Launchctl sometimes. Xquartz is a decision point.

Little snitch asap

Avoiding things like Cisco VPN and jamf may mean changing employer.
This is bigger than Will Smith turning the role of Neo for the Matrix movie.
Bullshitting can rapidly increase your revenue
I created a shortcut to toggle grayscale for iOS. Try it out!

https://www.icloud.com/shortcuts/371d5ced520d40e984d626ae304...
Anti-Features
Still worth the re-read for me, and I thank you for it
Microsoft's new Windows chief: future of the OS, Surface, and those annoying ads
There's a reason LRIP for rapid dragon is molasses because planners recognize trying to move C130s and C17s in theatre is ridiculous. They all have to operate within 1IC to even be within standoff range to hit PRC MIC, well within operating ranges of J20 with PL17s specifically designed to pick off AWACs and other large targets like tankers... and rapid dragon. Like AGM158Bs with 1900km range (vs 1500km JASSMER for rapid dragon) is being made at... 5 per month. Until they pump that out to 100-1000s per month, it's token capability that's not being taken seriously. Not to mention US doesn't remotely have access to enough airfields in region or tanking capacity to deploy that much converted transport bomb trucks. US defense logistics is nice, but it pales to PRC mainland logistics designed to defeat the relative trickle of US standoff attacks airforce can actually deliver with basing US has access to, that itself is being targetted so US can't deliver any without hilariously inefficient/suboptimal tanking logistics from beyond 2 IC to the point it's likely not viable. Hence zerg rush to 100 B21 fleet.

US fighting standoff war also throws allies / partners in region with security guarantee to the dogs. PRC going to start hitting US military infra in JP/SKR/PH to drag US into fighting in 1IC.
The AI "safety movement" had no safety anyway, only hysteria.
I think making a distinction between actual harms from AI such as their use in the medical and insurance industry, their biases and the sci-fi risks peddled by the EA/ longtermism cult. I'm fair more worried about these systems being too dump and causing harm than some intelligence explosion that's going to happen any second now. Just look at all the posts about Gemini telling people to eat rocks today.
I guess you should delete the last days of each month according to its length,
Or - have 4 "calendars" one for each possible month length:
28, 29, 30, 31
What we have is more corporatism than capitalism - the markets are busy working with governments and setting up rackets to extract monopolistic rents. I don't have much experience with China but from my vantage point it does appear that there is quite a lot of competition between companies that does not seem to exist in the US to the same extent.
4000 70lb boats?
Data Frames for Idris 2
npm, docker, kubectl honestly, you are splitting hairs. I plan to run a process for hours, I think 40 ms delays are something I can live with.

git- I take more time to write the commit message to worry about 40 ms.

I mean sure optimise code to run it fast. But its not something that a human notices.
Of course they'll have stockpiles, they didn't build all these factories to sit idle and have capex depreciate pointlessly, just like they'll have stockpiles for prompt global strike to hit US plants/energy infra on CONUS. Then what? This isn't the 50s-90s anymore, advanced rocketry ended Fortress America, PRC developing conventional strike to hit CONUS strategic targets precisely to deter mainland strikes. This is also ignoring US stockpiles, i.e. 4000 TLAMs... PRC installed ~300k industrial robots LAST YEAR. They have essentially accumulated near bottomless amount of industrial capex that can be redeployed/reconstituted to keep industrial base running, more than the US military was designed / currently designed to meaningfully degrade. There's a reason US military doctorine when from fighting 2 major wars when all potential US adversaries were medium powers, to one major war + hold another war in place, to PRC now a major pacing peer power and US might not even be able to fight major IndoPac war. PRC isn't a 4000 tomahawk conflict, it's a 400,000 one if not more. PRC recognizes regional war with US+CO is at least a 1000 missile per day problem.
Third is in sea trial and fourth under construction. Also, China doesn't pretend to be global police, so it needs them only in South China sea, while US need to be present in Middle East, Europe and USA also.
Every link to homedepot.com calls you a racial slur?
SF still dominates global startup ecosystems
Going to need a better source than Moneyball Lewis on this one. He is alleging massive breaches in diplomatic protocol with zero sourcing.
"Don't be nervous, don't be flustered, don't be scared... be prepared!"

There's a recording of "Tomfoolery" performance on iTunes!
It’s not harsh when it’s advice that can literally destroy lives. People like me, who allowed such nonsense to prevent them seeking an actually effective and proven treatment for years whilst I flailed and failed to exercise/meditate/productivity/diet it away. My failure to seek real treatment due to listening to such shit for a long time robbed me of years of productivity, capability, time and outcomes that I’ll never get back.

It’s like telling a diabetic to not take the insulin crutch. “Just eat a salad bro you don’t need insulin pffft.”

People with ADHD should do all those other things as well, in fact most people should. However it’s not going to adequately treat many more, who can be treated, provably and effectively with a real medical treatment. A treatment that has again and again proven to be an effective, gold class standard of treatment and outcomes.

Telling people to break bad habits is one thing, convincing people with real medical problems to explicitly avoid proven frontline treatment for which we know can improve/prolong and save lives is an entirely different thing.
I live about a thousand feet above you.

I notice very few effects of "under-drinking". So yeah, not everyone has the same needs.

On the flip side, I was working outdoors in the sun all day today, and probably ended up drinking about 2 gallons of water without needing to pee much. So not everyone has the same needs even on a day to day basis.
Since IIRC Shortcuts is actually pretty clunky, it's probably easier to use Control Center to toggle grayscale, which is possible after you add the control named "accessibility shortcuts" using {settings > control center}. That is what I use.

(And on Gnome, I use and recommend the following: https://extensions.gnome.org/extension/4012/gnome-bedtime/)
So he never really said that about Harambe. Sad.
8 glasses of water is pretty close to the suggested amount. Adequate average daily intake is 15.5 cups for men, and 11.5 cups for women. The saying doesn't say how large is a glass, but 16 cups is 8 16oz glasses, or with 20% from food, 8 12oz glasses.
That’s 3,500 PUT and 5,500 GET requests per second per PREFIX.

S3 does a bad job of describing what a prefix is, but for most[1] practical intents you can consider the entire key of an object the prefix.

[1] The actual behaviour treats prefixes like partitions, but it’s completely automated and as long as you don’t expect an instant scale up to very large request rates, S3’s performance is basically unlimited. There are no per account hard or soft limits that need increasing or limit scalability.
I think not getting hung up on a method to solving a problem is a great message to remember. You should be open to switch to a different method if it solves the problem better.

Type safety is just one such method. The actual problem is making code easier to maintain for humans. Type safety is not always the best means to that end. Our brains perceive information in a complicated way. Sometimes too much information can overwhelm us and obfuscate something simple. Sometimes too much detail about each value can make us lose the overall flow of the program.

My advice: (aside from reading other people's code) try to read what you wrote, and have others read what you wrote in code reviews. Do you and your colleagues understand it? Make it as brief and simple as possible without losing that understanding. Address any "how" questions by rewriting the code clearer, "what" questions by improving naming, and "why" questions by adding comments. These are your code's 3 primary objectives: explaining how, what, and why to your colleagues. I once wrote a post about it.[1]

[1]: https://max.engineer/maintainable-code