skysight-inc/HackerNews huggingface dataset:
Nothing ironic about it, nukes have made their owning countries impervious to invasion. Peace through superior firepower as they say.
The F-35 was never really intended to be durable or reliable for ongoing use in long wars of attrition. It was designed to be survivable on penetrating strike missions against near-peer adversaries. Essentially to "kick the door in" and destroy high value targets such as air-defense systems during the first few days of a conflict. War games and simulations have shown that simpler designs can't accomplish that mission anymore so concerns over F-35 durability and reliability are somewhat misplaced (although there is certainly room to improve mission readiness rates).

No one is even remotely contemplating sending F-35s to Ukraine. Besides and costs and security risks, the Ukrainians unfortunately have nowhere near the infrastructure and logistics to sustain such a complex platform.
> Additionally, docker’s liveness checks broke, because the images don’t have curl in them anymore

And that's why you use Nix to build your Docker images!
The Apple Vision Pro Is Unrepairable? [video]
What a great article! Not an area of special interest of mine, but the piece was a joy to read.
Hopefully the CFO then gets shown the door and a possible lawsuit.
GPT4: Concurrency and Cost
We're developing an NLP-to-SQL application utilising OpenAI's GPT-4 to enable users to query Australian Census data via natural language. We've encountered issues with OpenAI's API rate limits, impacting user concurrency given our Tier 2 status. Our typical queries are about 3000 tokens each, limiting the number of simultaneous users.

Has anyone encountered similar challenges and how have you addressed them? Specifically:

Is there comprehensive literature or resources on managing OpenAI API costs effectively?
Would implementing a caching strategy, such as storing frequently asked questions in a vector database, mitigate the rate limit issues by reducing direct API calls?

Any insights or experiences shared would be greatly appreciated.
I imagine their point is deciding whose home address is used among many people working on a music festival, is tough. If that person leaves/is disgruntled, it’s still THEIR name and address on the account, where as most business mail boxes can be shared.

Not sure of the legal implications of that, I’m just reading their comment how I think they meant it to be read.
Microsoft Word's Subtle Typeface Change Affected Millions. Did You Notice?
> If latency is consistent you get used to it and learn to deal with it.

Too true. I played so much WoW on 56k that when I finally moved into an area that had high speed internet I basically had to learn to play all over again. IE stop compensating for pings in the ~300ms range.
https://archive.is/9tw3p
Please don't pretend religion has any answers to any real world problems, it just causes problems.
Thanks, I'll fix that
Because developers are so eager to take technical advice from the White House...

(Yes, I know, it's the White House Office of the National Cyber Director, not Joe Biden. Still, if you're a developer, and you are developing in C/C++ because reasons, and this announcement comes out, is that actually going to change either your mind or your reasons?)
From their press release:

> Now live globally for 1 month, the numbers speak for themselves:

> * The AI assistant has had 2.3 million conversations, two-thirds of Klarna’s customer service chats

> * It is doing the equivalent work of 700 full-time agents

> * It is on par with human agents in regard to customer satisfaction score

> * It is more accurate in errand resolution, leading to a 25% drop in repeat inquiries

> * Customers now resolve their errands in less than 2 mins compared to 11 mins previously
It’s available in 23 markets, 24/7 and communicates in more than 35 languages

> * It’s estimated to drive a $40 million USD in profit improvement to Klarna in 2024

All but one has actual numbers attached. I wonder why that last one doesn’t.

https://www.klarna.com/international/press/klarna-ai-assista...
SQL also has a lot of edge cases where, because half the syntax got bolted on after the language was initially finalized, a conceptually simple request can turn into a multi-level mess of a query.
My friend at SpaceX told me (rough memory from a chat) that they almost made the flight control software for Starship in Rust but at the last minute someone got cold feet and they went with C or C++.
> By the way, I like your writing on your site.

Oh, thank you!
Was this caused by an overload of traffic?

Additionally, you should be more critical of the institutions that make billions of dollars off your money

