skysight-inc/HackerNews huggingface dataset:
I think HN strips out anchor tags from submitted URLs.
The more people succeed at isolating themselves the bigger the problems of social isolation including homelessness and drug addiction.
Previously:

https://news.ycombinator.com/item?id=37499106 – The Uselessness of Phenylephrine (2022)/
226 points/21 hours ago/323 comments

https://news.ycombinator.com/item?id=37485940 – Phenylephrine for colds and allergies don’t work, FDA panel says/57 points/1 day ago/37 comments
Isn't that the whole quintessentially Millennial "buy experiences, not things" meme?

In the old days, a middle class income buys you a good house and some trinkets to fill it with. Nowadays a middle class income buys you nothing except a few fun trips. Might as well make the best of it.
If you aren’t on comparison sites at all because of your anti-scraping measures, is that better?
New Framework

Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and minimal learning curve with Exa, the all-new framework local consumer LLM inference and usage!

https://github.com/kyegomez/Exa

And, check out the documentation!

https://exa.apac.ai
It’s also hard to discern purity with the naked eye unless you’re trained, and it’s anything but a scarce resource
If that control channel can't be used to control the hub, it's not controllable.
> The patient would go to the back of the NHS queue

This is not true.

I went to the NHS over my kid's glue-ear. We had to see a consultant, but the earliest appointment was 9 months, and the hearing problem was impeding our child's language acquisition. So we went private, and had an appointment with the consultant in a few weeks. The consultant recommended surgery to install grommets (wow!), and a few weeks later we attended for NHS surgery, to be performed by the same consultant.

This was 30 years ago; but I've been told recently (a couple of days ago) that this still goes on.
Rather disappointing, but not at all surprising. However you come down on UAP/UFO/etc the fact that there's no definitive answer from the governments, intelligence communities, authorities, etc. is mildly perplexing.
The easiest way to get a geolocation is to ask the user. Maybe they’ll just tell you, and if that’s good enough for your application there’s no need for such solutions.
Not the person you're responding to, but I'm confused what you're arguing against. Men proposing with a ring?

Either way, to me it's someone sharing a story about a romantic gesture. If you remove your implication of sexes (or swap them), do you hold the same belief?

Also, the OP never said they felt obliged because they're a man. They said their significant other appreciates this type of jewelry. Anything outside that is you projecting your own beliefs (which we don't have to discuss) into the story
Neal Stephenson's great trilogy The Baroque Cycle does a great job at depicting this facet of Newton.
I agree with everything here. I find that I stand only a small fraction of the time but that’s fine, and I really enjoy it when I do.

Another benefit of the standing desk is that it’s super easy to manage cables underneath by driving it to the top of its range like a car lift.
I really hope someone has made a curses-based raytracer. Just because.
I used to work in the same group as the company in the top left, Cartridge Save. I think the million dollar home page got them quite a few clicks, but when confronted with all those ads it's hard to pick anything out even if it's prominent.
http://shouldiblockicmp.com/

(But the guy running the probes is making a good counter argument)
Thank you for the link. It is interesting read, but it didn't say what you are implying. The article in the link states that 90% of the predictions of 1 Medusa corespondent were wrong.
This is very different than the entire publication being 90% wrong.
In the case of formal verification done with proof assistants or similar, I believe the way it works is something like this.

The people who develop such software start out writing a verifier for a much system of logic or programming than what the final system will handle. This first system is sufficiently simple that the verifier that can verify programs in that system is very small and straightforward, so that if several humans look at it and can't see any bugs it is almost certainly correct.

Then they write a verifier for a more expressive system. This verify isn't as small or straightforward and so even if humans don't see any bugs we can't be confident that there none. They then use the first verifier to verify the second verifier. The formal proof of correctness might be long and difficult to develop because it can only use the reduced logic of the first verifier, but once they manage that and the first verifier verifies it, they can be confident that the second verifier is correct.

If the system the second verifier still isn't expressive enough to verify the things they ultimately want to handle they write an even more expressive system, and use the second verifier to verify that.

Repeat until you've got the system you wanted in the first place.
Tails is a portable OS that protects against surveillance and censorship
You made the comment...
Looks like there's finally a benefit to Android OS being such a clusterfuck with some many versions being currently active on a significant portion of devices. Not updating quickly increases the number of versions floating around.
If McDonald's advertised their hamburgers as especially safe from outside influence and you are assassinated by someone poisoning your McDonald's hamburger, people will probably be upset at McDonald's.
I used to live in Utah, and this attitude across most of the population is what led us to this dire place.

The consequences of this lake shrinking (or ultimately disappearing at this point) is significant. Not just for Utahns, but for the entire rocky mountain region.

First off, this lake was a lifeblood for millions of migrating birds across the "pacific flyway" which is the one of the largest migratory routes in the world. Losing the lake is literally extinction to many species that couldn't survive a migration without this stopover.

