skysight-inc/HackerNews huggingface dataset:
Thanks. I asked ChatGPT about the relationship between invariants and Design by Contract: https://chat.openai.com/share/dd2313ac-6088-455c-9d03-01795e...
TWO BUCK CHUCK WENT UP AGAIN!?
I’ve yet to meet a customer that cares enough to pay for the necessary numerical analysis.
Great idea! Beats having to switch to the german keyboard all the time just to input umlauts.

The german layout is so suboptimal for actual work, its funny.

Z and are Y switched, so to UNDO you have to almost break your wrist.

Then they just randomly rearranged all the punctuation and symbols.

Why did the parentheses open-close move by one? Who knows…
Public schools can also grant children credits for classes taken in a local college.
I agree, the scale problems seem to outweigh the scale economies at N=2. At some point you get positive network effects where the older ones contribute to the care of the younger ones, but so far we mainly observe a lot of resource contention with frequent livelock exceptions requiring intervention by the parent processes.
have you heard of txt files?

If you want to proof you didn't temper with the historic data, publish a daily hash in some newspapers.
This takes programming by coincidence to a whole new level.
This... didn't answer my question? For many that are concerned with containers and such, they also have to audit the container process code. Such that, fine, try to use that to inflate the numbers on Linux.

Pointing at literally decades of device drivers as why the size of the code is bad, while acknowledging that it will take time to write device drivers so this will work on a respectable amount of hardware just feels weird.

That all said, please don't take this as a criticism of any of these ideas. I confess seeing Hurd in the headlines gave me a smile. Is nice to see people can still work on many ideas out there. I am only questioning the "size of code bad!" right next to "it will take us a long time to replicate a large portion of the code we just pointed at."
No mention of what the temperature range of this supposed "superconductor". Is it fair to assume that it's below 100K?
I think the point was that there are ways to have nobody in shelters without it being a well spent budget, and practically we don't know that there is a way to spend realistic levels of funding such that no one is in shelters, so while it may be true of some ideal policy it might well not be true of the best real policy.

I think it's a (marginal) nitpick over your wording, not intended as a defense of the metric you were criticizing, though of course dragonwriter can correct me on that if needed.
But Darwin, the iOS kernel, is Unix?
WorldCoin is a stupid idea and the entire crypto thing is a scam but these things are not as bad as MLM, lotteries and gambling. Everytime some country tries to ban them they will come under heavy US & WTO pressure.

Why do you think it's like that?
One alternative to Comlink is to use IndexedDB transactions and polling.

IndexedDB can be shared amongst Web Workers for the same origin (localStorage cannot).

https://dexie.org is a nice IndexedDB library.

As an example, if you have many web workers, each can write their current state or use transactions to take items from a queue, and a central UI can just query the single IndexedDB.
Neat, so are all world governments going to band together and implement UBI? Do you really think that waiting for all world governments to come together and figure this out is the right move here?

I admire the optimism (I think of myself as a pretty optimistic person too), but you've got to realize that there are reasonable people on this planet who think that waiting for governments to fix this is probably not going to turn out well. Some of those people are actually doing something about it, which is what we see here. Maybe Worldcoin works out, maybe it doesn't, but in my personal opinion, it's definitely an experiment worth running.
Damn, that's well beyond just "cool"! Can you share some more details on this? It sounds fascinating
Range warnings are going to be calculation specific. Adding a non-zero fixed point number "y" N times to a fixed-point number "x" will result in either an overflow or x+N*y.

If integer overflows trap (curse you Intel, C89), then repeated additions (important in many simulations) will either work as expected or crash.

Floating point operations are (for practical purposes) highly privileged because of extremely mature hardware implementations. Hardware implementations that make other forms of calculations more tractable are possible (and have existed in the past) and should be considered when evaluating FPs fitness for purpose, otherwise we will be stuck in the IEEE local maximum forever.
Never ask an LLM to generate a confidence score
Fuel cost is only one of the per-mile costs for a vehicle. Lifetime total cost of ownership still looks good for electric compared to gas: https://www.iea.org/data-and-statistics/data-tools/electric-...

