skysight-inc/HackerNews huggingface dataset:
I'm curious about this too. I would expect any RISC architecture to gain relatively little from a loop buffer. The point of RISC is that instruction fetch/decode is substantially easier, if not trivial.
Veritasium is on a roll as of late. Putting out amazing videos at fast pace.
At this point in time, why wouldn't we give at least benefit of the doubt to Jeff Dean immediately? His track record is second to none, and he's still going strong. Has something happened that cast a shadow on him? Sometimes it is the messenger that brings in the weight.
on computers you can have negative zeros
Not "exactly" how we learn. Humans learn through a combination of reinforcement learning (which is costly/risky/painful) and through observation of existing patterns and norms.

Better observation-based learning is a less expensive way of improving existing corpus-based approaches than trial-and-error and participating in an environment.
MSU researcher: New concrete formula could be key to 'fixing the damn roads'
Staff Engineer is a bullshit title created because engineers do not want to be managers and there is no other way to promote them. If companies had a flat structure like Valve, such BS would not be around.
Thank you for the thorough explanation
Video games don't charm me like they used to. Somewhere around college I logged into IRC and realized I like online socializing more than I like gaming.

Single player games are lonely. Multiplayer games are mostly competitive. Cooperative multiplayer is just socializing with busy-work added. And they usually demand an entire screen to themselves, when I would rather have a few windows open at once.
This is an interesting writeup, but I feel like it's missing a description of the cluster and the workload that's running on it.

How many nodes are there, how much traffic does it receive, what are the uptime and latency requirements?

And what's the absolute cost savings? Saving 75% of $100K/mo is very different from saving 75% of $100/mo.
Is there a way to not open a PWA when I click links on Android?

I really don't want to be taken away from Chrome, and sent to a much less powerful & capable app when I click a link!
I just do the puzzles until it stops being fun. For me that's usually around day 14.
Both require vast amounts of money. Exploring caves is a lot more affordable (but still not cheap).
Could it be that the current political situation in Myanmar isn’t the most stable?
depending on the prices, maybe a valid strategy would be to have servers at hetzner and then tunnel ingress/egress somewhere more prominent. Maybe adding the network traffic to the calculation still makes financial sense?
This video was very well done, an easy subscribe, looking forward to what the creator does next.
I debated this with my boss at my first programming job (this was 20+ years ago). He thought 1/0 should be 0 rather than an error because "that's what people expect". My argument was from mathematical definitions (the argument which this blog post picks apart).

In retrospect, I see his point better - practical use trumps theory in most language design decisions.

I haven't changed my mind but the reason has shifted more toward because "it's what a larger set of people expect in more situations" rather than mathematical purity.
Cameras could be built using a single board computer (like the Raspberry Pi Zero, but there are better and cheaper options) plus a USB camera module, and the necessary firmware that could well be just a simple script invoking ffmpeg or similar streaming software; all Open Source.

For example:

https://www.friendlyelec.com/index.php?route=product/product...

https://www.friendlyelec.com/index.php?route=product/product...

https://www.armbian.com/nanopi-duo-2/

Then all video can be collected by applications like Shinobi, Zoneminder, Frigate, etc.

https://zoneminder.com/

https://moeiscool.github.io/Shinobi/

https://frigate.video/

The hardest part would probably be making an enclosure that is solid enough to withstand being exposed to sun, rain, temperature deltas etc. and remain sealed to protect the electronics.
>On the one hand, LLMs demonstrate a general ability to solve problems. On the other hand, they show surprising reasoning gaps when compared to humans, casting doubt on the robustness of their generalisation strategies

surprised this gets voted up given the surprising amount of users on HN who think LLMs can't reason at all and that the only way to characterize an LLM is through the lens of a next token predictor. Last time I was talking about LLM intelligence someone rudely told me to read up on how LLMs work and that we already know exactly how they work and they're just token predictors.
Not sure if it can be found online, but there is a hand position trick that allows left-handed people to "drag" the pencil instead of pushing which makes it much closer to right-handed motions.