Having spent most of my career architecting highly available systems, I'm cognizant of the fact that there's no way to guarantee 100% availability, the more 9's you architect in, the more complicated the failure modes are.
RAG is dead Long live RAG
You don't know many hunters then, or worse, you believe them when they tell you stories about hunting.
Really great and interesting blog post! The different categories of domain types identified all seem useful. It's clear how practical these ideas can be when implementing or thinking about domain-specific types. I'll definitely be keeping these terms in mind for future programming.

> Identifiers have no structure, i.e., we don’t care about their internal representation. The only fundamental requirement is the ability to compare values of those types for equality. This lack of structure suggests an appropriate mathematical model for such types: a set, a collection of distinct objects.

I don't understand what this is trying to say and this "mathematical model" of sets doesn't seem to be applied further on. In math, objects are usually always assumed to have a notion of equality, so I don't see how that alone implies a set. A mathematical abstraction that matches the `Eq` trait would be a setoid.

The `LocusLike` trait is a lot like a metric space with a total order. I wonder if it can be implemented by things that are not basically numbers under the hood (not that it needs to, just curious)?

> Unlike design patterns, the universal domain types are based on mathematical abstractions and can be specified precisely.

I feel like this is over-selling it a bit. I think the ideas are great but, at least as presented here, I don't think they are rigorous enough to deserve the label "mathematical abstractions".
NVLink is most needed for training. For inference a lot of the popular models can usefully be run on multiple GPUs without it:

https://www.reddit.com/r/LocalLLaMA/comments/142rm0m/llamacp...
Used to be something that companies just generally recognized as a good thing. Look at workplaces built in the 60 to 80s and basically all of them had cafeterias as part of the building plan. [1]

[1] https://www.nytimes.com/1985/11/24/nyregion/company-cafeteri...
As a company that's invested into this. Would you mind talking as to why you don't want to use raw SQL - are there particular deficiencies you've found in it?
One of my favorite questions is:

"What point on Earth is the farthest from the Earth's center?"

If it's being asked at all, you know it's probably not Everest, and indeed it's not:

https://en.wikipedia.org/wiki/Summits_farthest_from_the_Eart...
If you're into this, you can sing it in places all round the world. It's a very welcoming community of people

Couple of links to get going…

US: https://home.olemiss.edu/~mudws/regular.html

UK and Europe: https://sacredharp.uk

Wikipedia: https://en.wikipedia.org/wiki/Sacred_Harp
None of those are true when someone is selling physical products either. Cryptography at least gives us a chance to verify someone's claims.
it isn't. the average person doesn't even own a computer, ease of installation doesn't matter when you still have to own a computer powerful enough to run the emulator and also find roms.
How could you not notice?
Where I'm at on the whole CSS-Tricks thing
I don't use it personally, but I have a junior dev that uses it like a crutch. Unfortunately I have to review his code, and it's hard to be actually constructive when I can tell he's just using copilot to phone it in.
Thanks! honestly it's a quick hack together compared to the app. screenshots are from screen.studio. website is built with https://astro.build
And also, no plastic bags, but most of the stuff being sold is wrapped into 1-3 layers of thick, non-biodegradable plastic. Even cucumbers. Makes no sense whatsoever.
Correct, more competition of any kind would be also nice to have.

And more competition that specifically stresses low prices would be particularly nice to have.
I think at "Keep the language small and simple"
it should say avoid "two ways of doing something"

(
The sample I have is 0, NULL and nullptr where nullptr is
something new. Two ways of doing something makes the language complex.
)
Same on iOS. You can only disable mobile data per app.
What does this mean for their partners like Stable? The only reason I used Stable was because it was part of the onboarding flow for Stripe Atlas. Is that considered a physical biz address?

FWIW my biz address doesn't have PO box in the address. It is re-used though (which I know because when I tried to register a DUNS number with Apple the first problem I ran into was another business was already registered at the same address)
Please Don't Fake It Till You Make It
I used https://gethuman.com/ for a long time, which would describe numbers or phrases you can say to get to the operator.

