skysight-inc/HackerNews huggingface dataset:
Very glad you enjoyed it!

For the ZK example, the math behind it is this: if there are m bordering regions and I am lying, you have a 1/m chance of catching me each time. Thus after k repetitions the chance you haven't caught me is (1-1/m)^k \approx e^{-k/m} which is extremely small for k sufficiently larger than m.

Now, you may rightfully say: hey that's still not a "proof," you could still be lying! There are two responses to this:

1. The probability can be made incredibly small, like smaller than the the chance, say, your computer got hit by a gamma ray burst that would flip bits from 0 to 1 (I really have no idea if this actually happens but people have said it to me).

2. It turns out it is mathematically impossible to get the zero knowledge property if you want true proofs (i.e., no probability of being wrong). So, there's a trade off: if you want zero knowledge, you have to accept some (small) failure probability

P.S. Adding an easter egg for coloring the larger graph is on the todo list :)
It's the same model though. Maybe your perception has changed.
I would be interested to know how many people are coming from different social media platforms TO tikTok for this kind of content. I know back in the day almost every subreddit that had porn or women posting pics would also link to their tiktok accounts and many of the videos and accounts were also posted on tiktok so a woman could post a few pics or videos, link to their tiktok account and then get people to subscribe to their accounts there.

There's also an assumption that users are 100% honest with their age. Simply confirming you are 18 gives you an easy end around the filtering of content. Even at 8-10 I had friends who were quite ambitious about getting their hands on porn and other material we weren't supposed to have. If the bar is simply lying about your age, I would say that's not a very good way to try and filter content from underage users.
https://github.com/Eventual-Inc/Daft Is also great at these types of workloads since it’s both distributed and vectorized!
Fixing one account takeover probably erases that account's lifetime profit N times over. The business model is just broken.
Since the area the generated image changes is known between frames, the animations could be made more consistent by only changing the relevant masked pixels instead of the full images.
Well, it's more niche, but it's still necessary. For instance, if you write a printer driver you'll need a good dithering algorithm, since you only get pigment on/off (even in CMYK). In fact, for multi-channel dither you do not want a normal error-diffusion algorithm, since it does not give good results for low values of a channel (for instance, rgb(255, 255, 2)).

There appears to be active research on new dithering techniques. I ran across libdither [1] which implements more dithering algorithms that you can imagine.

[1] https://github.com/robertkist/libdither
Unchecked cheap labor from eastern european countries has had a dramatic effect. That's directly related. But illegal immigration also does because the moment you get in to one lax EU country with open borders to another, your movement is a lot easier.

I live this reality and have family in law enforcement. You might not want to believe it but it's absolutely the truth on the ground. We need to control our borders much more strictly.
That is something you could say about almost any legislation, and it's correct to some extent. That said, politicians do seem to try and predict what they'll be held accountable for, and pre-empt that. So it's not so much the voting afterwards that potentially influences the behaviour, but the threat of doing so. I also assume that this is why contacting your representatives is important - that is, essentially, making the threat.

I'll give you that it's not a terribly strong signal.
Isn't the problem that ESM is proving almost too much of a reset?

I'm not sure I understand what you're going for.
How different people's experiences with social media platforms can be. Instagram for me too but YouTube shorts sometimes..
The only hope is that intern level will also increase significantly with this, helping them to catch up with the fundamentals super quickly.
I read things like this though:

"In each year from 2014 to 2018, about half of all large corporations had no federal income tax liability."

