skysight-inc/HackerNews huggingface dataset:
> Virtual threads are on top of that a developer experience improvement. Code is easier to write and maintain.

except now you need to prove somehow that all 100 libs in your project support virtual threads.

> Virtual threads improve throughput because the moment a task is waiting for anything like IO, the thread is able to service any other task in the queue.

from reading similar discussions, linux for example doesn't have true IO async API, you just push lock of Java thread to lock of thread in the kernel
You can always just download the code, nobody's forcing you to use a package manager. It just turns out that unless you want to spend most of your life building and fixing other people's code, it's much easier to use the package manager. The inefficiency is the price we pay, but it's worth it.
AI Lawsuits Worth Watching: A Curated Guide
My company's VPN had some weird quirks with routing and DNS that were preventing me getting to certain web frontends, and being able to do a quick SOCKS proxy to get my Firefox accessing the corp network as if it was doing so from a machine in the office was a lifesaver.
Are you sure you are not depressed? Depression isn't the "I'm very sad" meme that TV and movies makes it out to be, at least not for everyone. Having nothing wrong but just not being happy and having limited motivation is absolutely one way it can manifest.

Or it could be ADHD or a plethora of other things.

So you'll get the same advice as anyone else who feels generally bad - talk to a doctor. Maybe there is a medical thing going on. Maybe there is a mental thing going on. Ask a couple professionals to evaluate you, and maybe you'll find a path to improve things.
With ChatGPT it is a great time to learn new programming languages.

Questions such as "give me table with a glossary of basic Prolog terminology with examples" as well as others can be helpful.
An alternative I am seeing mentioned with some frequency is Tailscale, which doesn't need port 22 open to the internet, since it's using its own network's connectivity to facilitate your "tailscale SSH" connectivity. From what I read it's very similar to Amazon's SSM Agent.

The usefulness here is that you're closing off ports and reducing your exposure, the downside is that you need proprietary agents installed on the remote devices, and clients (tailscale itself or the SSM extension to AWS CLI) on proprietary networks doing the routing for you. Which might be perfectly fine for your use cases.

I've done even less reading but is Cloudflare's WARP client the same thing for their own network?
Another prescient "talk" is Douglas Engelbart's "Mother of all Demos", from 1968 where he shows off the mouse and other technologies that became commonplace. It feels remarkably contemporary and other than the obvious age of the video, feels like a modern day conference talk.
Where's the source code? The article links to their Github but I don't see it there.
I am glad to hear that the intersection of Diary Authors and Humane Cow Owners has such a healthy overlap. :p

But seriously, how the US treats veterans is nuts.
Ahh, good times. SSH tunnels and FoxyProxy to run X11 applications on remote servers.
Reminds me of https://hypem.com/
> Question, does it strip metadata? Because ideally that's what I'd expect from a "privacy-friendly" tool.

Why would you expect that? I expect privacy to mean that the service isn't harvesting my data. I wouldn't expect it to strip the tags from my music.
Part of me wants something like this to break my addiction to the back catalog of apps I doom scroll. Part of me knows that it's my own doing.

The UI and industrial design of this is cute and approachable. Love it.
Mistral AI, Nvidia Unveil Mistral NeMo 12B, a Cutting-Edge Enterprise AI Model
Elon Musk promoted racism?
If a soldier class is needed, they will be the new middle class. But they may not.

> Now, OTOH, if at that point, robot/AI weapons are sufficient so you only need 10 people to run the entire US Army.... then it's game over.
I use a site called https://www.queup.net which is a successor to turntable.fm. You find a "room" with a genre of music you like and just sit back and listen to people DJ using soundcloud and youtube videos. I have it on all day in a room that is majority electronic/chill/lounge and mostly non-vocal. I've learned about so many artists this way but you need to find an active room you like, and sites like these tend to skew towards the many different electronic subgenres
If I understand correctly, there are 5 free credits (= 5 images) when I create an account. Do you plan to offer more free credits over time? Or have a plan that doesn't require a subscription?