Great idea to have a bot do the work of waiting.
This comment is definitely a lot more substantive than the previous. Thank you for sharing your perspective!
Albuquerque school sued after teacher allegedly told students to swordfight
Marx was probably referring to the 1828 German opera "Der Vampyr" (in turn based on Polidori's 1819 English story of the same name). Polidori's Lord Ruthven was the most popular vampire in pop culture before Dracula.

https://en.wikipedia.org/wiki/Der_Vampyr
Even if not allowed in the building people will still want to carry a personal phone so it likely just stays in their car right outside the building in the parking lot.
That's cool...but won't lie, I get the "Microservices" vibe reading this: https://youtube.com/watch?v=y8OnoxKotPQ
If you read Stripe's notice, they need the address for sole proprieters and single member LLCs. It's not controversial nor difficult to identify who that should be.
Biological has the advantage of not destroying the infrastructure of the place you are attacking nor making it inhabitable for thousands of years. So if you're wanting to take over the land after you remove the pesky opponents currently occupying it, nuclear is a really bad choice. Biological and chemical can be cleaned up and or inoculated against depending on method used.
Show HN: Ambient ScotRail Beats
ScotRail released all of their station announcements a few years ago, and I built this project that plays them randomly over the soothing sounds of lofi beats. It's better than it sounds.
Yea, people generally don't think about these things. People were genuinely surprised to find out that 70% of our expenses as a software business were... salaries. The next largest category? Rent. Everything else was effectively a rounding error.
More background on how this came about: https://github.com/matteason/scotrail-announcements-june-202...
> Looks like PRQL doesn't have a Go library so I guess they just really wanted something in Go?

There's some C bindings and the example in the README shows integration with Go:

https://github.com/PRQL/prql/tree/main/prqlc/bindings/prqlc-...
Top Must-Have Add-Ons for Heroku
We have deployed our application but are missing essential components like the database, cache, and logging system. Where should we host them? Check out my latest Implementing post where I share the add-ons I use in my projects and provide tips on selecting the right ones. Let me know your thoughts!
Hey HN,

Have been working on a little side project that I want to turn into a collaborative prototyping tool; for now it does quite well at image to code and component design.

Working on getting real time collaboration in there as well. Happy to get feedback and thoughts on UX :).
God, yes. Ruby is also at least somewhat usable in the space, FWIW; I've done RPi hacking with it in the past.
A rupture is unlikely as most pebble bed designs use helium as the coolent. It being a noble gas it won't react chemically, and unlike water cooled designs it doesn't undergo phase change (liquidgas) so no massive pressure build up. And as there is no oxygen fire is unlikely.
Do you mean to install Nix and then defer to that to build the image or for the image to be configured and setup on deployment? Genuinely interested if you have any insightful docs or pages on this.
Faraday.dev – Connect your phone to LLMs running on your desktop
Hey HN,

Excited to share Mobile Tethering, our latest feature release on Faraday.dev. It lets you run local LLMs on your Mac/Windows Computer (Linux soon) and seamlessly use them to chat with AI on mobile. Since all the heavy workloads run directly on your computer (instead of on an expensive cloud server), it's 100% free to use, and your chat data is never stored or logged in the cloud.

I'm one of the founders of Faraday.dev, so would love to hear any ideas you have on what we should build next!

__

PS: For those who've never used Faraday – it's a zero-config desktop app for creating AI characters (custom chatbots) powered by locally running LLMs. Faraday can run on CPU with only 8GB of RAM via llama.cpp by @ggerganov, and the app will automatically use your GPU to speed things up. We also have a community-driven Character Hub, text-to-speech, lorebooks, and more.
This gives me PTSD
Voip.ms sends ID documents over plaintext email
I could be wrong, but I seriously doubt C macros can do this.
55 Burgers, 55 Fries – The Terrible Impact of Pay It Forward Trains
> I don't see why I would want to use anything else