https://www.gao.gov/assets/gao-23-105384-highlights.pdf
I used it for 3 years where everything which was too important (a took a long time to be done by the only maintainer (Harminder Virk) at that time with his only one "helper" (Romain Lanz) , so long that I had to stop using it because it was difficult to use in those conditions.
Read the article this thread is about. Particle DM is not sufficient to explain all observations without extreme contortions that make MOND seem more reasonable. Also, MOND predictions made decades ago keep being validated. Why does this keep happening if there's nothing to MOND?

Finally, as I said, particle DM can't fully explain the Bullet Cluster either. The evidence is screaming in our faces that we need better thinking here.
Thanks! We've changed the top link to that from https://bugs.openjdk.org/browse/JDK-8329949, which is mostly just a pointer.
Apropos: https://en.wikipedia.org/wiki/Manna_(novel)
No, butter has low satiety (like croissant which are partly made with) https://pubmed.ncbi.nlm.nih.gov/7498104/, https://www.dietdoctor.com/satiety/foods#:~:text=44-,Fats%20...
I see a lot of people despairing from the consumer side. Let me mention the producer side.

Making an outdoor-rated device with a radio, plastic is a hard material to ignore. Given that there’s little else that has the right characteristics at anywhere near the right price, I’ve done a lot of searching for easily recyclable plastics (ABS ain’t one of them). Most of those are not right for the product and would only doom it to the landfill quicker when they failed. So I focused on plastics that would keep the product in use as long as possible. For recycling, we’re going to experiment with doing it ourselves—take used product back, and have our injection molder regrind it for a future batch (this is why I picked a local partner, they’re down for it).

Given that all the real waste is produced by single-use plastics, I think this exercise has been the commercial equivalent of washing and sorting all my food packaging.
Perhaps a fake economy ?
>generally nothing that a better cli interface/script/wiki can't solve better.

That's where I am with Diskpart.exe.

So many more features, options, and capabilities than the Disk Management GUI.

Very familiar with Diskpart on CMD line for decades, but there are still things I wish I could do with it.

So I have to use the GUI version sometimes anyway for certain tasks the CLI can not accomplish :/
I gave it a fairly simple coding questions and it failed pretty severely, to be fair ChatGPT 4o also failed that. Just saying it ain’t all that given the hype
htmx itself is not the future of anything. Businesses are not using htmx to make money and nobody is hiring for htmx. It's an ideological technology rather than a practical one. Maybe it'll inspire something that will turn out to be the future of frontend, but it won't be htmx as it is now.
All that's missing is more info in the answer to this question:

> Question: How do you do this in the digital world, without post-it notes?

Answer:

"When I give you a map labelled with numbers for each region, the numbers are the "post-it notes", "covering" the list of factors (which encodes a color). You can't see the primes factors inside them, because, even though generating an multiplying large primes is easy for computers, factoring numbers is much, much harder.)"

I think if, when the player checks "reply the demo, with numbers", you move the game down to where the prime number discussion is, it's easier to understand.

Also, note that the digital versionis better than the physical version. In the physical version, you can't stop me from removing extra notes. (A better example might be to put each color in a locked box, each with a different lock/key.)
In the digital version, the factor lists are the "keys".
Ask HN: What are your ChatGPT custom instructions?
After almost a year of this feature available, I wonder what are the most fine-tuned and battle tested prompts people have come up with. Here's mine:

On copy: Be concise. Don't repeat the user prompt. If some data is missing ask about it, don't assume nor use placeholders. Don't apologize. It's more useful to have conversations than trying to give the right answer directly, if I just wanted information retrieval I'd use Google, but I use GPT for the ability to come up with precise answers by having a conversation. Be direct and assertive. Don't explain things you're not asked to explain. When rewriting text don't rephrase more than the necessary and avoid flourishes and deviations from the original tone.

On code: if modifying show only the changing parts, never use names for things used just once, strive for the simplest answer, avoid using comments, don't put unnecesary line breaks, ignore boilerplate or obvious code, don't leave placeholders, prefer tabs over spaces. When reviewing, never suggest things to check, always come up with specific and provable issues.
Sounds like I can go about my day normally then!
It's about as "trivial" a distinction as considering Crimea (or the entirety of Ukraine, for that matter) a part of Russia.

Many, many people have died for this triviality.

"Somewhat fraught" is a very interesting choice of words, but then again, so is "The Troubles" (when the subject matter is decades of bombings and killings).
I find co-pilot to be useful. It forces me to write a lot of comments and the comments drive the code. For new personal projects, chatGPT can get some ideas going fast, but I end up changing a lot of it. ChatGPT does show me a lot of new libraries and parts of languages I didn't know about before. I wouldn't use LLMs on code review because I need to use my human brain to check the work of co-pilot that my coworkers are using. Code review and QA are the last line of defense against LLM shenanigans.
That doesn't work so well for default or wildcard imports.

(I'd argue that default + wildcard imports are bad, but ESM went out of its way to have them :shrug:)
I've had way better success with GPT-4o than claude. I wonder why
Both approaches are fine, and doable.

As a convention I don't think one method per verb in a controller is inherently bad just because they don't share state. Plenty of long running, maintainable projects follow this practice.
Slashing Our AWS Bill at Levels.fyi
Similarly just because you and I don't like what Spotify produces as much as what NASA produces doesn't really help weigh their efficiency without a whole lot of other data that's more important (before even getting into the debate of what everyone considers worthwhile output). The most efficient pasta producer in the world could premix their pasta with pesto and I don't get to claim it's the same efficiency as every other place just because I despite pesto.

I mean I get wanting to shit on adtech over NASA, the latters is... significantly more cool. I just don't get why it's related to explaining how efficient or inefficient NASA is at the significantly cooler stuff.
Check out Tao of Node and Tao of React. It has worked pretty well for us, and is applicable in my opinion to other stacks as well, not just Node.

https://alexkondov.com/tao-of-node/

https://alexkondov.com/tao-of-react/
I can't speak to any new features announced today but the API version of Claude has been superior in every way when paired with a more feature rich front end.
Yes, the only semi-secure way to do account resets is in person and courts are one way to do that.
ZKP is the subject. The maps part is a helper lemma.

It would help to clarify that in the beginning. The game is a bit of a shaggy dog tail. It would be good to give an outline and progress bar at the start (without spoilers)
This is timely to me because I am in the middle of modernizing a project that was ejected from CRA years ago and now won’t build in Node 18.

I’ve worked on a few big React projects but haven’t really looked much into how the build works, I found out upgrading one thing forced me to upgrade other things and I wound up making a lot of changes by hand to the build scripts and figured I’d probably screw something up. Dependencies changing from CommonJS to ESM was probably the most common problem that can frequently solved by version bumps (at risks of adopting changes you don’t want)

At some point I decided to try the alternate path of switching to Vite for a build system since I’ve had good luck working with it for some VR side projects.

It’s funny how you can code on front-end Javascript and not need to learn about CommonJS until something like this hits.
That could not be significant if a default browser is already set.
Unlikely that the wine would taste good by modern standards but still I wanna try it
Heck. 3yrs is quite long. Ill drop anything that doesn't allow me to ship daily
I’m a musician. For the vast majority of colleagues I know (classical), having to use docker will make it a non-starter. But I’m also curious what your app does, if you don’t mind sharing details!
If they're shit potential customers then yes that's exactly the point.

As you might have read in other comments, the point of the form is to create a filtering mechanism to sift out the shit.
Summer solstice 2024 marks the longest day in the Northern Hemisphere
One thing would be interesting was to know who pushed for it to be withdrawn for now, and why.
You're still seeing heavy consolidation in the industry which is a clue something fishy is going on-- why would a hospital system choose to grow for instance? where would the $$ come from to buy other ones?

The answer is hospitals target negative operating margins to meet various rules-- even though their "surplus" (ie profit) isn't taxed, it has to be near-0 to maintain non profit status. And, besides the normal games of revenue timing and amortization, they expense profitable activities to related parties.
Safest to just remove Ireland from the map. It's not needed for the demo.
You can't NOT have juniors, because that is what seniors evolve from :)

Otherwise when all current seniors die there would be nobody left to do programming.
I don’t know if it is still the case, but at one time you had to pay something like $50 to talk to a 3rd party customer service agent for the government agency that issues US Passports. The reason was because they hadn’t had a funding increase (and couldn’t legally raise prices) in 30 years and had to choose between making passports and answering questions about when the passports will be made. So they decided to make passports and contracted a 3rd party who would provide and charge the customer for customer service.

To me this seems like a reasonable option for massive free services as well. I did see people have had mixed results with the $15 service. Maybe there should be a one off account recovery fee that is priced at a rate that makes this more attractive to Meta so that they can adequately staff it.
For this particular business model where you are basically an ad company so you don't really care what ad viewers want to tell you because it's not from them that the money comes from. But when you actually offer a paid service, the dynamics is completely different. I can name several companies with stellar customer support.
Couldn't it output "use a symbolic math library in Python to get an exact solution to pi" and technically be correct?
We can and I actually would love to...
OpenMetadata: Join the #1 Open Source Data Community
LLM: I'm sorry Dave, I can't do that
If the cost of dealing with the crap is high enough, you put up a friction filter. Think about healthcare, a doctor's time is incredibly important, so you've got admins and nurses in front of them.

Internet aside, it seems like those filter roles are much less likely to exist these days. Either you get someone who has no idea what's worth filtering, or you have to try to communicate with the expert directly and burn their time figuring out who's worth following up with.
Have you tried 3 Opus or 3.5 Sonnet? Are you using it for programming, or something else?
The InfraRed 100: transformative companies in cloud infrastructure
I had an errand at the DMV recently and realized that I read text in my own voice because that building was packed and everyone sounded like a Facebook comment section. It was like Idiocracy cosplay.
Silly take. Apply this logic to Rails and you'd look like a fool.
I'm honestly shocked people are saying this. I use both and GPT-4 is usually better.

What kind of coding tasks is Claude 3 opus doing for people ?
I am disappointed that parents allow 13 year olds to have iphones + social media accounts.

The downsides have been well-documented. [1] Can we all collectively get together and say "no" to that stuff until like 18?

[1] https://www.youtube.com/watch?v=CI6rX96oYnY
Death is inevitable too, but not wise to welcome it.
> But I'm not sure why the table is 4×4. The fourth transition from every state is unreachable since the symbols are all in [0, 2].

I think the fourth transition represents illegal Unicode. From there it stays in the illegal state until it hits legal UTF-8, then goes back to counting.
There have been more studies since when this came out, which signals the probable importance of zinc in COVID prevalence. Plus they were only looking at mortality so there will always be fewer papers. Does this leave you less suspicious?

These are all studies released in 2024:

https://www.tandfonline.com/doi/abs/10.1080/10408398.2022.21...

https://link.springer.com/article/10.1007/s12011-023-03788-9

https://www.sciencedirect.com/science/article/abs/pii/S00223...

https://www.researchgate.net/profile/Mohammad-Alam-86/public...

https://www.nature.com/articles/s41598-024-53202-0

https://www.frontiersin.org/articles/10.3389/fnut.2024.13855...

https://bmcnutr.biomedcentral.com/articles/10.1186/s40795-02...

https://link.springer.com/article/10.1186/s41043-024-00504-8

https://www.ingentaconnect.com/content/ben/cmc/pre-prints/co...

https://www.sciencedirect.com/science/article/pii/S266614972...

https://onlinelibrary.wiley.com/doi/abs/10.1002/ptr.8096
A European who receives healthcare in the EU can’t demand that the provider delete their medical record if the provider has a legal allowed reason to keep the record.

This is a fundamental aspect of GDPR and part of the central message in the regulation. Companies and organizations are only allowed to keep personal information if they have a legal allowed reason to do so, and must honor requests for deletions unless they have a legal reason not to do so.

What is and what isn't a legit reason depend on circumstance. What companies generally object with GDPR is that generate revenue through personal advertisement is not an legit reason to keep personal data.
How is it a risk?? Are the communists cackling with glee as they steal all those 30 second clips of teens doing the cinnamon challenge?
> What is even going on that allowed these to be nonprofits

They are operating as non-profits, as defined by the IRS code and the law?

"Athletic associations" for example includes your all your local youth sports clubs. There's a lot of activities that can be done for a charitable purpose that may be organized under 501(c)(3) and similar regulations.

Yeah a Credit Union is like a bank, but it's not a bank. It's not operated for profit.

All but the smallest non-profits all have to file an annual Form 990 which is mostly public. You can go look them up, if you're wondering what they do and how they spend their money.

If they have income that is not directly related to their charitable purpose, they are supposed to pay tax on that. According to TFA that is weakly enforced, and while that may need fixing we need to be careful that we don't throw out the baby wth the bathwater.
I didn't think the notes were in circulation until next month?
I stand humbly corrected :)

... that one is great - in a different way - but great nonetheless.-
I do wonder if GPT quality fluctuates seasonally, or with electricity costs, in an engineering effort to balance costs with performance.

I agree on all your points, but would like to emphasize that I really do enjoy the voice input voice output thing that chatgpt's app has. Its not how I use it when working, but when commuting, a lot of times, I'll turn on the the chatgpt app and have a conversation with it exploring ideas related to work or side projects. Its better than NPR, and I can't listen to the '3d6 Down the Line' podcast everyday, just once a week.

I've been subscribed to PHind, which is a decent service allowing access to their models, chatgpt 4 turbo and o, and claudes. Its been incredibly useful, especially with their search integration. Unfortunately, while chatgpt can be used 500 times a day, Claude is only 10, although I guess it goes into an API like payment mode after that on top of subscription.

I sure wish I'd buckle down and calculate my usage to really get an idea of whether subscription is cheaper or more expensive for me compared to API.
Why does it still lose to me at a simple game of tic tac toe, smh
I see plenty of praise here for Claude over GPT4.o in writing code but it failed for me.

To add to the collective anecdata, here Gpt 4.o does fine and Claude invents packages that don’t exist:

Question:

“Write code in Swift to use RAG and LLMs to allow users to ask questions about a document collection.

Let’s use services to get the app completed quickly.

What do you think about using Cohere for the text embedding model, and Pinecone for the vector db?”

Output (packages don’t exist):

import Cohere

import PineconeSwift

class RAGService {

private let cohere:
CohereAPI

private let pinecone: Pinecone
Wasn't expecting to stay in the top 100 for this long!

Initial C implementation got me to ~70 for a short time, then very sloppy racy pthreads one kept me at the tail end for a bit longer, but my again very sloppy cuda program running on my GTX1070 has me at 35 at the time of writing.

Rough calculation shows it to be doing 28.6MHashes/sec, and I suspect I could do a lot better than that if I knew anything about cuda programming.

I didn't read enough to know how to pick good values for blocks/threads per block, so I just benchmarked all the combinations of powers of two to arrive at the best result.

Really fun challenge!

Would be fun to see the total amount of valid submissions, and maybe the number of leading zeroes of a hash for those of us that need a moment to figure it out from hex in their head :]
But if you offer a service where you pay $20 to get your account back, well, nobody's going to want to pay that unless it actually works, so their incentive is to make it work. Which makes it start to feel more like a "pay $20 to get somebody's account, if you lie well" service
> Websites that put a cart online with a checkout process manage to get "customers" just fine.

Actually this is a funny point to bring up - believe it or not, there are legitimate situations in which a potential customer requires that they speak to someone or they will simply ignore the company. So as a software provider, it's absolutely true that you may indeed miss out on potential revenue if you dont have an established channel that isn't a "simple online cart".
Maybe so, but pooled testing as they refer to in the article involves using Lambert W function to solve for optimal size of individuals tested.
I agree with that, but null safety would be a big deal for correctness.