skysight-inc/HackerNews huggingface dataset:
I was not aware of this (2015) work -- very nice!

A couple of pull-quotes from the paper to summarize:

Much work has been done on trying to improve the accuracy of summation. Some methods aim to somewhat improve accuracy at little computational cost, but do not guarantee that the result is the correctly rounded exact sum.

Many methods have been developed that instead compute the exact sum of a set of floating-point values, and then correctly round this exact sum to the closest floating-point value. This obviously would be preferable to any non-exact method, if the exact computation could be done sufficiently quickly

Exact summation methods fall into two classes — those implemented using standard floating point arithmetic operations available in hardware on most current processors, such as the methods of Zhu and Hayes (2010), and those that instead perform the summation with integer arithmetic, using a “superaccumulator”.

I present two new methods for exactly summing a set of floating-point numbers, and then correctly rounding to the nearest floating-point number. ... One method uses a “small” superaccumulator with sixty-seven 64-bit chunks, each with 32-bit overlap with the next chunk, allowing carry propagation to be done infrequently. The small superaccumulator is used alone when summing a small number of terms. For big summations, a “large” superaccumulator is used as well. It consists of 4096 64-bit chunks, one for every possible combination of exponent bits and sign bit, plus counts of when each chunk needs to be transferred to the small superaccumulator.

On modern 64-bit processors, exactly summing a large array using this combination of large and small superaccumulators takes less than twice the time of simple, inexact, ordered summation, with a serial implementation
> we can even bring the ISS back to earth?

That would be one hell of a museum
Use the delete key. (My apologies for the snark, but I'm kinda serious, don't send those type of review comments at all).

If it's fine for now, it's fine. If it's not fine - then speak up.

If you do have such concerns, "fine for now" - that is something for an offline conversation - outside of the context of a CR. Which is also a good litmus test for how important a comment is. Would you schedule a 15 minute meeting to discuss the issue with your colleague? If not, then why is it okay to do that to someone during a CR?
Show HN: AI widget with personalized benefits for visitors on your website
Hi, I'm making a AI widget that you can add to your website to increase conversion.

With this widget, every visitor can get a personalized answer to the question of what specific benefits your product can provide based on their company, competitors, and industry.

This way, visitors get a compelling reason to try your product in a few seconds without having to analyze the entire website.

I would love if you try the demo with your project and share your opinion.
Duel phase magnetic material to reduce needs for REEs
After 12 years at Red Hat, it's time to move on. I'm going to need your help to keep working on JRuby, and I'm accepting sponsorships and commercial support interest right now!

If you see the value in having a strong, independent JRuby project, now is the time to step up and help ensure its future. JRuby needs you and so do I!

https://github.com/sponsors/headius

https://www.headius.com/jruby-support
You've been posting huge numbers of flamewar comments lately. That's not what HN is for, and destroys what it is for. If you keep this up, we're going to have to ban you. I don't want to do that, so if you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules from now on, we'd appreciate it.

By the time a commenter gets to violating the site guidelines as egregiously as this, it's almost always the case that they should have stopped posting a lot sooner.
> Another is the idea that only voluntary interactions and transactions are legitimate -- i.e. taxation or forceful socialist takeover of capital is archist.

That's not another idea, that's really the same idea. Voluntary interactions are not unearned. The only problem with that is that it accepts kings (i.e. the legitimacy of primitive accumulation and the fencing off of the commons.) If you just say that King Charles owns England, and everything within it, he can even force you into a contract in order to use his roads to leave.

But of course anarcho-capitalism is a legitimate Anarchist strain. As it is now, it exists with a fake pedigree from Objectivists and Libertarians, who are simply Republican anti-communists minus the Christianity, but you can see the same beliefs within what was at the time accepted as fairly orthodox anarchism in Benjamin Tucker.* There are still interesting libertarians that don't accept primitive accumulation, and simply think that the creation of interlocking markets is a better way to organize a free society than the glorification of wage-laborers.