The product looks very nice, but I'm not willing to get a monthly subscription for this (I could pay, but I have very occasional needs).
This is one element of the unraveling of the "Tesla is special" meme. Tesla is special because they went pure electric and they didn't end up subscale and out of money like almost every other attempt. Rivian got $5 billion by saving VW's software situation and that might put them over the hump.

Tesla, however isn't special because of FSD. Tesla isn't going to stay special with an out of date battery architecture. Tesla didn't change the definition of a pick up truck. And a six year journey to robotaxis is a transparently cynical attempt to keep the meme alive.
He did not say that open E2EE could not be developed. Of course it could, someday, maybe.

Meanwhile the proprietary networks that literally billions of people already use have had E2E for 10+ years.
Raw Power for macOS
This should not be on HN, esp not front page.
Does it have any relation to Nvidia's Nemo? Otherwise, it's unfortunate naming
This is reminding me of the somewhat epic journey that was taken in 2013 to deliver a giant muon storage ring magnet to Fermilab from Brookhaven (on Long Island). It couldn't be tilted by more than a small angle anywhere in the journey, which was done by barge down the east coast, around Florida, up the eastern part of the Gulf, then via various rivers and the Tennessee-Tombigbee Canal, ultimately near Fermilab, where it was finally trucked in, very slowly, on a massive wheeled carrier.

https://muon-g-2.fnal.gov/bigmove/
Well for lot of people the ones changing the world are role models. Gandhi was terrible to his family but he remain role model for billion people.

> Maybe that's why polls say people think less and less of democracy..

It could also be because democracy did not deliver the things people who voted were expecting.
Hi! Do you mean the MOSFET and BJT cannot perfectly align with the background grid?
I really want to solve your problem, but I cannot fully understand the issue you are facing. If it's not too much trouble, could you join our Discord and share a screenshot with me?

I really don't want to upset you.
Here is the discord link: https://discord.com/invite/TfwZ3hH2D2
or you can email the screenshot to me: darren.huang@viscircuit.com

Thanks you very much
> Today, we are excited to release Mistral NeMo, a 12B model built in collaboration with NVIDIA. Mistral NeMo offers a large context window of up to 128k tokens. Its reasoning, world knowledge, and coding accuracy are state-of-the-art in its size category. As it relies on standard architecture, Mistral NeMo is easy to use and a drop-in replacement in any system using Mistral 7B.

> We have released pre-trained base and instruction-tuned checkpoints checkpoints under the Apache 2.0 license to promote adoption for researchers and enterprises. Mistral NeMo was trained with quantisation awareness, enabling FP8 inference without any performance loss.

So that's... uniformly an improvement at just about everything, right? Large context, permissive license, should have good perf. The one thing I can't tell is how big 12B is going to be (read: how much VRAM/RAM is this thing going to need). Annoyingly and rather confusingly for a model under Apache 2.0, https://huggingface.co/mistralai/Mistral-Nemo-Instruct-2407 refuses to show me files unless I login and "You need to agree to share your contact information to access this model"... though if it's actually as good as it looks, I give it hours before it's reposted without that restriction, which Apache 2.0 allows.
> Nobody who is serious thinks medical marijuana can cure any specific disease.

Have you seen dispensary advertising my friend?
What kind of flakiness? The only AMD GPU problem I have had involved a lightning strike killing a card while I was gaming.

My nvidia problems are generally software and update related. The NVidia stuff usually works on popular distros, but as soon anything custom or a surprise update happens then there is a chance things break.
It looks like it was built jointly with nvidia: https://huggingface.co/nvidia/Mistral-NeMo-12B-Instruct
It's for multi-tab support.
Extremely convenient. Nice to see WASM is enabling such use cases. It's crazy how many online converter websites and none of them are good (ads, paid features, etc.).

My recommendation: think about PDFs. A lot of space for disrupting existing conversion websites there when it comes to speed, privacy, UI/UX. Not even anything complicated: splitting, combining, rotating, compressing, etc.
PDP-8 Pocket Reference Card (1974) [pdf]
Shipping incidents taking out major spans is a once in a quarter century kind of event in the US (at the very most). Smaller spans get taken out every decade or so. So it is a known problem.