I use FF, too, but I can see why someone wouldn't want to: It's just not a very good Mac app. Weird windowing and focus bugs in fullscreen mode. Keyboard shortcuts that randomly stop working. Zero scripting capabilities (it used to have the bare minimum, but Mozilla bizarrely ripped it out), and just poor integration in general. My system-wide shortcuts — the ones that are so important I've added them to every context menu on the system? That's a big nope because FF devs apparently think showing poxy extension icons is more important.

Google had the good sense to copy Safari's keyboard shortcuts in Chrome. Mozilla didn't.

The bookmark manager is straight out of Windows 95. Awful UX.

I do like Firefox, but it's just not up to snuff on macOS.
Your business's primary place of business is your home (referring specifically to the parent comment, not businesses in general). That you can also carry out the business where ever you physically are does not change that basic fact from a legal or tax perspective.

Zoning compliance is not required for a home office (assuming white collar type work). Many, but not all jurisdictions require business licenses, even for home offices. This does not trigger inspections, because a business license isn't about the workplace, it's about the business itself.

EDIT/FOLLOWUP: Your "place of business" does not need to be your mailing address, because you can use a PO Box. It also doesn't need to be your address for legal service (i.e., for service of lawsuits), since most companies use a registered agent for that. At the most basic level, for a solo entrepreneur, your place of business is simply the one common location to which you have a legal right from which you do at least some of your business. In the absence of an owned or leased/subleased office or other workplace, it defaults to your residence.
Before clicking, assumed "integration" referred to integrating software with third party tools.

Which sounds hellish to compete in, but I'd be fascinated to watch.
It does increase the “error” (meaning it is less likely to predict the next word when compared against a dataset) but the losses are lower than your intuition would guide you to believe.
A business where one unit thinks it can make decisions in a vacuum is going to suffer regardless of the particular field of training that the leadership comes from.

If Engineering and Business work _together_ it doesn't matter who's in the lead position.
That’s why we picked water, but water exists everywhere. Earth, the kings foot, 1atm, are specific to the human experience.
In the sense they're talking about, they don't mean "formal proof," they mean "existence proof." It's not like it's a mature choice in the space, is what they mean.
Make a post on indiehackers. You'll get a ton of people offering to buy it.
I think https://blog.opencollective.com/open-collective-official-sta... is a better link.

It also seems “Open Collective Foundation” is shutting down, and “Open Collective” is a super-organization which contains a lot of sibling organizations (“Open Source Collective”, “Open Collective Europe”). And most of the entities getting donations through OCF can simply move to other organizations (hopefully automatically keeping existing sponsors), although others have to find a non-OC organization because they have extra requirements? The whole situation seems strange and technical.
Or aN RSS?
This comment reminded me of that scene in Indiana Jones where the guy is spinning the sword around about to attack Indy, and then Indy just pulls out his pistol and shoots him.
Very tragic. We have GitHub sponsors of course but that's also obviously tied to a specific vendor that I'm sure many or some would like to avoid for various reasons.

Beyond the fact that I'm sure everyone currently receiving long running donation support is likely going to see massive drops in funding after finding a new provider.
https://twitter.com/brian_armstrong/status/17629004677876452...
> Out of 54 inks, 45 contained unlisted additives and/or pigments

Seems unlisted additives is incredibly common in almost every industry in the United States.
It gives you a distraction from the real work they described. You still need to do all of that work, so at best the blockchain is redundant.
I wonder how they came up with the “1.4 nm” designation (which confusingly TSMC calls A14 now and Intel 14A).
These sort of articles pop up every few months and make people hopeful for a cure, but this is sadly unlikely to ever be a viable one.

Stem cell transplantation is a standard treatment for several blood cancers, but will almost certainly never be a standard HIV treatment for anyone except patients who need a transplantation anyway, for one single reason: with modern medicine, living with transplanted stem cells is significantly worse than living with HIV.

With modern meds, HIV patients can have a normal life expectancy and live basically normal lives.

You know how in traditional organ transplantation, your own immune cells will attack and often destroy the transplanted organ? In stem cell transplantation, your transplanted immune cells will attack every single organ in your body. Look up "graft versus host disease."

