skysight-inc/HackerNews huggingface dataset:
A toy project, but I'm working on a Scrabble clone for my mother to play. There's singleplayer against an AI, and then multiplayer against other people (myself, mostly). Multiplayer needs a server backend with all the game logic which I have programmed in Rust, but there's no reason I can't have the game logic for singleplayer running entirely in the browser.

By compiling my backend code to WASM I basically do that - the client can use either a client-side 'server' or connect to a real server. The UI code itself is unchanged in either case.

I suppose the need in this case is that I have code written in a language other than JS and I want to run it in a browser; inversely I could have written the entire project in JS and hosted my backend server on say Node.
I think the point is that it isn't really about creating something people want; it's about creating something that inevitably becomes a necessity for life and work whether you like it or not.

Twenty years ago we had the iPod, and 'tech' consisted of exciting consumer products we all wanted in our pockets and services that would enrich our lives by enabling our creativity and connecting us. Of course in business one aims to make a profit, but one could hope to do so simply by making things people wanted. Today, it doesn't feel like that. Sure — recent AI developments are hugely impressive, but what value are companies like OpenAI creating and who, other than AI geeks and researchers, is really hankering for this stuff? It feels more like an arms race towards something completely unknown. It's a collective panic that AGI (read: God) is just around the corner and whoever gets there first wins everything.

There was no such insanity in previous 'tech' eras. There's always been competition and hype, but the prospect of unlocking the technology to end all technologies has never before been credible enough.
I am thinking about setting this up as as a configuration for the type of traffic that doesn't require Kafka.

That being said, Kafka has in my experience come in super handy again and again, simply because it adds an incredible extra layer of fault tolerance when running at scale, including the ability to replay events, replicate, fail over, etc. I'd be nervous about letting the amount of throughput we receive directly interface to ClickHouse (though I'd be excited to run an experiment with this).
How abut the following proofs that sqrt{2} is irrational.

1. If 2=a^2/b^2 with a and b relatively prime then a^2=2b^2 so a is even, and, letting a=2c, b is also even a contradiction.

2. Use the lemma that a positive real r is rational if and only if there is a positive integer b such that br is an integer. (Proof left to the reader.) if sqrt{2} is ration then there is an integer b such that bsqrt{2}=a for some integer a. Let b be the smallest such integer. Then, if c=b(sqrt{2}-1) then c is smaller than b, c=bsqrt{2}-b is an integer, and sqrt{2}c=sqrt{2}b(sqrt{2}-1)=2b-b*sqrt{2} is an integer, a contradiction (this uses infinite descent).

3. Use the theorem that if x, y, and n are positive integers such that x^2-ny^2=1 then sqrt{n} is irrational, and apply with n=2, x=3, y=2.
Proof of theorem.
a. If x^2-ny^2=1, then using (x^2-ny^2)^2=(x^2+ny^2)^2-n(2xy)^2 to show that there are arbitrarily large solutions to x^2-ny^2=1.
b. If n=a^2/b^2 then 1=x^2-(a^2/b^2)y^2 so b^2=b^2x^2-a^2y^2=(bx+ay)(bx-ay)>=bx+ay>bx so b>x but this contradicts the existence of arbitrarily large x.

How are any of these the same as any other?
>If you want to know what I feel like without a GLP-1, try not eating until your mind is constantly nagging you to do so - then try staying like that forever. That's what a lot of people propose to anyone who has a problem with their weight.

Ironically- not eating- is what solved this issue for me. I imagine it is what people on GLP-1 feel like all the time.

I spent a long time food fixated, frequently nagged by hunger, until I started practicing going without. Now I can go 2-3 days without eating and have to force myself to eat something.

I encourage most people to try going 2-3 days without food and seeing how it changes their relationship to it.
They’re more useful than mine tailings or household waste, both of which are generated at a scale many orders of magnitude greater than AI-specific chips.

Even as discarded waste, electronics tend to be more useful to recyclers because they contain copper.
>>So what's the difference between this and animated characters?