Most modern bridges do take into account the possibility that there will be collisions. But it is also very hard to protect against a collision with an object that weighs 100k tons or more. By the time the boat is crashing into the bridge it’s too late. The solution is to design better systems around preventing things from getting to that point.

A good analogy is airport security. We are very bad at keeping weapons off planes. The TSA routinely fails to find knives and guns. The reason we haven’t had any more 9/11s isn’t because we made buildings airplane proof or because TSA doesn’t let box cutters through (they absolutely do). It’s because we learned to pre-empt coordinated well organized attacks using intelligence, and we hardened physical security at the cockpit door (I’m guessing mostly the latter).
I've come down to the same conclusion and automating with fabric and paramiko
You better believe I went straight for the cheetah page. No, I didn’t know they’re about 59 inches long! I learned something new today!
No problem. Thanks for your feedback!
This phraseology is the profane modern indignation. Beware what your own foolishness will program into to your minds.

I have a bone to pick about those academic hacks and how their couched morality exercises corrupt our sensibilities.

The train car and the hostages scenario. Now someone wants to train auto driving to choose fewer qualities in a death match?

Morality is the imperative to permanently put an end to these hostage dilemma. Catch and demise whoever put you up to it.

To fail gracefully is all our technology should be working out. To self district if necessary, safe fails is the science our generations should philosophize upon.

Scenarios framing morality as lower point sacrifices are fraudulent. They do not exist in reality. They must be contrived, and the supremacy of will shall have whatever outcome the masterminds' intersection with chaotic reality produces. The prevailing side will call theirs necessary and move on.

Precepts of law will have to be a separate thread.
In India and Spanish for me too. However, I can select English from the selection dropdown above.

Anyways, why is that even the Big Tech does this! For instance, Google Maps will default to Dutch (which in the land of the Dutch) while my OS, the browser and everything else is in English. I found no option to say “English” and be done with it. I can translate but that isn't the correct way to it.
Compare to inflammation which might kill 1 in 10,000 before reproduction. Cancer in seniors doesn't.
An algorithm?!? Oh god, an algorithm!!

With all of these scare mongering headlines (paywalled article), I need to know... how bad are the humans (without algorithms) compared to the .... algorithms.
OpenAI slashes the cost of using its AI with a "mini" model
Cellebrite Unable to Unlock iPhones on iOS 17.4 or Later, Leak Reveals
Yeah, the ephemeral, no-record nature of verbal hallway conversations makes them more candid.
Not that I necessarily advocate for frameset insanity, but you know what? That is a shame. My controversial (?) opinion is that browsers should literally never break anything that was once a part of the web platform unless there's simply no other choice. If the size of it is getting too big... first, stop adding more shit. (And then maybe, implement some old features in terms of some newer ones. Not really "web platform" but I am a huge proponent of what Ruffle is doing for the web.)
We took a vote and decided it should be at the front.
It's a proprietary network but not proprietary agents (except the bits specific to proprietary platforms).

One handy feature this enabled is that you can include their open source go library in your program and avoid needing to install anything besides your own binary.
Yes.

It is trivially easy to create loops of rules when describing abstract properties.

Concrete properties tend to have "levels" to them, but many human concepts are self-referential.

In this way, its possible to spot that there may be an issue now or in the future, because the presence or lack of a loop depends on the specific choice of dependencies of a concept. However spotting the potential for a loop doesn't do a lot to help remove its potential existence, or show that it is there or not there.
The title of the article is usually cached wherever it is shared. The Facebook post, Discord link, Google search result, and even the HN post could be a snapshot of the title when it was indexed or shared, not necessarily when it was clicked.

So you wouldn’t get the signal you hoped for.

Making distinct URLs for each different headline would solve that problem, but I think you’d get flagged for duplicate content across your site. SEO would suffer, unless I’m mistaken. We’d need an SEO expert to chime in.