I'm largely a Rudolf Rocker anarchist myself, and Homage to Catalonia changed my life as well. Speaking of groups, I was a card-carrying anarchist who volunteered at the 223 infoshop in Portland during the 90s. I had always suspected that Chomsky was an anarchist, and the confirmation was when he spoke in town and made his first political donation to that same infoshop. It was his first occasion making a political donation of that type, and everybody in left politics noticed.

edit: A quote from John Zerzan, an primitivist (or the primitivist) anarchist who hated Chomsky, illustrating how impactful that donation was:

> In the fall of 1995, Chomsky donated much of the proceeds from a well-attended speech on U.S. foreign policy to Portland’s 223 Freedom and Mutual Aid Center, better known as the local anarchist infoshop. As if to honor its generous benefactor appropriately, the infoshop spent the money first of all on a computer system, and several months later financed a booklet promoting the infoshop and the ideas behind it. Among the most prominent quotes adorning the pamphlet is one that begins, “The task for a modern industrial society is to achieve what is now technically realizable...” The attentive reader may not need me to name the author of these words, nor to point out this less than qualitatively radical influence.

https://theanarchistlibrary.org/library/john-zerzan-who-is-c...

-----

* https://en.wikipedia.org/wiki/Benjamin_Tucker

edit: I would also mention that Benjamin Tucker was almost entirely in line with current Libertarian thought, still thought of himself as an anarchist and a socialist, and was one of the biggest misogynists possible. When people seriously engage with ideas instead of stereotypes, they come out in weird places. When you seriously engage with ideas instead of conventions, you start to realize that we're already in a weird place.
> then they're going to have a Y2K-sized problem to fix.

No they aren't. tzdb updates happen several times a year already, and you don't notice.
Yes: https://news.ycombinator.com/item?id=40767676
Mostly CIFS, I use tailscale to put my laptop inside of my home network wherever I go.
This was a particularly lame argument:

> If NASA dumps ISS on the Earth, it will be the worst public relations disaster in its history. At the very moment, new generations of eco-conscious young people are taking the reins of control, as the agency that has stood for a hopeful vision of the future will be trashing the planet. Ridiculous. Worse, one of the world’s most exciting companies will be spattered by the debris along the way. It is an awful decision, a terrible plan and a signal that America isn’t serious about staying in space. For if it were, it would protect such a treasured symbol of what went into making it happen.

Deorbiting an unused spacecraft is absolutely the responsible thing to do. If you care about our future in space, filling up our space environment with abandoned objects is a terrible policy.
> Orwell maintains that revolution is the only way to remove from power the oppressive business-based ruling class of the type that has dominated the West since World War II.

This line from the article seems to misrepresent Orwell. Perhaps it’s been too long since I’ve read Homage to Catalonia, but I’m pretty sure he arrived in Spain without any grand ideas of being part of a revolution, and quite simply wanted to fight against fascists. He makes it clear in his book that he initially had little understanding of the differences in ideology among the various left-wing groups, and chose to join the anarchists rather arbitrarily.
Impossible to use mechanical doping now with the current inspections.
Has it been used before these inspections were implemented? Very likely. An hungarian engineer developed a motor with spools in the rims and the stator in the forks. For sure at some point this offered a better risk/reward than PEDs.
The defining character of VLIW is to have the brilliant compiler software schedule dumb parallel hardware instructions statically and then not depend on power/transistor expensive dynamic branch prediction and OOO execution.

In a perfect VLIW world that would mean you don't spend any transistors or power on branch prediction or out of order instruction searches. Indeed the original VLIW paper [1] spends vastly most its paragraphs on solving the (hard) compiler instruction scheduling problem with trace scheduling which is still used. The VLIW hardware itself is dead simple.

[1] https://safari.ethz.ch/architecture/fall2022/lib/exe/fetch.p...