I've also never seen a calculator that includes the time cost of refueling and maintenance for ICE vehicles.
Why would you install Arch-based Manjaro? Why not just go with a flavor of Ubuntu to start becoming productive from like minute 5? And if you're really trying to become a super-user why not NixOS?
I also like the Synology UI. It is helpful to see multiple apps at the same time and is especially useful when moving files around to have two or more file browser windows open.
It's knowing how to game their cultural class systems to your advantage. Also being a foreigner excludes you by virtue of being a foreigner.

With that said, I loved england and all of its quirks.
Is there a reason you built that cache layer yourself (rather than each node "just" running its own sidecar MinIO instance, that write-throughs to the origin object store?)
Implemented in OsmAnd, called profiles :)
Is there something similar for kids? I'm thinking under the age of 9 and haven't learned multiplication yet.
But again, as GP noted, isn't that a problem governments have already solved? If you want UBI it's going to be through the government, as that's the entity collecting the funds through taxes that would be distributed, and they already have a unique identifier for people. In the U.S. it's your SSN, which is conveniently also how they track you for income taxes (again, where a large portion of the funds for distribution are gathered)

If the government wants to link a retinal scan to a SSN, that might make sense with regard to UBI, but how does it make any sense for some random blockchain? Are we expected to think that even if a government wanted to use a blockchain they would use some third party blockchain and not roll their own? I find that highly unlikely.
Just ignore the blog post until the ToS is changed. Only one of them is binding.
Well, this is like buying a pig in a poke ;)

```
Plans

Please sign in to view plans.
```
Yeah, I think it's a really interesting thought experiment and social commentary. It's illegal to build a 20 room cinder block dormitory on a private parcel, while legal to build a Shantytown fire hazard in the sidewalk down the street.

You could easily build a SRO sized fireproof, cinderblock room (e.g. 10x10ft) for less than $5,000 per unit in materials.
Works for me, but ReadMe says: "The content of this demo account will be reset every 5 minutes."
Generative AI and a new version of old programming
Here is one, me, I think it's too expensive
Car Bloat: “Huge Cars Are Terrible for Society”
Ah good point w.r.t. the frontend focus and having documentation for your internet-facing API (even if it's not "public" per se). So they could probably test it against the prod API without needing to do arcane deploy or dev environment stuff. I was mostly thinking of backend dev. (stereotypical backend dev behavior I suppose).
Firefox mobile is useless. I tried to use it. I really tried. Finally I had to uninstall it to preserve my sanity.
Yeah this is where my mind went as well, instead of something like "climate change" or "self-driving cars".

If you're in the United States, I think the biggest problem you can solve is to make sure that you and your family are as insulated as possible from the US healthcare system.

- Get and stay as healthy and fit as possible

- Get enough money to where you can afford the majority of the care
you and your family need (either through work insurance or straight cash)

- Learn how to advocate for yourself and your family

- Understand how to minimize your chances of going broke as a result of a health issue
https://americanaffairsjournal.org/2022/05/iconoclasm-of-the...

https://www.theguardian.com/books/2017/dec/28/the-darkening-... [Note: this article accepts as factual late-Christian exaggerations of Roman persecution.]

https://www.artsy.net/article/artsy-editorial-egyptian-statu... [Note: this article confuses details about worship of Amun.]
Yeah, my car shows similar on startup.

"Our infotainment system is a danger for anyone to use because of the terrible design. Please press "I agree" to confirm it is all your fault and responsibility somehow." Mercifully but even more ridiculous, it just goes away without being pressed when you start driving.
As someone who switched from Windows to Linux in college, I have no regrets.

All of the rough edges I've encountered (usually) have resulted in a better understanding of how software actually works.
Thank you for looking into Steinway's technology in more detail. However, there are a couple of things that don't quite feel right about it.

Firstly, even if the sensing delay could be reduced to a couple of milliseconds, which I believe is perfectly plausible, I doubt whether the velocity of traditional solenoids could be controlled with enough accuracy to replicate the velocity exactly. They are on/off devices, so the only way to moderate the velocity is by rapidly changing the voltage by extremely small amounts. This I am supposing must need a feedback loop with a very complex function to account for different types of mechanical friction, electromagnetic impedance along the solenoid's coil and other factors that associate the voltage with the instantaneous velocity.

Alternatively, one could use a stepper-motor style linear actuator, which would certainly be very precise and could theoretically be powerful and fast enough to emulate a traditional piano's hammer. However, I have never seen such specialised stepper motors advertised, nor one small enough to fit in an unmodified grand piano action.

All in all, I don't believe that Steinway's really do have that capability, and I suspect that, whatever their measuring accuracy is, the precision of the actuator itself is more like a crude correlation to a few dozen levels of force than the claimed hundreds of levels. Of course, they do have a very slick-looking player piano, and I suspect that it what really matters for their clientèle.

On to your second point, I'm pretty sure that 4ms would indeed not be detectable. By 10ms I think I would be able to hear it; maybe there are people who could hear a delay shorter than that. As for phase, you can definitely detect the relative phase of two identical tones, but since an acoustic piano has up to three different strings each with complex harmonics I'm not sure you could pick out the phase of any individual tone that easily. However, I will admit that I am tempted to try now! :)
and never be able to build anything new.
> Manjaro is not superior or inferior to any other Linux distribution