It's hard for us to relate to drawing so e-actors will be a step above that. It's not hard to see a situation where a specific to an e-actor chatbot will be available to all fans to relate to. Imagine what it would be like for us to talk to a famous actor on a regular basis. Similarly, future generations will be able to do that with an e-actor. There's less need for a publicity machine that keeps people interested.

>>I wonder how e-actors will then be casted for shows:

e-actors will have a wider range of acting talent so I can imagine a character being both an action star and a romantic lead actor.
> The average American household uses about 29 kilowatts of power per day (29,000 megawatts).

Ignoring the megawatts error that the sibling pointed out, it's 29 kilowatt hours per day. Watts are a unit of power consumption -- joules (energy) per second.

One kilowatt hour is the energy used by running something at 1,000 Watts for one hour.
It’s gonna require N more hype cycles (bearing in mind that usefulness is the expected endpoint of the hype cycle)
We need to kill SaaS. We can thank Salesforce for pushing it.
Curated content for growth teams in SaaS companies
> Perhaps slower, more methodical development might enable more software to be written fewer times

I don't see why. People will just discover they rewrote something slower.
They're called "Fleet Response Agents". I'm not sure it's honest necessarily to say that it's 0%:
https://waymo.com/blog/2024/05/fleet-response/
Absurdistan
We already have laws for tax treatment of constructive sales of assets. Using an asset as collateral would be a logical extension of that principle. This seems more workable than unrealized gains taxes in general.
Doesn't MacOS use virtual memory? If the device is low on memory, the apps that are open but not being used would be paged to SSD.
Please be wary to conflate ActivityPub with the code on top of it, like Mastodon for instance; which is, on both front and back-end, proven to be resource intensive and difficult/costly to scale especially over time. (the older the dbs get, the more inactive users pile up, etc.)

Versus something like Pleroma; which I've used since it's inception, being incredibly janky and lightweight, prone to breaking, but later versions have mostly ironed out most of those catastrophic bugs. It has it's own challenges as well, but it does historically scale better, is more flexible, and less intensive per instance

One demands a lot of money and time, where the other demands a lot of time and not so much on the money side.
I'm not going to spend the time to give you a history of pleroma/mastodon instances, as it's a controversial history at best and there's a lot of people who know little, yet who will believe themselves an oracle. (ofc that could also be me so take it with a grain of salt and all)
Though if you are willing to read through a bunch of highly opinionated accounts, and you pay close attention to what actually happened, the answer is pretty clear.

ActivityPub is intensive, but not the main culprit.
Not really that many fabs either. They do this on that scale, they only need the AI to fill demand lol
Reasons Warhammer 40k should be considered a great work of science fiction
Just updated my KDE Spin and al went fine and works great. Thanks to Fedora and KDE teams!
All to often "bad guys" are just a fig leaf for the absolute worst guys.

“Now the police dreams that one look at the gigantic map on the office wall should suffice at any given moment to establish who is related to whom and in what degree of intimacy; and, theoretically, this dream is not unrealizable although its technical execution is bound to be somewhat difficult. If this map really did exist, not even memory would stand in the way of the totalitarian claim to domination; such a map might make it possible to obliterate people without any traces, as if they had never existed at all.”

- Hannah Arendt
I really don't think that HN is the place for pushing one's own dogmatic definition of Christianity. The people who celebrated Halloween have always considered themselves to be Christian, and there's no logical reason to give preference to your definition of the religion over theirs.

I have no problem with you having strong opinions about what the Bible teaches (I have similarly strong opinions myself!), but arguments about what counts as Christian invariably turn on dogma alone, which kills curiosity.
I’m excited and super happy about stuff like this coming forward! It seems like the Matrix team is finally addressing some of the glaring UX issues which make it unusable for me and many others. Thanks for the hard work!

However, me being myself, of course I must complain (with the most productive of intentions):