Next you have the lakeborn dust. Utah already has the dirtiest air in the country and that will only get worse as the toxic dust mixes with the smog. This could turn the air in salt lake and utah county into actual hazards that require masks to go outside (and we know how much Utahns loved wearing masks last time they were asked to do that).

Furthermore the shrinking lake means less snow. As storms pass over utah, they absorb moisture as they cross the salt lake, which causes precipitation to be released as they pass over the mountains. This means that one of Utah's most famous pasttimes and tourist destinations, the mountains will get worse over time.

And when there is less snow, that means less meltoff filling the rivers and streams in the mountains, which leads to water shortages for the citizens and a dryier changing landscapes as the mountains that Utah loves so much turn from lush forests to arid deserts. This furthermore changes and risks populations of wildlife that require these mountains to survive.

So yes, its an eye sore. But it is hugely significant to the entire Utah ecosystem. But not only Utah, a drying salt lake will also have devastating affects on Arizona, Idaho, Wyoming, and Colorado.
Which part of that quote isn’t true? You’re right GSL has been losing water on average, but it did accelerate in 2020-2022.

The article mentioned the fact that the lake came up a little - slightly - this year, but that’s anomalous weather and not a trend. The trend is clear that there are only a few years left for the lake at current rates. The lake was at it’s lowest point ever 1 year ago, when it got so low they had to haul all of the boats out of the marina and it went dry.

You can watch the lake shrink in the aerial animation here: https://wildlife.utah.gov/gslep/about/water-levels.html#:~:t...)

If the concerns about arsenic are accurate - and I’ve heard Salt Lake is already starting to experience increased health issues from the lake dust - then I pretty strongly disagree that sales of alfalfa (a notoriously thirsty crop) are more important.

> resources exist to be used

False. Resources exist, and we humans take them at will and use them for our own profits at the expense of other humans and animals, until they start becoming a big enough ecological problem, or until there is contention over the resources between humans. This case is both of those - there is contention between people who use the lake and farmers, and there is a looming ecological problem for the population of Salt Lake if the like dries up.
That's true. Very good point.

The things that did try to design for the future, across platforms, failed. Java on the desktop, WPF, etc. all gave way to the simplicity of web technologies.
> They point to agriculture and domestic usage as one of the reasons the lake is shrinking. The fact of the matter is in my estimation these are far more valuable uses of the water then letting it drain to be forever lost into a giant puddle

Utah's agricultural water usage is overwhelmingly (68%) alfalfa and hay, of which 30% gets sent overseas [0]. Speaking as a Utahn, there's no good reason for Utah of all places to export agricultural goods. I'm all for eating local, but we don't have to climate to be an exporter, and right now at least 1/5 of the water diverted from the Great Salt Lake is not only leaving Utah, it's leaving the country.

> and before people start complaining about the ecological impact there is almost no wildlife that is dependent upon the lake except for brine shrimp and flies, not exactly endanger species.

I don't know how you can possibly know that—large bodies of water generally have an enormous effect on the local climate, which obviously all local plant and animal life depends on. The concern over the loss of the lake isn't just about first order effects, it's about second order effects, and while those are rather hard to predict they will certainly extend beyond brine shrimp and flies.

EDIT: I really dislike when people edit their original posts instead of just replying to the comments they're replying to, but since we're playing that game I'll just note that your repeated use of the word "wasted" with regards to water going in to the Great Salt Lake shows that you have absolutely zero understanding of the water cycle. I recommend brushing up on that before taking grand sweeping stances about the value of water pooled in large bodies.

[0] https://www.sltrib.com/news/environment/2022/11/24/one-crop-...
That's not what we were talking about, but alright.

Not sure how it works in the US, but from what I read you can't be forced to join a union there. But I think I get what you mean: once you work in a given place, there's usually not much choice which union you can join (or which will represent you in any case), and your only option is to change employer, location or career.

I understand that point of view, but I don't think it's a good argument. Employers also organize and wield their influence in ways that you seem to resent in unions. Don't like it? You have the same choices as above. (I don't think people should be forced into unions; I just think your argument is not anti-union, or at least cannot be fairly applied to single them out.)

The difference seems to be that the employer pays you and treats you well enough that you think you won't benefit from a union. Good for you! Hope it stays that way.
These are all great points. I was a lazy in my writing and what I really meant were things like inexpensive proprietary power management ICs, NVMe storage modules, and/or T2 security chips, USB controller ICs, etc.
tagging is what happens when you allow an artifact to exist under more than one hierarchy at the same time.

The progression usually goes.

"we want to label our things."

"There is a natural hierarchy that we want to be reflected in our labels.

"Some things are not labeling well. instead use multiple labels per thing."

"There is a natural hierarchy that we want to be reflected in our labels."