quite the contrary, https://github.com/arindas/manjarno
Alex Blania
You are arguing a very separate point, one that I tackle in the next paragraph.
You need theml mtsl clips in order to achieve the vaccum. Bormioli Fido and Weck jars have been tested to be effective (YMMV) . What the inventor says is that is not really the metal but also its shape that breaks thwle microwave, after all my own microwave came with a metallic gadget to keep the dish near the grill.

My microwave broke probably for a combination of metal and some food stain on the metal parts of the jar, that is my gut feeling as well.

I am not really advising people to try, but it's a such interesting method that I am finding videos from actual chefs about it.

A similar way of unsupervised but likely slower and less reproducible cooking would be to submerge the jar(s) in a pot full of water and let them sit there for a while. The advantages being able to overcook things (e.g. the meat) if you want to and not risking breaking anything. You would consume more energy though.
Show HN: Medical LLM API on par with Google Med-PaLM 2. 92% USMLE accuracy
Hello HN!

I’d like to share a medical question-answering API which has state-of-the-art performance on the USMLE self-assessment exam. You can try out the MediSearch API in 10 seconds in this Colab [https://tinyurl.com/medisearch-colab], or test the search engine live at MediSearch [https://medisearch.io]. See our API page [https://medisearch.io/api] to apply for access. Some technical highlights:

1. State-of-the-art accuracy of 92% on the USMLE self-assessment exam [https://tinyurl.com/medisearch-eval].
2. Ranked 2nd on MedQA benchmark, closely tailing Google's Med-PaLM 2 (within ~2%).
3. The API provides article references as an output.

We’d love to hear feedback from this community! We’ve seen people use the MediSearch API to implement a chat bot or search field within their app.

Please note that MediSearch does not have a 100% accuracy. Therefore, a human professional should always make a final decision on the information suggested by MediSearch.

You can use the MediSearch API similarly to the OpenAI API [https://pypi.org/project/medisearch-client/]. If you’d like access to the MediSearch API, please email michal@medisearch.io or visit our API page [https://medisearch.io/api]. Please specify your use case in the application.
Isn't this this mono vs micro kernel debate all over again?
https://en.wikipedia.org/wiki/Tutankhamun%27s_meteoric_iron_...
Even if you don't care at all about file sizes (which is definitely A Take), there is the whole other side of improving image quality.

Everything about computer imagery is pretty sadly limited when compared to the capabilities of human eyes and brains. And for quite some time now the ends of the pipeline (camera sensors and computer displays) have been improving, but are bottlenecked by the middle of the pipeline (image formats).
FTFA: “If we can redistribute these resources—instead of putting them in a Hummer, put them in smaller cars or e-bikes—that’s preferable,” said Jay Turner

Or even PHEVs which typically have 1/10th the batteries and 1/10th the range of an EV, yet reduce fuel usage by 90% since most people's daily driving is under 50 kilometres or 30 miles.
Here are my two:

1. Software supply chains. Our civilization is built on top of a layer of software that has a gaping security hole the size of a gas giant planet. It's also recursive - software dependencies themselves have further dependencies and so on. As we get into a world with autonomous trucks driving down highways at 60mph and cars that collect a complete profile of location data history of unsuspecting drivers and upload them for "analysis", this problem will explode in ways that very few people can even imagine much less predict.

2. Linux distro upgrades. An Ubuntu LTS release or an RHEL release will eventually come to end of life. At that time, performing an upgrade across a fleet of servers is a complete fucking nightmare. You test everything that you know to test, hit deploy and watch as your servers go down and reboot with a new software version and restart various services and containers and hope everything will be ok. This is not sustainable. A solution is needed and is worth $$$.
> darker faces reflect less light and it's harder to extract data on key facial features like eyebrows.

Pretty much this. It gets even worse under non-ideal lighting conditions.

I mean, me? I pretty much glow in the dark. You’d be hard-pressed to find a whiter guy short of an albino. But I have friends who can practically disappear in dusk/twilight conditions, and the only way you’ll ever see them in the dark is if they look directly at you or smile.

And I have _great_ night vision. Facial recognition cameras? Yeah, not so much.
I understand what you're saying, but both are true.

1. Linux is too big. Even if we exclude the drivers, which are a majority of the kernel codebase, linux is still a massive kernel. Most microkernels are small enough to fit in the L3 cache, some are small enough to fit in the L2 cache. Linux, even if we could exclude the drivers, doesn't even come close. This inability to fully cache the kernel ends up negating the primary benefit that monolithic kernels have, which is performance. Linux spends more time bouncing around the cache than a modern microkernel takes to do an extra syscall.

To add to this, unless you are compiling your kernel specifically for your machine, your kernel is going to be a bloated compromise of the set of drivers that your system is most likely to see. That means that you will have dozens, if not hundreds of drivers compiled into your kernel which will never need to be used.

It's also too big in the sense that there are now far too many lines of code to be able to effectively monitor for vulnerabilites. That codebase size won't change when having a microkernel with the same number of drivers, but what will change is the ability of a single vulnerability to compromise your whole system. You have effectively compartmentalized vulnerabilities to their own address space. So in that sense, big codebases are a huge problem for monolithic kernels, but only a small problem for microkernels.

2. It will take time to write a ton of device drivers, simply because most of them aren't written yet. To that extent, Linux most definitely has an incumbent advantage. But that isn't to say that microkernels also have an advantage here. Anyone who has written a driver knows how much the ability to iterate quickly is helpful. Drivers in userspace can be written directly on the system that they will run on, with no virtualization or kernel reboots necessary, and with incredibly fast start/restart/stop. Userspace drivers are dramatically simpler to write, simpler to build, simpler to monitor, simpler to test, and simpler to distribute.

With all that being said, I definitely don't think Hurd is the future. But what could change the world is already out there but not really ready to use at the moment. One possibility would be an open-sourcing of QNX which is an amazing and incredibly mature microkernel OS, possibly the most mature in the world. If there are any bored billionaires out there reading this, please buy QNX from Blackberry and do that. Another possibility would be to put a shit ton of effort behind the SeL4 userspace, which is just too damn hard to do anything practical with at the moment.
Does anyone believe the UBI part is real? Or is it just part of the scam?
Is there any chance you'll create Intellij / IDEA extensions?
I don't understand the point of this post. OK, and then?

Same for the post it links to:

https://utcc.utoronto.ca/~cks/space/blog/sysadmin/AlertsNeve...

Again, OK, and then?

More succinctly than these two posts, the generalized problem is how to have a computer do something useful when encountering a state it hasn't seen before.

After reformulating the objection this way, a number of paths open up.
Me too until about 5 months ago. It's been a great CPU. I'm still using the same machine I bought in 2011 as my workstation, and in 2011 the 3930k was like jumping into the future with its 6-cores. It was definitely worth the cost considering how long it's been useful.

I retired the 3930k CPU 5 months ago when I decided to upgrade the machine to the fastest possible CPU that would go into the socket-2011 motherboard. I found a Xeon E5-2697v2 CPU on eBay for about $40 (currently $30 with free shipping). So it took me from the 6-core/12-thread 3930k up to 12-core/24-threads. It's the final upgrade for this machine, there's really nowhere else for it to go. Maxed out 64GB RAM, RAID10 8-drive array, decent modern video card. I tried to get a TPM module but the BIOS didn't recognize it so it won't install Windows 11 unfortunately, I tried the workarounds but no go.

I don't really need a new modern workstation, but when this system dies (if it dies, it's been a reliable workhorse), I'll get the fastest machine possible at the time and keep that for at least 10 or 15 years.
Use wandb. It is much better in every way.

We used TensorBoard in our company. I made the switch over to wandb. It is much nicer experience.
> Isn’t this though wrongly taking credit.

No, because it says "without really knowing it" right in the first sentence.
Adding any sort of complexity / unnecessary information will do that. Not quite following why this requires a study.
Power users use Gentoo.
how do you design avoiding message queues? Or do you use other alternatives around kafka for these things?
Okay, fair point.
"The key here is to look for problems that a kid can do without having to understand too much mathematical machinery."

This is exactly what math competition problems are for, no?

There are books available with past competition problems, e.g. from Math Kangaroo.
Thanks for the link. FYI, the link to the demo movie at the beginning is not working.
That's incredibly cool looking!
Yes, that's what I'm saying. But the generics researchers know exactly what they're trying to make. And they don't have to prove that their drug is better than the standard of care. Just that they synthesized the right thing.
Worldcoin puts off extremely bad vibes. I'm glad Africa is ejecting this mess.
Demanding RTO is a very bad look for a company whose lifeblood is remote work.
Manually adjusting timings is somewhat obsolete since the introduction of XMP, but you can still set all the subtimings on modern boards, most people just don't bother (although the gains can be not insignificant, especially if the XMP profile is poor). It's still dozens of parameters.
This isn't the posters line of reasoning at all, please don't derail the conversation with posts like this.
There are two options: a one time cost to remove ads ($20), or Sync Ultra which is recurring.
I have ten year old Sonos gear that still works. The feature I wish the speakers had most? A line in jack so I could use them with something other than apps. That is a kind of future proofing all powered speakers should have.
AdGuard works in iOS Safari for free. (The Mac version is also good.)

(Although you should continue to pay for YouTube Premium. I do, it's well worth it.)
This list is biased in a few ways, so it’s harder to calm these “major problems” when some of them are just fear mongered out of proportion.

To round it out though, here’s another list:

Uplifting the many men falling out of society

Protecting children and their parental rights

Reforming harmful public sector unions like schools and police

Eliminating systemically racist anti white laws in everything from affirmative action to farm subsidies

Eliminating anti white bias in hiring

Reversing the rapidly declining birth rates

Reducing the normalization of sexual degeneracy from porn addiction to the proliferation of digital prostitution (onlyfans)

Reversing the declining trust in institutions (media, public health, DOJ, etc)
Show HN: ChainForge, a visual tool for prompt engineering and LLM evaluation
Hi HN! We’re been working hard on this low-code tool for rapid prompt discovery, robustness testing and LLM evaluation. We’ve just released documentation to help new users learn how to use it and what it can already do. Let us know what you think! :)
Thank you! A lot of the context was lost for me!