skysight-inc/HackerNews huggingface dataset:
Benchmark of ZKVM and Proving Schemes
Benchmarking various Zero-Knowledge (ZK) proofs. It builds upon the original repositories of Halo2, RISC0, Nexus, SP1, Jolt, Circom, and Powdr with our implementations of proofs including but not limited to SHA256, Fibonacci, Poseidon operations.

Our aim is to benchmark the performance of these proofs, comparing them in terms of time, space, and other metrics.

This comprehensive comparison will not only highlight the most popular ZK proofs and their implementations but also deepen our understanding of their inner workings, developer friendliness and proving systems.

Do check this out and leave a star if found helpful.

https://github.com/babybear-labs/benchmark
The whole ecosystem is steadily moving ahead. They'll get there eventually I'm sure.
The problem is that it doesn't really train it - in a way it's the opposite. I've heard about someone using a belt which vibrated like that. After using it for a while they felt completely lost without it and lost all feeling of direction.
You actually need to let your brain do this for you, external input stops that. Though of course it would be nice with something like that, in general, if you could actually rely 100% on it.. which you can't, with GPS (in cities the direction may suddenly switch, for example, due to buildings playing havoc with the signal)
Link: https://github.com/babybear-labs/benchmark
> I say "decent" because most of the available training data for Pandas does things in a naive way.

They're around the level of the median user, which is pretty bad as pandas is a big and complicated API with many different approaches available (as is base R, in case people think I'm just hating on pandas).
You used that exact line of argument in another comment too. Nothing limiting it to DNA, and why would that matter anyway? It's like any other scientific research.
> I wonder what kind of magic they have that no other laptop brand is able to put better speakers in their laptops.

The answer is integration.

With Windows laptops, you have one company doing the sound card, one company doing the speakers and one company doing the enclosure. What you actually want is your sound card's equalizer curve being perfectly tuned to your speakers' frequency response, taking into account how their positioning in your specific laptop enclosure affects the sound. If your sound card maker doesn't know what laptop the card will go into, they just straight up can't do this.

There's also the fact that sound cards have to be conservative about how much power they output, to avoid blowing up the speakers. Apple knows the exact tolerances of the ones in their laptops. They even have special temperature sensors in them, so that they can increase the power even more, and go back to a safer level in software if the temperature ever crosses a safety threshold.
It happened on 11/9 in the rest of the world.
Wow, I dunno if that's good or bad, certainly it's not what I expected.
Weird, I’m pretty sure plenty of Scots are in Australia.

https://immi.homeaffairs.gov.au/what-we-do/whm-program/lates...
Last time this happened was 8 years ago wtf? https://news.ycombinator.com/item?id=13835823 Felt like it was 3 years ago.
It broke approximately 2018, and it works for most people. When it doesn't work, "why" it doesn't work is unclear, but it's very consistent for those of us to whom it happens.

I tracked it to a single OS update because it was one of the last iterations that still had removable SSDs. I could swap the drives and the USB failure moved with the OS.

It's almost certainly an overly zealous macOS USB HID driver. macOS will do very strange things if the HID descriptor and the USB report don't correspond exactly and it will do those weird things silently. People have had to work around strange macOS HID handling for quite a while now.
One thing I use HTMX for is to quickly hack interactivity into a more traditional site.

One example is incremental filtering: I added an input field, and made it (a few ms after the last value change) load the same page the user is already on with a query parameter that filters the items in the response. Then I just replace the list of items with the contents from the response, ignoring the rest of the page.

It's a bit wasteful perhaps, but all this took just a few lines of HTML.
Hmm, looks like my password!

edit: dang, looks like I'll have to change my password again
I think the real crisis is that everyday people can't get pain relief cuz some junkies OD'ed.

Wtf? We live in the dumbest possible universe of all possible universes.
Several other people have commiserated, so rather than do the same maybe we can help.