I am left-handed and my handwriting is terrible, but my partner is also left-handed and her handwriting is very nice but she position her hands as described above to "pull", so clearly it can be done if you apply yourself.

She also hand writes a lot more while I am almost exclusively typing these days so practice definitely helps.
Weight training is the single best thing I can do for both my mental and physical health. Even more important than eating healthy.

I've never had a healthcare worker recommend it to me. Why not?

We should teach it in public schools.
It's even worse than that. The other issue is what happens when you've got a negative number as the numerator (number on top). Then the smaller the denominator (number on bottom) the more negative the result. -10/10 = -1. -10/5 = -2. -10/2 = -20. So if you divide by zero, it's obviously negative infinity! And it's positive infinity! At the same time.
That's awesome. We do the exact same thing for prize eligibility on my work leaderboard. The whole point is for it to be fun and challenging. No need to grind to the end unless you want to.
Note 1/0 (or x/0 with x>0) isn't undefined or an exception in 754 FP math, it's +infinity. It's 0/0 that's the problem. Defining 1/0=0 isn't really helpful imho.
You can use Firefox: "Copy as cUrl" (https://superuser.com/a/1382425)
I'd probably change that in your readme then, this is usually called something like encrypted in-flight or transport encryption.

End-to-end encryption is a pretty specific term and clearly not what is done here. Even if you use protocols designed for end-to-end encryption that does not matter if the protocols talk with an intermediary (the hub) that decrypts the traffic.

For example, if signal still used the signal protocol but decrypted the messages on their server that would not be acceptable to be called end-to-end encryption.
Every highly experienced developer knows the importance of type-safety. The existence of large numbers of experienced Python developers in the world doesn't disprove that, because it's a statement about their knowledge, not their actions.

Python developers simply tolerate the lack of type-safety only because it's a trade-off to get other things the language has to offer. I agree there are trade-off decisions being made.
> Instead of video, what if our bodies and property emitted points clouds all the time

If instead of practical and widely available technologies we are discussing scifi concepts which have no realistic prospect of materialising then why not wish for a force field impervious to trucks? Or even better, lets skip the whole middleman and wish for point to point teleportation for all cargo eliminating all dangers and externalities of trucks.
If you accept such things exist, my point is already made.

∃, ∎
Which of these monitors is best for programming
I never had good seniors/mentors, but I do hope I manage to be one occasionally.

It wasn't until I started going to conferences, Lisp/Python/Perl etc, that I actually met people with the same level of brain damage or worse than me.

Both paths lead to the same place, having access to mentors gets you there faster I guess.
The arguments around limits are addressed towards the end (under "Update 8/12/2018"):

> > If 0/0 = 0 then lim_(x -> 0) sin(x) / x = sin(0) / 0 = 0, but by L’Hospitals’ Rule lim_(x -> 0) sin(x) / x = lim_(x -> 0) cos(x) / 1 = 1. So we have 0 = 1.

> This was a really clever one. The issue is that the counterargument assumes that if the limit exists and f(0) is defined, then lim_(x -> 0) f(x) = f(0). This isn’t always true: take a continuous function and add a point discontinuity. The limit of sin(x) / x is not sin(0) / 0, because sin(x) / x is discontinuous at 0. For the unextended division it’s because sin(0) / 0 is undefined, while for our extended division it’s a point discontinuity. Funnily enough if we instead picked x/0 = 1 then sin(x) / x would be continuous everywhere.

Similar examples can be constructed for any regular function which is discontinuous (e.g. Heaviside step function).
I am from Myanmar and I am sure we didn't have technology to do that. We only have like 3 hrs a day of power and 24/7 full on war festival in WJ40k style factions waging war against the Chaos lord Min Aung Hlaing.
We don't have infrastructure or technology, our technology now falling back to WW1 era
Because writing by hand is slower for most people, and makes editing difficult?
Just deployed a new feature, audio can also be shared now! But it's only supported in Chrome and Edge, and users must select the option to share a tab. It won't work for sharing a window or whole screen.
Creator/maintainer of Nodezator here!

You are completely right. This very week someone on Discord presented a relatively simple script he came up (with help from AI) that could do the job relatively well.

As the creator/maintainer of the app, I always appreciate this kind of feedback.

In this specific case, as I said to the person that presented the script, I did think about the possibility in the past, but didn't put time into it because at the time there were a few corner cases that came to mind.

Also, as someone with insight into the many different parts that comprise Nodezator, it is not enough that a existing/pointed solution works, I must also think about ways in which these solutions integrate with the rest of the app, in order for everything to play well together.

For instance, that is not the only improvement I'm planning for the node definitions. I have several ideas, both mine or shared by other users, for improving the node definitions. So I have to plan everything carefully before deciding on anything to avoid redoing things.

Again, thank you for pointing that out though!
Building the Ultimate Pi Kubernetes Cluster: A Journey into Cloud Scalability
No evidence for inequity aversion in non-human animals: a meta-analysis
Roman numerals are obviously inferior, not a fair comparison at all.
Silent but Deadly
The "Clockwise/Spiral Rule" (1994)
I'm left handed and had terrible penmanship as a child and all through undergrad. A few things have really helped me.
1. Get pens that write with low friction. As a lefty you're 'pushing' the pen instead of pulling it, and tools with higher friction cause the pen to tilt up in your hand. I found writing with gel pens, a nice fountain pen, or now I use 0.2/0.25 inking pens as my main 'daily driver'.
2. Focus on a few 'problem letters' and get them well sorted. I always struggled with things like 'u' and 'v', '5' and 's', etc. In college I had to make these work, so I spent a lot of time developing a specific style for all of the problem symbols and got *really* good at them.
3. Print vs cursive. I know in school they make you learn cursive, but a lot of the connections between letters decrease readability, and increase complexity for writing them. I no long write in pure cursive, but I have a sort of hybrid print/cursive script. I write many letters in their cursive form as they are faster and flow better, but I never connect letters together. It is a good compromise between speed and readability.
4. Practice, practice, practice. I know this is probably self evident, but it really does take practice. Practice writing letters slowly. It's like martial arts, you go slow and get the movement perfect. Then do it over and over again. That builds the muscle memory better.
Liquidity in search of liquidity.
Seems not right for the comments here to be empty but I don't have much to say other than this looks incredibly nice. Hope I have an excuse to use it at some point.

Thanks for sharing!
This sort of convenient semi-arbitrary extension of a partial function is ubiquitous in Lean 4 mathlib, the most active mathematics formalization project today. It turns out that the most convenient way to do informal math and formal math differ in this aspect.
The Great Grocery Squeeze
It also depends on when you get them. Here in the PNW, Honeycrisp apples in the fall are delicious because they're grown locally and not stored long. Just eat it as seasonal fruit and it lives up to its promise.
Yeah, or air.

Besides, there's plenty more to science and engineering than just math.
i recently read an article about running k8s on the oracle free tier and was looking to try it. i'm curious, are there any specific pain points that are making you think of switching?
Learn to write upside down, then turn the paper upside down and write from right to left.
Reviving Ancient Egypt in the Renaissance Hieroglyph
I really wanted Jolla to go big in the secure smartphone space. As it stands I can have absolutely 0 faith in the technology I use and it makes me feel like we are being treated as a slaves.
Yeah we just have any linter failures fail the CI build, but it's left up to submitters to decide how to resolve the violations.
That is bad news for oil producing countries like Saudi Arabia or Russia, but good news for the rest of the world.

It seems our planet will be saved by China and not by the USA.
No. 1/x^2 is undefined at 0 but has the same limit behavior, because limit behavior is not a function from "pairs of (functions from R to R, R)" to R

Infinity is not a real number.
Is it really expensive...? I currently pay for the $3/mo 200 GB plan and share it with my partner. 18 years of photos takes up about 100 GB and the rest of it is shared across Drive, Gmail, device backups, etc.

It's only $10/mo for 2 TB of storage, or less if you pay annually. Sure, that's a bit more expensive than buying cheap cloud storage, but you know how much I've had to support my non-techie GF over the years? Pretty much zero. That peace of mind and "just works" is easily worth the few dollars.

Now, if you have many many terabytes of files, that's a different story... maybe put YOUR stuff in cold storage (in the cloud I mean) and just keep the shared photos and such in Photos?
What frustrates me with this discussion and the TFA is how do I disable it? I tried this:

(setq-default flycheck-disabled-checkers '(emacs-lisp emacs-lisp-checkdoc))

I still see "FlyC-" in the mode line. Does that mean it's off?? I can't find anything that tells me.
It's lucky that the founder decided to host it at LA. It could have been gone at war if it's today, we are at full scale war now.
Or the junta Chief would had traded to get some more MIGs.
Ask HN: Can you trust the Absolute Persistence bios technology?
Is this technology to be trusted or is it a backdoor for spying ?
Negative zero is equal to zero, so it's not really a distinct number, just another representation of the same value.
I’m not convinced given how many makefiles I see in Go projects.
Fitting, given that iirc one of the problems was to implement a hashtable!
dont you find all the string parsing and manipulation to be quite painful in Swift? I tried to do AoC in Swift before and that put me off a lot. I liked doing little functional one liners but a week from now the parsing burden will be too high.
I only superficially paid attention to this news but didn't Yotta end up going from "bank with sweepstakes" to "bank with a casino" quite quickly?
Yeah, but for many things, I don't need it. Do I need a secure word processors? (I mean, yes, in some environments I need a word processor that can operate on classified documents and be guaranteed to not make any copies anywhere else, or make any network connections, or leak in any other way. For most of my life, though, I just need a regular word processor.)

Which brings me back to my point. If I have to get a fully, 100% guaranteed secure (and also crash-proof) word processor, I'm going to be waiting a long time, and it's going to be very expensive. Meanwhile, I've got stuff to write today, and my budget isn't any too fat as it is.

Sometimes fully secure (or man-rated, or 9 nines, or fully validated, or whatever) software is what is needed. Much of the time, though, it's a better engineering trade-off to not go that far.
> it observes

Observe implies sentience that, without question, a neural net simply does not possess. "It" certainly 'records', or more specifically it 'maps', but there is no observer in sight (npi).

> mimic

LLM's do not mimic. The magic is mathematical and happening in the high dimensional space. If there is intrinsic underlying pattern and semantic affinities between process X (used in training) and process Y (used in application), it is very likely that both share proximity, possibly form, in some dimensions of the high dimensional model.
Content Jumping (and How to Avoid It)
I can't speak for other people; I can only speak for myself. I was an early adopter of React (around 0.12) and wasn't particularly interested in, or technical enough, to understand the "cool" things. I wasn't swayed by "hot reloading" or "virtual dom diffing" -- I didn't have a build setup that could hot reload, and I also did not even understand what the virtual dom was. But when I looked at its code samples, React answered my three basic concerns very clearly, in an obvious way:

1. Component based architecture

2. The ability to express view as a pure function of state

3. The ability to express HTML and code together in a neat and ergonomic way

This is what I mean by obvious -- all experienced frontend engineers I knew at the time immediately got it, they got that React nailed these three things, and why they were important. Surprisingly, even new frameworks don't always lead with these three principles, which makes me less likely to believe that they resolve the particular concerns that I find of most importance.
Hey now dimwits, it's not like I'm forcing anyone, just sharing my experience.
Thanks. Agreed, that could have been a good point to mention that Laplace transforms are more or less the same as Heaviside’s method. As I read it, the article leaves the opposite impression instead.
Connecting custom domains to your SaaS app
there bieng a conspicuos problem for foriegn powers getting good intel on home grown turnips, it is simpler to subsidise
the production of spy tractors
the only question is wether to ban them outright, or tariff the hell out of them first
spoken eerily similar to how chatgpt would put it :) https://chatgpt.com/share/674cd11d-a30c-8005-90a3-023d0c9c18...
It's an indicator to the amount of time one has spent on coping and accepting the inconvenient truth about their past hobbies that they fervently lie to themselves and others about.

It's not a mystery to anybody else why they immediately switch interests after finally reaching stability to 'do the thing they've always wanted to have time to do' and glorified multiple years of their adolescence engaging in: they aren't interested in it as much anymore, or were never actually that interested in it. It's weird that they'll always be the last to figure it out.
Assuming you already opened it in a web browser, why not right click the page and choose "Save As"?
Reusing symbols like +, *, or / to define operations that aren't the + or the / you're used to is pretty common in math. It's just notation.

At the end of the day, the / that we have in programming has the same problem as this article's /, almost all programming languages will return 5/2 = 2 when dividing integers, even though 2 * 2 is not 5! Division is not defined for all integers, but it's just convenient to extend it when programming.

So if some languages want to define 1/0 = 0, we really shouldn't be surprised that 0*0 is not 1, we already had the (a/b)*b != a problem all along!
Is there support for date ranges? e.g. 2024-12-25 - 2025-01-06 ?
Note that these aren't typical "mate in N" or tactics problems. They're all weird, interesting chess-related puzzles like "find a way to construct this position in n moves" or "find a way to mate with this particular piece, both colours are trying to achieve this".
two years ago, this post got almost 400 points! https://news.ycombinator.com/item?id=31810876
A middle ground is just to jot down a few words when something is unclear, just enough to let you know what you need to go back and review.

Not all professors want to take questions during lecture, it works fine in small classes but it can be quite disruptive in a large lecture class when you have a sylabus to stick to in a fixed number of lecture meetings.
> Zero is not a "small" number. Zero is the zero number.

What do you mean by this? Zero is certainly a zero number, but it seems that it might also be a small number simultaneously.
This year I'm going to try to do this in Haskell.
I do so love my perfectly adequate* Jura automatic espresso machine: https://us.jura.com/en/homeproducts/machines

Push a button, a shot comes out, I add some ice and oatmilk for a nice iced latte every morning. Sometimes I like an iced americano too (watered-down espresso with ice cubes). It's the kind of thing that makes coffee snobs go "yeeeack!", but I go "mmmm... the sweet taste of mediocrity."

*By "perfectly adequate", I mean this: https://news.ycombinator.com/item?id=40292958
Let me take out my dictionary to understand your comment lol
Substitution Tilings
https://news.ycombinator.com/item?id=42288458

Patrick boyle video thats got some fun snippets from this interview
Detecting DuckDB Requests in Your Webapp to Route Them to Remote DBs
That sounds interesting, but I'm a layman and don't know anything about it. Can you provide a link?

I was able to find https://arxiv.org/abs/2408.10914, but I don't have the context to know whether it's the paper you're talking about.
How Russian hypersonic missiles work [pdf]
I am not familiar with any "magical other undefined Zero". Please familiarize me :-)

What is your, uh, definition of this undefined* number you are familiar with?
Dame Judi Dench reveals pet parrot calls her by rude nickname
It's the second example in "Basic Syntax" on the right.
It seems obvious to me that LLMs wouldn't be able to find examples of every single problem posed to them in training data. There wouldn't be enough examples for the factual look up needed in an information retrieval style search. I can believe that they're doing some form of extrapolation to create novel solutions to posed problems.

It's interesting that this paper doesn't contradict the conclusions of the Apple LLM paper[0], where prompts were corrupted to force the LLM into making errors. I can also believe that LLMs can only make small deviations from existing example solutions in creation of these novel solutions.

I hate that we're using the term "reasoning" for this solution generation process. It's a term coined by LLM companies to evoke an almost emotional response on how we talk about this technology. However, it does appear that we are capable of instructing machines to follow a series of steps using natural language, with some degree of ambiguity. That in of itself is a huge stride forward.

[0] https://machinelearning.apple.com/research/gsm-symbolic
Nah, the String type is fine as far as basic functionality goes, I like adding my own convenience stuff in extensions.

The language has been moving pretty fast though, I have a feeling a lot of features I find useful are relatively new.