Is it really “here” if it isn’t officially released and there are only 2 implementations (if you’re generous)? It sounds a lot more like it is (finally) entering a beta phase in which adventurers can try the new features than it being ready for everyone to happily use. If this is the case and you still tell people it’s ready, that costs precious trust and goodwill.

I think there’s a need for a huge effort to get rid of as many of Matrix’s paper cuts as possible to get the experience on par with commercial solutions. The need is greater than ever and it just keeps increasing. I’ve definitely seen some of it happen and these updates keep me cautiously hopeful, I just wonder how long I’ll have to wait until the core experience is good enough to recommend to non-technical people who are used to the obsessively polished core user flows of Whatsapp, Discord and Telegram.
I’m using WASM as the modding interface in my game. (I’m using wasmtime from Rust, but same principle.)

Main benefits are isolation, binary portability, and hot reload.
If you're doing batches to reduce the advantage of being fast, you'd have to treat all orders that come in during a batch tick as simultaneous.

Resting orders from previous batches could have priority, if you want. You'd probably end up doing something with assignment of equal priority orders that looks like option assignment, basically random selection of shares among the pool of orders.

Personally, I'd fill unconditional market orders first, then market all or nothing (if fillable), then sort limit orders by price and from within limit orders of the same price, unconditional first, then all or nothing, then all or nothing + fill or kill.

I don't know if I would assign shares proportional to orders or to shares in orders. Probably shares in orders. Might be gamed, but putting in a really big order because you want to capture a couple shares is risky.
Please follow hacker news comment guidelines [1], this isn't reddit. It's a genuine question. If you see it as easily answered (as a straw man would be), then answer it easily.

[1] https://news.ycombinator.com/newsguidelines.html#:~:text=Don....
> I'll take a stab at changing your mind.

Not the parent but this doesn’t seem mind changing, because what you describe is the normal/boring route to slightly better productivity using new tools without the breathless hype. And the 20% increase you mention of course depends a lot on what you’re doing, so for many types of work you’d be much closer to zero.

I’m curious about the claims of “power users” that are talking very excitedly about a brave new world. Are they fooling themselves, or trying to fool others, or working at jobs where 90% of their work is boilerplate drudgery, or what exactly? Inevitably it’s all of the above.. and some small percentage of real power users that could probably teach the rest of us cool stuff about their unique workflows. Not sure how to find the signal in all the noise though.

So personally, if I were to write “change my mind”, what I’d really mean is something like “convince me there are real power users already out there in the wild, using tools that are open to the public today”.

GP mentioned machine assisted translation of a huge code base being almost completely hands-off. If that were true and as easy as advertised then one might expect, for example, that it were trivial to just rewrite media wiki or Wordpress in rails or Django with a few people in a week. This is on the easier side of what I’d confidently label as a game-changingly huge productivity boost btw, and is a soft problem chosen because of the availability of existing code examples, mere translation over original work, etc. Not sure we’re there yet.
On one hand, I was ready to be interested.

However, I just cannot get excited about an article with proofs that:

(1) give a different name for methods that use sin(90)=1 vs only working with sine of an acute angle ("cyclometric" vs "trigonometric", ugh)

(2) use "high-powered" methods like convergence of infinite geometric series to prove the Pythagorean theorem

(3) apply the law of sines several times to produce the Pythagorean theorem

I just couldn't give it a chance. Give me a good old fashioned proof by a dissection diagram any day.
Have to push back on this. When you are learning a subject, you learn a lot of surprising things. But you learn enough that you have a good model in your head and a good intuition, then things that are surprising to you remain improbable.
The Very Serious Science of Humor (2022)
I’m on Zepbound and I had no side effects for my 2.5mg and 5mg doses. It’s starting to be more prevalent with 7.5mg - and I haven’t moved to higher dose yet.
hah ya i found it on are.na originally and thought it was a concept too
> But the idea of letting an LLM write/move large swaths of code seems so incredibly irresponsible.