So if VLIW fits the problem it has fantastic performance characteristics. If it doesn't fit, and far and away most don't, then VLIW is terrible. VLIW is very brittle.

I need to make a caveat about the Mill CPU which is a VLIW but I see I've written too much already.
I was going to complain that they need to be on separate lines, and then I realized it would work that way, though PEP-8 and Pycharm might complain.
To add to this, "no time like now" is real. Follow-ups rarely happen, tracking them is a pain. Making someone accountable for it is unfair, particularly if they disagree with the follow up (and presumably they do, otherwise they would have done the thing in the first place).
Plenty of anarchist movements have supported armed dismantling of the state, and by extension takeover of capital by dismantling the means by which property rights are enforced and removing them.
We’ve experimented with this at Ambar. 4000 CAC can be good or bad depending on the LTV of your customers. But if you can indeed get something reproducible you can work on optimizing if you’re within the order of magnitude of being profitable.

But on a small budget, before dumping money on PPC, I recommend getting better signals on intent, even if you don’t get a conversion.

Measure what people are doing once they land, and optimize for better engagement. since ready test your theory to see if you can indeed get customers for 4000 bucks or less.
My employer has a large and completely useless bureaucracy and a big problem with people doing nothing on their jobs. Yet they still refuse to do any layoffs.
Please don't perpetuate flamewar comments on HN. It's not what this site is for, and destroys what it is for.

I don't see as much of it in your recent history, which is good, but it's not good to let yourself get sucked into this sort of tit-for-tat spat.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
> But what makes sense to me is to have a couple things in flight, ideally staggered at slightly different phases of development, and to shift between them as the whims take me. Give myself time to decompress & reflect on one thing, by picking up another item that I've been pondering for a while.

This is exactly how it works best for me, as well. A few problems being tackled and solved in parallel, out-of-phase.
NASA needs better media.

They have so much content, and they suck at showing it off well
First off, it's not Collatz, it's a Collatz-like problem.

But yes, I'd be very surprised if Collatz were actually undecideable, even if it's well beyond the reach of current mathematics.

I agree with your statements about BB(10) and BB(6), but they just aren't very relevant. I agree those involve extremely difficult problems likely well beyond the reach of current mathematics, but I'd still be very surprised to find anything undecideable in there. There's a big difference between being truly undecideable and merely well beyond the reach of current mathematics!

(Also, the current record for undecideability is 745, or 765.)
I like the "idea" of saving the ISS; but as a whole that seems like wishful thinking. Perhaps a subset of modules could be salvaged/boosted into a higher orbit, or if I let my heart really dream - we could get started on our next ISS, and try to re-use a few pieces from the OG so they could live on and be the museum pieces we all know they should be.

If money were no object, I think we would have a duty to future generations to save the entire ISS - the value being able to "touch" history is immeasurable.
This seems no longer to be true for recent x86 processors: https://news.ycombinator.com/item?id=40767676
Depends on your use case. I just use scp and access the NAS box through Tor when traveling, so I don’t have to open up any ports.
> Stories are our weak spot, the ultimate attack/control vector.

Stories (and LLM 'story models') can be fine tuned and A/B tested against humans with live neural monitoring to evaluate narrative effectiveness.
I read your feature request on Kagifeedback. With our tool, Browspilot, you can currently recall pages you have visited based on keyword matches. Given that you can also search the body of a page and sometimes the comments too, it's already quite useful, and I'm confident you will be able to find most of the things you're looking for most of the time. It was almost surprising to us too, how easily one can actually find stuff - given you are searching in a limited dataset, which is your own search history as opposed to everything like you do in google - just by typing in words that appear somewhere on the page you are looking for, as opposed to having to click a bunch of times and navigate through apps, messages, or emails to find a link again.

However, I believe that once we introduce the advanced vector search, which we are already testing in our beta version, you should be able to find the page you are looking for in Browspilot with absolute certainty just by typing words related in meaning into the search box, so you won't even need to remember your exact search queries.