The unix files system is a good example of the latter. it favors the hierarchy but allows each file to have many names if that is what is required. The main weakness of the unix filesystem is that there is no reverse map, that is, finding a file from its name(s) is simple. finding the names from the file involve searching the whole filesystem.
Nothing. Your heat pump will still work. Modern heat pumps typically have a COP of 4 with some of the newest ones approaching 5.5. With a COP of 4, you can still heat your home when the outside temperature is -30C. The colder the outside air is, the less efficient a heat pump is so below -30C, the heat pump will still work, but the COP may have fallen to 1 or below and so may not be as energy efficient as resistive heating at that point.

Another point to consider is the capacity of your heat pump. If it's capacity is not enough to heat the room or home at -30C, it may not be able to keep up, even though it keeps up fine at -10. Make sure you have enough capacity to heat the area you need, down to the lowest outside temperatures you typically get in your area.

Absolute zero is -273C at which point there is no heat left, so at -30C, there is still a lot of heat left for a heat pump to extract to heat your home.
If they ever do a follow-up on this topic, it should include a 3D-printed yellow pufferfish.
Looks 99.9% like Raleway to me: https://fonts.google.com/specimen/Raleway

Sure, I can see the subtle differences, but one costs $1650 for all styles, the other one is free. Most of the letters seem to be only stretched vertically by a few percent, with no other visible differences. If I had a job to create a new font, I wouldn't have the guts turning this in as my original work.
Some plants can indeed get saturated (they tend to tuck their leaves in past that point), but I could imagine more serious savings from the practice if the partial shading from solar installations reduces evaporation. In most places (particularly those where solar is most profitable) agriculture is limited by availability of water, so anything preventing evaporation is a potential boon.
Yeah, that concept may be quite related!

This also reminds me of when I bought my house, my agent had mentioned how homes with all these superfluous rooms are becoming more difficult to sell because as prices go up, buyers just see useless space that costs money.