Are you quite sure you understand the atomic primitives you're working with? Mara's book https://marabos.nl/atomics/ is pretty good, it's written in Rust but like, if you thought you needed a Memory Ordering that doesn't cover you're boned because your tools don't support that order (and probably in an appendix or footnote somewhere they admit that) either.

Reach for tooling to diagnose ordering problems. Loom and Shuttle are where I'd start in Rust, hopefully you have equivalents in any language you're using. Those are: A thorough tool which tries every possible correct interleaving and tells you what happens, and, a probabilistic approach which just picks at random and figures on average it should find the problem cases (but we can't prove it does).

When in doubt, steal: There is often a published, correct, algorithm for whatever you're doing. It might take an hour to convince yourself that algorithm is correct, but hey, you're planning to spend four hours on your algorithm which isn't correct, that's a bad trade.

Rubber Ducks are invaluable. If you feel awkward addressing an inanimate object I don't recommend using pets or livestock as both have no reason to be attentive, try a human who likes you. The important property of the rubber duck is not that they understand what you mean, after all a plastic bath toy can't understand anything, but that you will feel the need to make whatever you're saying make sense and in doing so may uncover a place where your algorithm is inconsistent.
> much ink was spilled showing how no European paper would take on a corporation strong government support

Could you provide some examples of this? I know it's possible in the UK to get a court order to prevent media coverage, but I didn't know that was the case in other European countries.
GIMP 3.0 is going to be released soon. That might interest you.
>or you have to find MacOS installation disks from the dodgy high seas.

Mist[1] downloads them directly from Apple.

[1] https://github.com/ninxsoft/Mist or https://github.com/ninxsoft/mist-cli
More shallow 'do somethingism' nonsense. Regulate big tech with no mention as to what those regulations should even be.
There are a lot of people doing that expensive cool shit. Not everyone’s expensive cool shit needs to be the same.
The link you gave us to the actual paper doesn't work, but the PDF can be downloaded from https://jaha.org.ro/index.php/JAHA/article/download/1035/616

The caption to one of the photos in the article does mention an inscription on an altar, which goes well with “… and places of worship.”
Wat LLM coding tool do you want for Christmas?
Suggestions for putting LLM's to work on the command-line.
endorse this analysis and your assessment of the best Doctor
> What will replace Internet data for training? Curated synthetic datasets?

Perhaps a different take at this could be: if I wanted to train "state law" LLM that is exceedingly good in interpreting state law, what are the obstacles to download all the law and regulations material for given state that will allow me to train LLM such that it becomes 95th percentile of all law trainees and lawyers.

In that case, and my point is, that we already don't need an "Internet". We just need a sufficiently sized and curated domain-specific dataset and the result we can get is already scary. "State law" LLM was just an example but the same logic applies to basically any other domain - want a domain-specific (LLM) expert? Train it.
Bookmarked.

When I tried to wipe and reinstall stuff back in 2021, it was impossible to find old versions.

Nice to see that has changed.

Thanks for the links.
It's because it's just about impossible to handle: the number one thing a sheet of graphene wants to do is stick another sheet of graphene on top of it and become...regular graphite.
Catching people who jump off bridges doesn't involve lying to people who're entrusting you with their very last bit hope.

> and a vast majority are thankful of it

A statistic that (assuming it's true) suffers from the obvious self-selection bias of people who chose to jump off a bridge knowing there was a net to catch their fall.
In addition to what the siblings say, in case parent isn't aware of semantic versioning: https://semver.org/
Was reading about the Wright brothers recently. It still blows my mind how rapidly we went from the invention of powered flight to powered flight on another plant
I don’t think you’re using the word tribulate correctly here.
> Russians living in Empire of Evil can see all internet including US and EU news.

That's just not true, e.g. Russia also blocked the German propaganda channel dw.com (Deutsche Welle).
Is it just: smarter people look less predictable from a point of view of dumber people. (i.e., there may a perfectly good reason for a smarter person to behave a certain way, it is just not immediately apparent to the dumber one)
Probably not worth wasting your time with that one, a lot of deliberate low level trolling from a recent account.
The one at the root of the thread: "why would I ever use a hash that's slower than the fast, 'insecure' hashes, and isn't a serious cryptographically secure hash". This comes up a bunch!
Apple is the only company that makes integrated GPUs that are actually any good, and even their CPUs are really well-optimized for these sorts of workloads.

They also build their RAM in a way that makes it suitable for both CPU and GPU uses. This means you don't have separate CPU RAM and GPU VRAM, it's all just memory. If you get more RAM for your Macbook, that automatically means more memory you can use for LLM inference.

Yes, you can technically buy Nvidia, but you'd pay just as much for that if not more, and I don't think you can get as much VRAM in a consumer GPU anyway.
Isabelle proving environment implements this idea since at least 2005 when I started using it. One can interleave formal proofs and informal commentary in a theory file and one of the artifacts is a "proof document" that is a result of LaTeX processing of the file. Other options exist as well where the file is exported to HTML with hyperlinks to theorems and definitions referenced in a proof. There are also custom HTML renderers (since 2008) where a reader can expand parts of the structured proof when they want to see more details.
> post was immediately killed

I think the reason was the domain you submitted: globenewswire.com - which is just a press release dumpster, full of spam amongst a very few real news. Try the original source[0]?

[0]: https://www.nasdaq.com/press-release/annual-changes-nasdaq-1...
A little unrelated to this whole thing, which does hit me a bit personally since my cousin back in Iowa died of opioid-related dependency issues, but I have interviewed a lot of consultants over the years for various roles and they are without question the most consistently bad interviews. It's funny, when I was in business school years ago (please forgive me) getting a job at McKinsey or BCG was more or less the crème de la crème of post-MBA gigs. Now, when I interview these people it's so transparent that yeah they're very smart, but they literally know nothing. They've spent years cycling in and out of "client engagements", so they can give you a 30k foot view of what's going on, on a dozen different things, but when you try to dig into the details there's not a lot there.

I'm probably casting a wide net since my sample size is large, and I'm sure there are great consultants at these places who have spent more than a few months on something, and could do good work in tech or hardware. But so far for me it's something like 1/70.

Maybe I'm just that asshole interviewer.
Deep sleep doesn't work with Windows or Mac, and isn't needed on Linux either.

My past two laptops, ASUS and Lenovo, lasted days with modern standby. Not as great as Apple but good enough.
this argument comes up every time and it always ignores a critical aspect of medicine: not all procedures can be “shopped for”.

If I have cancer and I need to start treatment as soon as possible I’m not going to waste precious time comparing rates of infusion centers, especially given that one may be able to take me in for treatments 2 weeks sooner. That two weeks could make all the difference

If I have a heart attack, stroke, car accident, etc, that incapacitates me, I am simply incapable of shopping around for the best price. I am going to be taken in for emergency care and treated to the point of stabilization (or better, depending on whether I have a guardian who can approve more. Said guardian could theoretically shop around at this point but it is difficult given the potential emotionality involved and danger in moving someone who is critically injured)

Increasing provider supply is certainly a huge part of fixing things, if it’s done correctly. If you merely lower standards you just increase supply with substandard practitioners that overall worsen outcomes
Interfacing with external monitors (or at least 3rd party ones) seems to be a weak point for Apple.
I've read 3 or 4 detailed books about the assassination, but I don't recall the exact date because it was not interesting to me.
What is the advantage there that justifies bringing in another dependency? You've already got a let for binding parts of result and could use cond from clojure.core instead of match. It'd be effectively identical.
Go should sometimes be a no-go
If you do not care about speed, pretty much everywhere.

On any other computers with integrated GPU you can have more memory than on Apple computers, where memory is abnormally expensive.

The main advantage of the current Apple computers is a wider interface with memory, which provides a better memory throughput for their integrated GPUs.

In 2025 it is expected that others will catch up with Apple even from this point of view (e.g. AMD Strix Halo).
Or worse even. Early versions of OS/X were very buggy. I think people look back at that era through rose tinted glasses.
British trader found guilty of £1B fraud
Rollbacks on image based distros like Fedora Silverblue are as easy as selecting the old version on boot. Literally hitting down and enter.

Besides that, you never wait for updates to install.
This Week in Plasma: Better fractional scaling
DePIN Chrome extensions are growing so fast 100k, 400K+ users/month
I checked many extensions and almost all were about crypto trends called DEPIN. I don't know if it's good or bad. But it's growing so fast.

https://webextension.net/top-authors?period=3m
Hallway track is where the magic happens
Bon Scott didn't do a lot of PC support, but he did have a hand built amplifier from one of the early legends of the BBS scene.

https://trevormarshall.com/bon.htm

http://www.bbsdocumentary.com/photos/104marshall/index.html
He is overly optimistic about timelines, but he usually delivers. Or did I imagine his company catching a fucking rocket out of the air with chopsticks? Guess that was under delivering
Go look up when vioxx happened and tell me what's significantly changed since then.

Oh, and realize we have emails from executives about hiding the evidence that vioxx causes heart attacks, before the drug was approved.
Doesn't seem to jibe with https://www.techspot.com/news/105929-russia-tests-cutting-it...
CS doesn't really classify as a "hard science" either, to be fair.

All my physics professors, for example, were anal retentive about error bars--you had to put your error estimates in the notebook in ink before you took measurements. If something was "better than expected" you were about to have a painful journey figuring out why.
Rainstorm is serious, but not yet publicly vetted. Anyway, I thought that might be your question. You don't have any answers?

If not...Oh well, you might have to wait until it gets analyzed a lot. Use Rainbow now without fear: fast, statistically great, and unlikely collisions - which makes most uses better. As someone else put it: "fastest 128-bit and 256-bit non-crypto hash, passes all tests, and under 140 source lines of code."
Let me guess: the bank itself will get away scot-free, even though they claim to have very robust system against abuse, but it is not their fault that their company helped in this fraud. They are actually a victim who happened to gain millions in commission (which regrettably cannot be used for anything else but for year-end bonuses)
With all due respect, you have to figure this out since not many people are going to pay $700 for half of what a $100 device can do. Honest advice not a critique. It must be hard not to read the negativity from some comments but this is already a great job that you had done! You just need to continue building on it IMHO.
How Accurate Is the Sensirion SGP41 TVOC Sensor?
I thought we’re supposed to be plateauing!?
It's funny. It will always be funny.
I'm so proud of my decision making when I was younger to avoid this path though it was considered an elite path
Web scraping is legal and benefiting from published works is entirely the point, so long as you don't merely redistribute it.

Training on X doesn't run afoul of fair-use because it doesn't redistribute nor does using it simply publish a recitation (as Suchir suggested). Summoning an LLM is closer to the act of editing in a text editor than it is to republishing. His hang up was on how often the original works were being substituted for chatGPT, but like AI sports articles, overlap is to be expected for everything now. Even without web scraping in training it would be impossible to block every user intention to remake an article out of the magic "editor" - that's with no-use of the data not even fair-use.
Ussername [does|does not] check out
Thanks for replying! I agree with you.
A tiger walked 100 miles in a straight line to find his mate... how did he know where she was? Nothing about that?

Separately, amazing work by scientists at the Wildlife Conservation Society
Any recommendations for thinkers writing good analysis on the implications of superintelligence for society? Especially interested in positive takes that are well thought through. Are there any?

Ideally voices that don’t have a vested interest.

For example, give a superintelligence some money, tell it to start a company. Surely it’s going to quickly understand it needs to manipulate people to get them to do the things it wants, in the same way a kindergarten teacher has to “manipulate” the kids sometimes. Personally I can’t see how we’re not going to find ourselves in a power struggle with these things.

Does that make me an AI doomer party pooper? So far I haven’t found a coherent optimistic analysis. Just lots of very superficial “it will solve hard problems for us! Cure disease!”

It certainly could be that I haven’t looked hard enough. That’s why I’m asking.
Terrible decision. Upper Volta was the coolest country name on Earth. Who wouldn't tremble before the Upper Voltaic Ambassador?
Because Linux pre-dates that work significantly (over a decade) and even multi-processor Linux pre-dates it by enough that it could not have waited, the Linux ordering rules are actually different from those C got from C++

One of the interesting problems for Rust-for-Linux is what to do about that, Rust has all of the C++ 11 memory ordering except the problematic (and in practice abandoned) Consume ordering, but it doesn't have a convenient way to admit a different model, yet Linus isn't exactly likely to wake up one day and declare now Linux has the C++ 11 ordering model.

As to your concern, of course the compiler vendors have to worry about portability. It's all very well to say this works on ARM, but the expectation from a person writing Rust or even C++ is that a correct program should work on all of an ARM, an x86, archaic PowerPC and somebody's cheap in-order embedded CPU.

If the vendor only really cares about one architecture (cough, Microsoft) then they might invent weird rules that only really make sense for that architecture and your "correct" programs either don't work, don't compile, or are very slow on every other CPU. But that's hardly a reliable way forward into the future.
It's more along the lines of: You're going to do things they don't like, but if they kill you (or even if you die by accident), you'll release even MORE damaging material that could harm them to a far greater degree. It doesn't even have to be court-admissible to be damaging.

This is about leverage, and perhaps even bluff. It's never a binary situation, nor are there any guarantees.
An approach to assessing tsunami risk to global ports under rising sea levels
everyone that has responded so far has it wrong (naively so).

FB sells ad space on several apps. those apps needs people on them in order for the ad space to be worth anything. people, in turn, need content to attract them to the apps. so it's simple: enable people/companies/whomever to generate tons of content for cheap and consequently share it on the apps. that's it.
> rather live a long, happy and productive life dependent on cheap, legal opioids

That’s BS. OxyContin addicts tend to experience withdrawal symptoms before the recommended 12 hours is up, they also develop tolerance, so they end up requiring larger and larger dosage with increasing frequency. You’re not going to sustainably live a long, happy and productive life even if you have a cheap, steady, relatively clean supply of it.
Uv, a fast Python package and project manager
In a lot of ways, the statistical processing is a novel form of
information retrieval. So the issue is somewhat like if 20 years ago
Google was indexing the web, then decided to just rehost all the
indexed content on their own servers and monetize the views instead
linking to the original source of the content.
Build a Free AI-powered photo location prediction website
It's after midnight here so take this with a grain of salt but the generated timetable for the puget sound is taking up about 40 MiB on-disk and the server process is using 100k of RAM I think. Most of the timetable is zero-copy so it can be memory mapped on a platform that supports it. So yes, I think it would run on a phone. See also mobroute, which powers Transito

https://git.sr.ht/~mil/mobroute

https://git.sr.ht/~mil/transito
A bit of nostalgia.

Switch to whatever you want
https://youtu.be/9GO3mccvTCs
Are you absolutely sure that right at this moment some startup isn't gathering funding for a proper artificial sun?

I mean, they don't have to succeed, just to convince the angel investors to put some money in...
Just realized that one can make up a lot of plausible JS library names without leaving the home row.
Well there is the Chinese and Russian example. The power just gets misused and creates it own issues.

People want simple and quick solutions. And they dont like answers they dont want to hear. Specifically about what behavior is rewarded and incentivized. As Veblen pointed out a hundred years ago, the flaw with Marx is not that there are exploiters and the exploited, its that there is the Leisure class and everyone else who given a choice wants that lifestyle.

The entire media and edu system promote consumption, wealth and status accumulation 24x7. When you are constantly hit with these signals punishing a few people here and there is just for show.