We will also be adding image search capabilities soon.
I went into this hoping for a mathematical thought experiment, but rather this is merely a historical thought experiment in the sense of "Wouldn't it be nice of mathematicians accepted CH early on?". It seems the big selling point of accepting CH is that mathematicians would be less hesitant to use nonstandard analysis.

For an actual thought experiment that rejects the continuum hypothesis, I rather enjoy the explanation found at:

https://risingentropy.com/the-continuum-hypothesis-is-false/
Respectfully, I disagree. CPU architecture optimization is in continuous dance with compiler optimization where the former tries to adapt to the patterns most commonly produced by the latter, and the latter tries to adjust its optimizations according to what performs the faster within the former.

Therefore, it is not unreasonable to make assumptions based on the premise of "does this code look like something that could be reasonably produced by GCC/LLVM?".

It is true that as cores get simpler and cheaper, they get more edge cases - something really big like Firestorm (A14/M1) can afford to have very consistent and tight latencies for all of its SIMD instructions regardless of the element/lane size and even hide complex dependencies or alignment artifacts wherever possible. But compare that with simpler and cheaper Neoverse N1, and it's a different story entirely, where trivial algorithm changes lead to significant slowdown - ADDV Vn.16B is way slower than Vn.4H, so you have to work around it. This is only exacerbated if you look at much smaller cores.

LLVM and GCC deal with this by being able to use relatively precise knowledge of CPU's (-mtune) fetch, reorder, load and store queue/buffer depths, as well as latencies and dependency penalty cost of opcodes of the ISA it implements, and other details like loop alignment requirements, branch predictor limitations.

Generally, it's difficult to do better in straight-line code with local data than such compilers assuming that whatever you are doing doesn't make concessions that a compiler is not allowed to make.

Nonetheless, the mindset for writing a performant algorithm implementation is going to be the same as long as you are doing so for the same class of CPU cores - loop unrolling, using cmovs, and scheduling operations in advance, or ensuring that should spills happen, the load and store operations have matching arguments - all of that will be profitable on AMD's Zen 4, Intel's Golden Cove, Apple's Firestorm or ARM's Neoverse V3.
Web app vs. AI app, what is the difference?
I know web apps are applications running in the web, and AI apps can be web apps. But what is the main difference between both? We can go technical here, but very specific

I guess web apps don't use AI models, and just follow a basic web tech stack to solve a problem. What about an 'ai app'?
Show HN: Connect to more than 200 event sources (GreptimeDB as Telegraf Output)
There is no evidence NATO pro missed Ruzzia that they will not expand/

And why would the fallen USSR would have to barggen for that promise?

You Riussians have the mental inability to understand the Eastern Europe , why did your brothers slavs enter NATO, why is Seriba wanting in EU and not CSI, why Ukraine wanted in EU and Puttler started the conflict to stop them.

We explained this many time but it is impossible for Ruzzian to understand, I think is projection , you can't understand that we do not want your lands or resources, we the East entered NATO to ensure our children will not be killed not he front lines when Ruzzians will invade, opr be deported to Siberia again and replaced with Ruzzian colonists.

Compare Ukraine, Eastern Europe and Ruzzia, only Ruzzia was involved in many conflicts.

Not sure if repetition can help you guys, but let me try

"we do not give a shit about your land, resources or internal politics. We want to be safe so we entered NATO, the invasion in Ukraine is the proof that everyone except Ukraine was the smart ones to enter NATO, and Ukraine shows us that it was zetarded to trust Ruzzia"

Only Putin and his gangs of oligarchs are at fault you are a poor country with no perspective for a future, if you have followed Poland example and reform and bring democracy and stop getting involved in conflicts you would be an economic power and a trusty partner.
> Why do we need a special function return instruction? Functionally, BR LR would do the same job as RET. Using RET tells the processor that this is a function return.