After stem cell donation, most patients will have to take immuno-suppressants that a have significantly worse side effects than modern HIV meds do, often for the rest of their lives - and that's the lucky ones, where the meds will successfully treat the graft versus host disease. One of the more gruesome sights I've seen in my medical career was a lady with a severe graft versus host skin reaction that her doctors couldn't get under control despite massive doses of immuno-suppressants. Eventually large parts of her skin peeled off in strips, like something out of a horror movie. Then she died of pneumonia from the immuno-suppressants.

This is an extreme example, of course, and many people live perfectly ordinary lives after stem cell transplantation, but the failure more is both more likely and more gruesome than the one for antiviral HIV treatment.
> Plenty of countries have better (faster and/or cheaper) broadband options than most of the US, without having any Google involvement.

Those countries have governments willing to regulate for the benefit of the consumer, or else to provide the service directly[1]. That there are better ways to do something doesn't mean it's not valuable to have done.

[1] Almost nowhere, in any market, had competing gigabit landlines in residential areas over the timeframe discussed. "Competition" is absolutely not the solution here.
Tibetan goat cloning successful in NW China province-Xinhua
I just tested both sites from my default firefox profile.

zoom worked without problem.. both audio and video..

imascientist.org.uk i opened the registration page and it showed without problem buttons where in the end of the page as i would expect.

It look like it is something in your end and not with firefox..
Direct link to OCF blog: https://blog.opencollective.com/open-collective-official-sta...

FAQ: https://docs.opencollective.foundation/?ref=blog.opencollect...
In that case I'd either mention the language restriction or not advertise with medical reports in the hero section

Also those testimonials are clearly fake
>seems like it might be entrapment by the game wardens.

This is nonsense. Entrapment requires that the accused would NOT have done the crime, even with easy access to means, without the actions of the police. This man runs and advertises a business to do exactly this crime. This cannot possibly entrapment.

Entrapment is when a cop says "if you don't cook this meth, I will kill your wife" so you cook meth. Entrapment is NOT "here's all this equipment and supplies to make some meth, and I will buy it from you at 2X market rate, and I know you need the money since your wife is dying from cancer and you can't afford treatment". If you cook the meth in that scenario, you were not entrapped. The philosophy is that you should not commit a crime no matter how convenient or beneficial to you it gets. Entrapment is not a "cops set me up" get out of jail free card.
For people interested in this topic, here's a good set of slides going over Grassman/Clifford/Geometric algebra concepts: http://www.terathon.com/gdc12_lengyel.pdf

And another good site: https://mattferraro.dev/posts/geometric-algebra
Upcoming menu addition proposal to national management from McDonald's California Director: "McBread".
> What are the legitimate (i.e. legal) use cases for a product such as this?

Data portability! Tools like this can be used to allow individuals to export their data from hostile web services trying to hold it hostage.

Legal in the EU, with GDPR.
And back in win98 and maybe xp days WinRar was a great way to escape file system access restriction imposed by the admin, you could use its internal browser to do access just about anything on the machine, even tough explorer and many other windows components wouldn't :)
I'm interested in this too, though I've had mixed experiences in the past using third party HALs for microcontrollers only to discover that they have gaps in API coverage or can only expose the most common use-cases. There was always lot of examples and documentation for the "easy" stuff like GPIOs, timers, ADCs, serial port, etc, but once you got into USB, Ethernet, or RTOS integration then things rapidly got much scarier.
In theory the choice should be in which insurance company you use. One of the biggest mistakes in the US system is having tied that to your employment, and then it's not you choosing anymore.
Ad serves up an image hosted by the advertiser. Phone makes an http get for the image and gives out its IP.

You can also target ads by geography and do a lat/long box over your target area and show a specific ad so you know how many unique users are in that area.
Pingora is a Rust framework we have been using to build services that power a significant portion of the traffic on Cloudflare. Pingora is released under the Apache License version 2.0.

see also https://news.ycombinator.com/item?id=39539056 "the plan to build River, a High Performance and Memory Safe Reverse Proxy Built on Pingora"