In reality, editors and authors who have been doing this for years already know how to make titles into clickbait efficiently. They know what works best from experience and hundreds or thousands of personal trials.
Is "Parameter Creep" going to becomes a thing? They hold up Llama-8b as a competitor despite NeMo having 50% more parameters.

The same thing happened with gemma-27b, where they compared it to all the 7-9b models.

It seems like an easy way to boost benchmarks while coming off as "small" at first glance.
Running TPC-H Queries on Iceberg Tables from PostgreSQL
Aurelius systems is a newly funded directed energy startup building counter-drone laser guns. We're hiring for a series of founding engineers - working in person in pac heights, San Francisco.

Positions are:
1. Founding Mechanical / Electrical engineer
2. Founding Software / Robotic systems engineer
3. Founding Optics / Laser systems engineer

If you love lasers and this country please reach out. Hires will receive a copy of meditations and an electric scooter to join our laser scooter gang in SF.

contact@aureliussystems.us or the linkedin link.
This is a great quote and sadly true. What text is this from?
Do you think, if I personally buy him a shift key, he'll use it?
Warner Bros Discovery drafts break-up plan
Exciting, I think 12B is the sweet spot for running locally - large enough to be useful, fast enough to run on a decent laptop.
Read text under photos in gallery here:

https://www.wired.com/2014/04/steve-jobs-stereo-system/
In case anyone besides me had never heard of this feature:

https://support.mozilla.org/en-US/kb/how-use-firefox-contain...
That's nice and all, but as TFA already mentions, ssh has a large attack surface. The most critical one though is that you usually grant people access to a shell, so if an account gets breached, you need to worry about local root exploits, which are actually pretty common.

Also, believe it or not, setting up key-based authentication is quite the challenge for a lot of people, especially if you demand encryption of the private key and setting up an agent. However, you cannot enforce private key encryption server-side, so you can't even guarantee some kind of 2FA is in place. Yes, ssh does nowadays support FIDO, but that's even more complicated for users...
> and points to the possibility that one day we might be able, in any given situation, to ask a computer, “What would Aristotle have said?”—and get an answer.

Steve Jobs predicts ChatGPT. Off by 40 years, but nobody's perfect.
Trains rendered them largely obsolete.

There were other canals tried in New York to variable (generally lesser) success, for example the Chenango Canal from Binghamton to Utica. Most eventually closed due to competition from railroads.

https://en.wikipedia.org/wiki/List_of_canals_in_New_York
qemu lets you boot VMs over ssh:

$ qemu-kvm -hda ssh://example.com/var/tmp/fedora-39.img -m 2048

The magic here is done by https://www.libssh.org// which we also use in https://libguestfs.org/nbdkit-ssh-plugin.1.html
One big difference is Jobs didn't push his assholery on the world by taking over the world's dominant* social media platform to shape it in his own fashion.

I greatly admire what Elon did to push the world into EVs where no one had succeeded before him. I also think all that power and money has amplified his weaknesses and turned him into someone who I would never want to be in a position of power over me or others.

Elon also strikes me as very immature compared to Jobs, like a spoiled little brat.

* one could argue that would be FB but the nature of Twitter made it the platform of choice for anyone who wanted to broadcast their thoughts (or news) vs connect with a group of followers
These spacecraft always have tons of instruments for measurings along loads of different axes. For example, a magnetometer specifically designed for testing a hypothesis about Europa's magnetosphere. Looking at the wikipedia page it seems like there are about a dozen of these. Perhaps worst case scenario they could determine which one was least critical relative to its weight and eliminate it to increase the mass budget.
Apart from the complexities added by having to build this in the first place, this works, but requires a desktop environment, which is not true of ssh.

You could make the argument that this could be an off-the-shelf product you simply install, but then the default port for it because as big of a target as port 22 as soon as it becomes commonplace enough, except you don't have 20+ years of open-source security research in it, and now you're relying on AWS not being now in your region to connect to your servers.
What would happen if it was mandated by law that all prospective employers do this?
Yes, Europe did invest:

https://semiwiki.com/semiconductor-manufacturers/333584-how-...

"TSMC and Philips have deep historical ties. In fact, TSMC may not have existed without Philips. In the 1980s TSMC was established as a joint venture with Philips Electronics, the government of Taiwan, and other private investors. Several semiconductor companies were approached by Morris Chang for funding including semiconductor giants Intel and Texas Instruments but neither chose to participate. Both Intel and TI are now TSMC customers so it came full circle."

ASML is also a Philips spinoff from the time in which large European corporations sold off their IP to basically anyone. So the Trump quote in the Reuters article is wrong, in that not 100% of the U.S. chip industry was stolen; but you can bet there was technology transfer from Philips (European chip industry) to TSMC in the beginning.
There are classes of infinite loops that are harder to spot for beginners, it takes a while to really understand the execution model.

Prolog variables can have two states at runtime: unbound or bound. A bound variable refers to some value, while an unbound variable is a "hole" to be filled in at a later time. It's common to pass an unbound variable into some call and expect the callee to bind it to a value. This can cause problems with infinite recursion where you intend to write a call that binds some variable, but the way you've structured your program, it will not actually bind it. So the callee ends up in the same state as the caller, makes a recursive call hoping its callee will bind the variable, and down the infinite recursion you go. With experience you can definitely spot this in code review. You'll also catch it in testing, if you test properly. But it's different enough from other languages that learners struggle with it at first.

Another source of (seeming) nontermination is when you ask Prolog's backtracking search to find an answer to some query in a search space that is too large and may not contain an answer at all, or only an answer that is impracticably far away. This is also sort of Prolog-specific since in other languages you rarely write the same kind of optimistic recursive search. This is harder to spot in code review since it's really application-specific what the search space looks like. But again, you test. And when in doubt, you direct and limit the search appropriately.
I don't see how it will die when it can imitate fixed length SIMD very easily. Not to mention that Arm too is pushing length-agnostic vector computing -- not very hard so far, admittedly, and they haven't yet departed from the 128 bit NEON vector register length. The very first SVE implementation, by Fujitsu, used 512 bit vector registers. And was the fastest supercomputer in the world for a while, so the concept is not obviously rubbish.
The fundamental assumption here is that you are in such a fantastically stable environment that you can spend days planning the next 8-12 weeks, and then that plan is actually reliable.

My experience was that maybe 20-40 percent of the plan ended up working (blocked by external factors, shifting market landscape, missed or unexpected work coming up), and then there was a huge amount replanning and time wasted.

I just cannot reconcile that 8-12 week cycles is in any way conducive to agile development.
SF District Attorney Jenkins' crime crackdown brings hope to Tenderloin
Drives me nuts that somewhere along the devops journey people decided that SSHing into a private server used for internal tools is an antiquated and outrageous thing to expect. People for some reason are actually excited about the prospect -- "we're gonna make it so you never have to SSH!". Little do they know that I like SSH. A lot more than I like clicking on the AWS console. And then somehow we're expected to debug the bastard using logz.io or similar -- unconscionable to me but maybe I'm old
Ignoring moral and sanitary considerations of accessing a dead body, it just won't work. Most modern phones use capacitive sensing during the process. Once tissue is dead, it loses its electrical charge and will fail to activate the fingerprint sensor, making it impossible to unlock the phone this way.
Yes, it's the worst of both. Dexie is at the mercy of the aforementioned issues with IDB (differing browser implementations, blocking of the main thread, hard to debug, can't actually guarantee persistence beyond "best effort"). The issues are much more prevalent on mobile browsers in our experience (iOS Safari in particular being the worst), to the point I think we'll need to move off it for our persistence layer in our own app and will unfortunately be forced to require our users to download wrapped apps (Capacitor and Electron) if they want offline persistence guarantees.

But yes, the Dexie API is indeed a much better experience for working with IDB.
Oof.
I know this is an example but all of those look like they would be better served as interfaces.
Humans just can't handle statistical pattern recognition.