I'm not sure this is a good design. Those two opcodes perform the same logic function but have different branch prediction hints.

Meanwhile, there are other cases where an existing instruction is reinterpreted with new semantics:

* On x86, `XCHG eax, eax` is `NOP`.

* On x86, `XOR reg, reg` is `MOV reg, 0` and breaks dependencies for the purposes of register renaming.

* On x86, various examples of macro-op fusion and micro-op fusion.

* On various RISC architectures, `ADD r1, r0, 1234` is `MOV r1, 1234`.

* On some RISC architectures, conditionally branching if r0 == 0 is the only way to express an unconditional branch.

I see no reason why `BR LR` can't be the standard function return instruction and involve the branch predictor.
Ask HN: How do you do on-device testing?
"Yes, you're free to speak your mind, but not on my time" - Billy Joel

You should have the right to speak freely to all who wish to hear. They should have the right to hear if they want - and not to hear if they don't. That is free speech.
The tour I think of like the World Series or Champions League tournament. Only one, highly visible, piece of a long calender (roughly Februrary to October)
Luakit: A fast, extensible, and customizable web browser
Regarding the connectivity: tailscale... So far I am happy with them and the free plan hasn't been kneecapped afterwards (so far).
I salute you.

I don't think I would of had the drive to work with lower level languages back then. I actually tried C++ first, gave up and then found JavaScript.
Organize Links with Precision and Speed
Really thankful for all of your work on this project Charles. It’s an incredibly valuable tool that combines two languages which complement each other very well.

If you’re interested in how we got here, Charles did a great talk on JRuby’s history, origins and future last year.

https://youtu.be/pzm6I4liJlg?feature=shared
An easy solution for the VPN part would be Zerotier / Tailscale. IIRC Zerotier uses chacha20 for encryption which is faster than AES, especially for a power-strapped SBC.
I usually just use SMB shares within my LAN. It serves my modest needs. I have used WebDAV or FTP in the past. Depends on the specific use. Away from home, VPN is essential. Too risky to just forward ports these days.
> there is a fundamental lack of understanding about what anarchist philosophy actually is

this problem is ever-present among ideologues, and may be one of the ways you can identify a from-first-principles totalizing ideology and differentiate it from legitimate schools of philosophy

Many political -isms suffer from this problem, and the "true believers" all inevitably hold in their head what they believe to be the correct definition, about which they will always correct non-believers and bicker about with comrades.

Regardless, it's all a waste of time, because if you can't even define your ideology you will never see it manifested.
Maybe some authoritative figure could write a manifesto or something...
Because bython is basically a glorified regular expression search and replace: https://github.com/mathialo/bython/blob/master/bython/parser...

Rather than a real parser. A real parser knows about the context it is in, and as long as the grammar is unambiguous about some character, it can be reused in as many distinct parser constructions as you like. A pure regex-based approach to a first approximation can not.

Whether or not it absolutely can or can't, without "approximation" and with regard to the exact re library in Python, would be something you'd have to work out through tedious effort. Regexes with backtracking can do a lot more than mathematical regexes, as well as all the other elaborations you could use. But even if Python's re can do it, you will be better off with a real parser.

The "correct" solution, since by design Python and Bython share the same AST, is to take some existing code that can parse and re-emit Python code without changing it, tweak the incoming grammar to use braces instead, then emit the AST back out as Python. Then you wouldn't have this problem, or the problem with comments referenced in the source code (line 109 of the file I linked, just up a bit), or any of the probably other many little issues that would arise on real code if you tried to put this in real use. The only slight complication I can see is there may be a slight issue with comments around the braces. I'm not sure, and I'm not going to sit here & work it out fully for an HN post.

Also, this is not a criticism of Bython. The author can do as they please with it. If nothing else you can always label this a prototype. Prototyping is good, right? Anyone who was rushing to slam this into production is just gonna learn a real valuable lesson worth its weight in gold, and not Bython's fault.