(And now I'm also reminded about the sickening ostentatiousness of growing up in a home with so many rooms that as a kid I'd sometimes think, "hey I haven't been in this room in six months. Let's go inside just to... be inside for a minute.")
RAG is a very useful flow but I agree the complexity is often overwhelming, esp as you move from a toy example to a real production deployment. It's not just choosing a vector DB (last time I checked there were about 50), managing it, deciding on how to chunk data, etc. You also need to ensure your retrieval pipeline is accurate and fast, ensuring data is secure and private, and manage the whole thing as it scales. That's one of the main benefits of using Vectara (https://vectara.com; FD: I work there) - it's a GenAI platform that abstracts all this complexity away, and you can focus on building your application.
Absolutely. Rereading it sounds exactly like that; budgetary request.
And I only use Macs right now, so it works out fine.
Mine turn white/lighter colored. How hard I'm pressing down is easily visible based on the size of the discoloration.
That’s terrible. You may consider trying Yerba Mate. Anecdotally it’s helped a lot of people I know with ADHD. Perhaps something to try in the meantime. I hope the situation in your country gets better.
Yes if they’re managed but not out of the box.
I think it's just changed. Tons of people I know with disposable income buy retro gaming systems, collectible old cartridges, etc., when a MiSTer (or even sufficiently advanced software emulation) can do. There is still some affinity for Stuff, it's perhaps just that there are more readily-available things to attach oneself to rather than the stuff your parents or grandparents attached to.

I don't want my grandparents'/parents' Hummels stash, either. My hypothetical kids probably won't want whatever I end up into.
This is also done for iPhones, which have not been exempted.

The "security" of the console against "unauthorized" software is arguably against the public interest. Is it really to the customer's benefit to exclude software providers from the market? Haven't we been round this with app store discourse?

> consoles are often sold at a loss with profits recouped on game sales

This used to be true, but is it still true?
You might want to unplug your router then. A conceit of being connected to a network is you're connected to the network. If you can see other nodes they can see you.
I'm a typography fan, but let's admit it - 90% of the world population could live in world where Courier and Comic Sans would be the only fonts avaiable and would not notice a thing.
You might not but you could pay a semi-affordable third party repair place like Louis Rossmann to do it for you. That still helps the general consumer, even if its not “DIY”.
It won’t really help you in day to day programming. Studying it for that reason will yield disappointment.

I see three reasons to learn it if you are a programmer:

1. You find it fun and interesting

2. You work in a language such as Haskell or Purescript that uses many aspects of category theory in its library, or Scala which has CT inspired third party libraries, or languages in general that have monads, functors explicitly mentioned. Languages that implement these concepts but don’t name them also count here. Understanding that all these things are based on quite easy to understand CT concepts helps to unify them all and make their purpose more clear. But you can also just look at the type signatures!

3. A bit more tenuous but I believe studying CT helps train your brain to be more mindful of structure and especially composition of structure.
Part of the reason that you're going to run into trouble with sets being universal, or foundational, rightly found in a theorem that was birthed from set theory, Gödel's Incompleteness Theorem[0].

I will confess that when I took discrete in college I was seduced by set theory. I literally had the, naive, thought to myself "you could prove all of math with just sets!". As my education continued I found out, much to my chagrin, and Hiblert's[1], that I was very, very, mistaken.

This hasn't stopped everyone from trying to continue Hilbert's program, though with a bit more limited scope[2][3].

By and large, all math is undergirded by a set of axioms that have to be taken as true with no proof. Even as far back as Euclid's Elements basically starts with a set of axioms and then proceeds from there. Strange that something that is so real must have a bunch of rules given as true with no proof of their validity beyond "well, everyone can see that it's true".

In a final, ish, dig, I'll just say leave it up to Penrose to take Popper's sensible cosmology and turn it into a quasi-religious one.

[0] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
[1] https://en.wikipedia.org/wiki/Hilbert%27s_program
[2] https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_t...
[3] https://en.wikipedia.org/wiki/Reverse_mathematics
30 Days of Night.
If you just stroll into a standard jewelry store looking for gold, markup over spot is disastrous.

I've heard of people making that sort of thing on a limited basis, but the market isn't there. There aren't enough people aware enough of the issue, and the temptation to just go ahead and charge the jewelry premium as a result is pretty overwhelming.
I have used MySQL for far, far longer than Postgres. My brain still thinks in MySQL. I like it for pretty much everything first if I have my way.

MySQL is very capable until it isn’t.

I’m surprised how many of the hundreds of hours of tweaking that were needed in MySQL when reaching scaling issues aren’t.

I realize most people will try to pick the best, but there is none. MySQL is perfectly good to learn and use at the same time as Postgres.

Postgres can be more complex out of the box but some of the things it has are too hard to ignore.

While I can use the command line, I prefer to have something with good tooling to help create beginners. Postgres is behind here.

I decided to use Postgres for a project and it was too much of a headache compared to MySQL - it was new to me as well, until I reached a problem that it solved without issue and MySQL had tripped up at. In this case I was dealing with tens of millions of rows as a starting point.

Learning to do something the Postgres way compared to how my brain knows how to use MySQL has been helpful and slowly improving.
Yeah that sounds quite plausible. Instead of pulling out the nice dishes once a year, we pull out the Atari 5200 once a year.
but your storage path is already a hierarchy of tags.*

*If using a unix derived filesystem.
Big fan of what articles? On https://incolumitas.com/ or on https://ipapi.is/?

Great idea with latency triangulation, I used latency information for a lot of things, especially VPN and Proxy detection.

But I didn't assume you can obtain that accurate location. I am honestly impressed. But latency triangulation with 600 servers gives some very good approximation. Nice man!

Some questions:

- ICMP traffic is penalised/degraded by some ISP's. How do you deal with that?

- In order to geolocate every IPv4 address, you need to constantly ping billions of IPv4's, how do you do that? You only ping an arbitrary IP of each allocated inetnum/NetRange?

- Most IP addresses do not respond to ICMP packets. Only some servers do. How do you deal with that? Do you find the router in front of the target IP and you geolocate the closest router to the target IP (traceroute)?
It helps with the symptoms: makes you sneeze less, helps clear the sinuses, helps with the headaches (or that feeling that your head weighs two tons), etc.
They are expensive labor but still less than half the cost of a whole new logic board with CPU, RAM, NVMe, etc. Looking at something like $600 instead of $1200+. Plus with Apple's authorized solution you are guaranteed to lose all your data, whereas third-party repair shops that do board-level repairs may often be able to avoid data loss.

My friend and I both sent our MacBooks into Louis Rossmann the same week. He spilled a cup of water on his, mine just killed itself for no reason. The repairs were expensive but they managed to not lose any data, and it still saved us many hundreds of dollars each vs. doing an Apple-authorized repair.
The language seems inconsistent. Is it press-forming, or is it die-casting? Or some kind of combination?

If it's die-casting, do they have to temper the material after that? That seems a pretty impressive operation and a nifty bit of metallurgy.

(I'm not an engineer, so I may be using the terms inconsistently myself. But I'd appreciate it if somebody who was an engineer could clarify that for me.)
It isn't a "club," I was born to my race and sex the same way you were.
If the reasoning was to prevent theft, why can I only buy one box at a time, and why does my license get scanned, preventing me from buying twice in the same week (or whatever) from different stores?
Mind you some of them are not safe for work. I had to quickly delete the post on slack :sweat_smile:

Look at codes: 226, 304, 422
> "optical center" of the antenna probably is at least 5mm even with a phone pressed against your head, given the distance the ends are away. and things like clothing or purses add interposing distance too.

Can you link a source?