I do think it is kind of crazy based on what I've seen. I'm convinced LLM is a game changer but I couldn't believe how stupid it can be. Take the following example, which is a spelling and grammar checker that I wrote:

https://app.gitsense.com/?doc=f7419bfb27c8968bae&samples=5

If you click on the sentence, you can see that Claude-3.5 and GPT-4o cannot tell that GitHub is spelled correctly most of the time. It was this example that made me realize how dangerous LLM can be. The sentence is short but Claude-3.5 and GPT-4o just can't process it properly.

Having a LLM rewrite large swaths of code is crazy but I believe with proper tooling to verify and challenge changes, we can mitigate the risk.

I'm just speculating, but I believe GitHub has come to the same conclusion that I have, which is, all models can be stupid, but it is unlikely that all will be stupid at the same time.
You can ask it about Nietzsche, and it will reply with wonderful and esoteric interpretations of his work, because he is widely studied and ChatGPT has ingested all the works of all Niezsche exegets there are.

You ask it about Hölderlin, and quality drops off, because Hölderlin is not that well studied in the Anglo-American sphere, the majority of Hölderlin studies is in German. It's odd that it cannot translate what it ingested in German and bring it back up in English.

And when you ask it about chemistry ChatGPT is totally lost because it has no idea about concepts, even though the concepts are explained in the textbooks it has read. Until there is a breakthrough that allows AI models to gain understanding all these models are plainly useless.

One can tell - any graduate student in any of the sciences has read way less than ChatGPT but their understanding is infinitely better.
I think the post is as hostile to GLP-1 as you feel it is.

Eating less works. Telling people to eat less and exercise self control doesn't work very often.
It would be really interesting to interview all the listeria victims and find out how they voted.

Elections have consequences.
Creating a Mesmerizing Dissolve Effect Using SVG
Does Paul still live in the United States?
A while back, someone on oDesk (now Upwork) contacted me. Red flags: 1) My oDesk profile was dormant 2) it was a lot of money for little work 3) I wasn't experienced enough but the topic was about one of the things I specialized in college 4) The approach was secretive and shady - they wouldn't say who they represented.

I checked the company profile and turns out they were in the maximum total payout tier, a green flag. The only people back then who could contract at those quantities and rates were Microsoft or something so I decided to say okay. Sadly you can't just check most company history like this outside of oDesk.

After they gave me the NDA, it was indeed a tech giant the size of Microsoft and they were looking for someone who spoke the language I did for the kind of project I did in college, hence the specificness. However, it was an external recruiting contractor (apparently they don't get their hands dirty in Asia). These contractors were often shady because of their mass recruitment approach and bad English. They were also constrained trying not to leak the project and yet approaching strangers like this.

I'm not saying that your $5000/hour offer isn't a scam, but I'd say try to triangulate who it might be and why they might offer that much.
Tail call elimination is not an optimization because it changes the semantics of the program. The feature can take a program which would previously fail to terminate due to a stack overflow and cause it to terminate without error.

Perhaps TCO is better thought of as a language extension.
Love that word "pleiotropic", nice vocab builder.

So it looks like GLP-1 may have positive side-effects beyond what can be explained as consequences of weight loss. Surprising linkages between biochemistry/hormones and temperament.

I am slowly (1 kilogram per month) losing weight by eating nothing but meat 2-3 days per week. My understanding is that the extra GLP-1 secreted by the gut when digesting lots of protein leads to appetite suppression. It works, and is surprisingly easy to do (no feelings of hunger).

So will I also be getting the beneficial side effects of GLP-1? If so, high-protein dieting becomes the smart way to lose weight.
You may just not be seeing the visual artifacts on your screen because you don't know what they look like, or mentally adjust to what that screen looks like.

The same way someone might not notice motion smoothing on a TV, or how bad scaling and text rendering looks on a 1366*768 panel, or different colour casts from different display technologies. All three took me a while before I could tell what was wrong without seeing them side by side.
Correct! AMD has been trying to fix "the software to make it work properly" part for years -- more than two years.
I never expected some obsessive user to make 6 different replies to one of my comments. Wow.

You have 6 posts in the thread started by my top comment. I had multiple replies to one of your posts because HN requires one to wait a while to reply and I was in a hurry. The order of posts doesn’t matter. At least not to me.

Insinuating I’m obsessive has a negative connotation. Along with outright insults such comments make you look bad and unreasonable.
I agree with everything you wrote.

A few more comments from a long-time professional translator:

The unmet demand for communication across language barriers is immense, and, as AI quality continues to improve, translators and interpreters working in more faceless and generic fields will gradually be replaced by the much cheaper AI. That is already happening in translation: Some experienced patent translators I know have seen their workflows dry up in the past couple of years and are trying to find new careers.

This past August, I gave a talk on AI developments to a group of professional interpreters in Tokyo. While they hadn’t heard of any interpreters losing work to AI yet, they thought that some types of work—online interpreting for call centers, for example—would be soon replaced by AI. The safest type of human interpreting work, I suspect, is in-person interpreting at business meetings and the like. The interpreters’ physical presence and human identity should encourage the participants to value and trust them more than they would AI.

Real-time simultaneous translators are an interesting case. On the one hand, they are the rarest and most highly skilled, and national governments and international organizations have a long track record of relying on and trusting them. On the other hand, they usually work in soundproof booths, barely visible (if at all) to the participants. The work is very demanding, so interpreters usually work in twenty- to thirty-minute shifts; the voice heard by meeting participants therefore changes periodically. The result is less awareness that the interpreting is being done by real people, so users might feel less hesitation about replacing them with AI.

When I’ve organized or participated in conferences that had simultaneous human interpreting, the results were mixed. While sometimes it worked well, people often reported having a hard time following the interpretion on headphones. Question-and-answer sessions were often disjointed, with an audience member asking about some point that they seem to have misunderstood in the interpretation and then their interpreted question not being understood by the speaker. The interpreters were well-paid professionals, though not perhaps UN-level.
That will tend to discriminate against smaller traders, like 'retail' traders.
I don't know if that would be qualified as an unbiased source. The author seems to have an agenda going by the footer...

The fact that he puts the word "Celtic" in quotation marks while suggesting there was no such culture is interesting.

The footer of the site:

Ad Fontes is a quarterly publication of The Davenant Institute.

The Davenant Institute seeks to retrieve the riches of classical Protestantism in order to renew and build up the contemporary church.
Totally agree. Nothing provable at all, and almost all of the links that the author could be illusory. Maybe something in the human psyche compels us celebrate certain things at similar times of the year in response to certain stimuli, in which case it is no surprise that we find somewhat similar festivals happening across multiple cultures. A smoking gun is needed if anyone wants to prove a real connection.
You're forgetting that copyright is limited. The public grants companies a limited license to profit off the work and then it enters the public domain. At least, thats how it's suppose to be, but corporations lobbied to extend copyright for, how many years is it now?

Your argument is the one that is disingenuous.
Amortized over 1 year. Was trying to be super conservative. Zero chance a Waymo lasts 10 years. I mean maybe you could say the body will last 10 years, but would imagine quite a bit of the car, over the course of 300k miles driven, would need to be replaced? Not too many cars on the road with over 300k miles.

But still your point stands that maybe that $150k car cost would be spread out over a longer time frame, which makes the economics much better. Like I said was trying to be conservative.

As for the $250k price point, when I search for that most pundits think that figure is several years old and may have been overly high to begin with, but if it's true at $250k then obviously a lot of margin pressure there. Still think it's likely the car cost will drop precipitously and the $150k figure won't be far off.
There is a lot of space left till the high standards of peer review. Some would call what they are doing spreading misinformation lol.
Funny that one of his primary donors have admitted the economy will probably crash if Trump wins...How you can do mass deportations without some very bad economic impact is beyond me but what is even more confusing to me is, how do people think Trump will benefit the economy ?