skysight-inc/HackerNews huggingface dataset:
LLMs and vector embeddings are always lossy compression, yes?
> When everyone is 5000$ richer than no one is richer

I don't think you understand the proposal. It seems mainly about bending consumption patterns towards American-made goods.
I'm not sure why, since I haven't read the WSJ opinion piece stating that.
Watch My SSL – Never Miss an SSL Certificate Expiry Again
I was tired tired of unexpected SSL certificate expirations, so I built Watch My SSL to monitor all my certificates effortlessly. I get notified before any SSL certificate expires, at predetermined intervals.
>> On our underfunded government socialized healthcare systems? No way.
Those who are minted go to the US or Switzerland for best cutting edge treatments and prosthetics.

Switzerland is a European country.
I think there’s a missing element on the pro side—putting aside whether or not it is a waste for the hunter, it is wildly unethical to injure an animal and then leave wandering around slowly dying. If we’re going to have hunting, we should be extremely reluctant to limit the ability to find the injured animals.
Not putin himself, but his entourage who frequently traveled together with putin.
… there's a number of (rather trivial?) fixes to some of the problems they hit.

First, you can have a type-checker check the currency; that doesn't have to be a runtime error:

Money<Usd> m = …;

There will, of course, be instances where you must handle currency dynamically.

"MoneyExpr" is a bit more complicated; I find most people usually implement "MoneyBag" intuitively first, so it's odd they left that for third? So, the article gets there, and we "fix" the problems, but it feels roundabout.

The criticism of MoneyBag is bizarre:

> Compared to the Martin Fowler’s design, it remains heavier. It consumes more memory and more CPU

This is apples to oranges? Fowler's design is a Money type; MoneyBag is a different thing; of course it consumes more memory. A Vec<int> consumes more memory than an int, too?

Perhaps the article author isn't comfortable with that Money merely isn't closed over addition. But if you accept that Money isn't closed over addition, then naturally there must be another type in the type system.
A Mathematical Modeling Library in Prolog with Answer Constraint Semantics
At this stage I feel that the natural evolution for SQL is instead to use english to describe what you want and have an LLM generate SQL. Often with comments.

For some reason, a lot of these SQL alternatives seem to be syntactic preference and not much simpler or clearer than the original.
it's new to me.
> And on top of that, we can do some basic algebra. If we know that x < N and N < 5, then we can infer that x < 5. So if we see a comparison x < 5, we can then rewrite that to true.

Even better: if `x` and `N` are integers, then we can infer that `x` < 4. :)
I use them sometimes. More so as I can pay stuff as invoice. Meaning that if I don't get stuff for some reason there is Klarna in between. Kinda similar to credit card, but less hassle with chargebacks...
> Why bother?

Because knowing about the presence of a condition is better than not. Depending on the severity, untreated ADHD during the years of life where a child begins to establish good study habits, management of the condition, and other tools that work for them, can lead to issue down the road and into adulthood. We have the ability to address conditions like dyscalcula with little interventions to help the student be successful.

Just because something is imperfect doesn’t mean it should disregarded completely if the benefits (academic, social, and career success) outweigh the drawbacks of being untreated. The stigma argument is just FUD and letting that take over decision making for the well-being of a child is a bad path to go down.

There are often, unknown to the parent, invisible scars that the child with a non-neurotypical condition will carry for the of their life after having found out about a condition they’ve had since birth and was not addressed during the most critical time of their life when early treatment could have greatly reduced the harm caused by this disorder.
This is a great video that touches on your point, the Earth must radiate the heat it receives to stay in equilibrium, even if it uses it to do work in the process.

https://www.youtube.com/watch?v=DxL2HoqLbyA
Updates to US verification requirements
They don't even really specify this in their link in the email sent, but I am getting this error when going to my dashboard now:

Invalid address. Your business address must be a valid physical address from which you conduct business and cannot be a private mailbox. Please correct the following...

So now, I have to find a new business address (either rent a place, or do a virtual office), which isn't as simple as just getting a new address. I then have to update every single account online or in person that uses it, and officially ask my state's SoS to update my biz info. There is probably other stuff I am not even thinking of in this moment as well. In addition, Stripe wants me to get a new biz address before March 13th or "payouts" will be impacted. Not processing! They are happy to use my money to make money for themselves and hold it like they have done to others in the past indefinitely.

This is all probably related to CTA and BOI changes that began this year that are seemingly affecting small biz more than the corporate entities that this bill supposedly was about.

https://home.treasury.gov/news/press-releases/jy1974

https://www.fincen.gov/boi

Once again, Thanks Stripe. It's been real, but it's probably time to move on.
>"in which an officer called Wingenroth pretending to be a hunter who had wounded a deer and needed help recovering it."

Dirty sleazebag. It is good to know what kind of moral character government cultivates. Not that I would expect anything honorable coming from that direction.
With AI being wrong so much, how could you possibly want to depend on it?

Sounds like your "well regarded" CPAs are awful. Time to find a competent one.
It's tough for a business to operate in lower volume areas. The fact that you have a real grocery store a drive away probably indicates that there's enough volume at that location to keep prices low. While the added at the sticker overhead of keeping a smaller branch stocked near you might be enough to poison the well of customers by sending some on that drive to save money overall.

A solution to the density problem is different from the lack of competition in dense areas, which is part of what blocking chain mergers is about.

A stranger to your situation, I can only speculate generally. Proper city / urban planning is unpopular with voters. No one likes restrictions. No one likes being told that some little town they live in isn't economically viable and should be wound down and closed up. Or that maybe a local food co-op or other more socialist method such as the government running a wholesale outlet for essentials might be a solution to the market not working for an area. In any event, a government of the people and for the people should ensure fair markets exist, and that where markets don't make sense (usually natural monopolies and also things that are required but don't work economically) a public utility ensures everyone has access to services.
FAA gives Boeing 90 days to come up with a plan to address quality issues
And having legally required parking spot MINIMUMS for a bar directly implies the state endorses drinking and driving.

Note that drinking and driving does not mean 'drunk driving'. But the state is expecting that soon-to-be-buzzed and drunk patrons drive home.
It is, in that it takes advantage of peoples' speculative nature.

"What if we had all this extra data on our customers?! Then we could do a lot more to make more money! So, it makes sense we ought to pay more for that data too!"

The data provider gets to profit based of this speculative "of course more information/more stuff is better!", while the data purchaser doesn't really have a chance to test whether their speculation is well-founded. (How precisely do you test what the causative effect of changes to your ad campaign are? If you make a change, and numbers go up, how do you separate numbers going up caused by any of the other parallel factors? It's hard to be scientific with advertising.)

The person selling the tool always wins, even if the tool is nothing more than a placebo effect. The person buying the tool on the other hand...well, good thing they have deep pockets, and don't really know how to spend their money well, and good thing too that there's always more more suckers ready to take their place (as long as we keep the birth rate up)!
Interesting. How do you answer calls on the watch? It's not the speaker / microphone is it?
Is there any rigorous way to answer the question of how much information (be it entropy or some other measurement) is contained in a model's weights?
Cool, instant buy for me. A few little suggestions:

- Make the system font (San Francisco) an option for the UI. Maybe even SF Mono as an option as well?

- A little more help about which model to use for beginners would be nice. Maybe just an intro screen telling you how to get going.

- Would be great if Command-comma opened settings, like most Mac apps.

- Would be great if clicking web links opened Safari (or my preferred browser), rather than a small window that loads nothing!
How was the spacecraft in this video "more orbital"? Did it reach orbit itself?
Overly reductive take. And whitewashes the massacres that Israel perpetrated in the civil war prior and during the war in 48. Many fled for fear of being killed by Israeli forces or were actively removed from their land.

Even the wiki states so: https://en.m.wikipedia.org/wiki/1948_Palestinian_expulsion_a...
I would love to debate the conclusions with the McKinsey team. I think their analysis was highly flawed. Do Americans consume more healthcare? Yes. Is that the primary reason for our escalating cost share? No. Market concentration at multiple layers (Payer, Provider, Tech/Data layers, etc.) is a huge issue in U.S. healthcare. In most markets we basically have 1-3 companies that have market control of the providers and inpatient facilities, and 1-2 companies that have majority market share on the carrier side. Add in the mess that is distribution (broker-controlled, and concentrated as a well), and you have a witches' brew of mis-aligned incentives, excessive costs, inefficient bureaucracies, and plain-old anti trust behaviors.
Employees are generally allowed to bring phones into federal buildings. There are areas within the buildings they may not be able to take them to, and there are some buildings with a total ban. In that case, though, the phones would still be left somewhere nearby, like the parking lot.
Dynamic pricing has to do with actively fluctuating price point depending on varying criteria and can be an increase or decrease.

Surge pricing, as the definition of "surge" suggests (1), is a subcategory of dynamic pricing where the price is increased in response to higher demand.

(1) https://dictionary.cambridge.org/us/dictionary/english/surge
Do they tail notch berried females where you live?
Continuing in fairness, lisp is a bit more involved, here. If you do `(/ 1.0 3)`, you do not get a rational. Similarly, any division that is not integer/rational there will get treated mostly as expected.

Basically, it seems as soon as you introduce a floating point number, it stays there. Which is roughly what I would expect.
Inconvenience? Hunter here, trying to understand why that would be.
"I know nothing about hunting, or the laws surrounding it, but why would it be illegal to recover a dead animal at night using a spotlight?"

If you live in PA you'll know that the game commission and game laws are pretty messed up in many cases, specifically anything that has to do with technology. A lot of the technology has been essentially "reviewed" by the PGC to see if it's lawful or not, even when I clearly isn't. They have trouble getting timely legislative updates. PA was probably one of the last states to allow laser range finders because they "project a beam", even though the beam was not visible and that technology would provide a better chance of making an ethical shot.
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Yeah that sounds like looking for fairness and effectiveness in buffer management in a shared environment. I was thinking of measuring latency of x.

The M1 cards I mentioned was notorious with 1GB (?) buffer and a massively oversubscribed packet processor. Causing extreme jitter.
Yes! I have diabetes. Believe me I am aware of this.

A vial of my humalog approaches $300. A visit to the endo is $500 on the bill.

But there is no reason why these things are so expensive! Other than that I have to have insurance so I have to be "in network" and oh, my insurance helpfully consults with a pharmacy benefits manager to decide which medications are "covered."

At no point do I have any choice in any of this. I'm not talking about choosing to have diabetes or not, I'm talking about choosing treatments for my diabetes. Always, it is a conglomerate like UHC choosing which things I have to buy this month. How convenient for them that they choose how much it costs!
I thought that is fully legal and standard practise. You get the invoice, you pay it at due date latest. And then if you do not and they have to remind you they own a rather small fee... Same happens with every bill in Finland.
Any additional info on the subject you recommend?
Wait, what? Why weren't you allowed to have real programming tools? I mean, I see a lot of FTEs using Excel, but I thought it was a matter of familiarity. I've also encountered some who are using Matlab, SAS, Python, R, etc.
Only 5 patients worldwide has had this dual treatment so far, as far I understand - it's experimental. There's basically one clinic running tests on this specific treatment.

Stem cell treatments for this kind of cancer, however, is on the UK NHS's list of treatments when the first line treatments do not get an optimal response, and from what I can see they've been in the guidelines since at least 2020. Given the NHS is one of the "cheapest" (as in stripped of cash by successive governments) socialized systems in Europe, if the NHS can afford it, lots of others can too.

It's not the first choice for most patients because it is not suitable for everyone.
Yeah, I think this is what I really didn't like about it at the start. Learning that you probably want `floor` if you want things to be integer took more time to learn than feels natural.
Visual Studio Code: February 2024
We built LLM-to-SQL before this at RunReveal, and while it's useful and gets queries mostly correct 80% of the time, 20% of the time it's way off or requires nontrivial manual intervention.

We're still fairly bullish on the LLM-to-SQL front though, but in the meantime PQL is a good bridge.
A rising tide lifts all boats. Maybe "most valuable tech company in the world" would be a more convincing argument, since the tide receded shortly afterwards.
They probably mean EU
Jet fuel can't melt fish scales.
Why do this really sound like expert system to me, something that should not really require any sort of AI. And what most companies should be already doing.
Ah, I see. Ever the optimist, I was imagining the low IQ folks had maybe found some unexpected ways to compensate.

Thanks.
Is this using XTTS? I recognize a funny/weird glitch with Italian voices saying "punto" (full stop) at the end of every sentence.
See link in a comment below.
Despite my day job involving rust, I struggled pretty hard getting Rust working adequately for my little GPU project on both pi pico and an esp32s3. Both had debugg-ability issues, missing features that would have required advanced FFI integrations to be added, and things just wouldn't even work. I spent a week on it making no progress, and with only an hour an evening I had to do anything it was frustrating.

I then spent 2 days brushing up on C and got things up and running with ESP-IDF painlessly. I've been iterating really fast on C just fine, and the few times I wish I had Rust's features have been eclipsed by the advanced ESP-IDF api's I've needed to use that didn't have support in the Rust HALs.
Chinese company's reusable rocket prototype aces launch-and-landing test
There's some principle that for a chaotic system, if the accuracy with which you can measure it is smaller than the largest perturbations you can make to it, you are willing to wait many Lyapunov times, and you have enough compute; then you can control the system. With this after a few dozens of millions of years you could control the small bodies of the solar system using relatively small thrusters and a big radar installation, and then put them all on aldrin cycler orbits to move momentum between the larger bodies.
I'm planning to staff PAO/SQL when I get my tower rating (hopefully) soon as I also fly out of them IRL. Hopefully can get a full pattern going again! Say hi if you see me on

Curious do you remember the tips for the sight maps for the pattern/best practices? They sound cool to share for pilots unfamiliar with the field
Finally! Now do the Blues (please, please DOJ and FTC). And the major inpatient and provider oligopolies.

Market concentration across many layers is a huge reason we spend 17% of US GDP on healthcare.
Rust is fun to write, Python is required.
What are the "sparklies"? They look like small particles burning up but it's not clear why they're only luminous so briefly within the frame of the video.
Press X to not be violated
I agree. I used to frequent codegolf.stackexchange.com but nowadays it's just a bunch of 2 character solutions in 50 different home-grown golfing languages.

Golfing languages can be fun, but they do feel like something totally different than trying to make a 200 line C program run in 200 bytes.
> C/C++ can be made memory safe

.. but it's much harder to prove your work is memory safe. sel4 is memory safe C, for example. The safety is achieved by a large external theorem prover and a synced copy written in Haskell. https://github.com/seL4/l4v

Typechecks are form of proof. It's easier to write provably safe Rust than provably safe C because the proofs and checker are integrated.
I've seen a lot of people say that 501's got noticeably worse over the years. If you want good jeans buy traditional selvedge denim, you know the ones that can stand by themselves if you put them because they are so dense. Back then it was protective clothing so they are very durable.
Since this is reentering from LEO, it's maybe 8km/s (and dropping). And the radius of curvature on the nose of that shield was maybe 20 cm?
Hard to pinpoint origin in the case of bad actors...
NixOS user here: I hate nix language (and flakes as well) BUT NixOS allow for a modern desktop, Guix System unfortunately seems too tied to HPC with a little attention for modern desktop needs... Son the choice.

Beside Nix and Scheme the main point is that an OS is defined, so easy to replicate, easy to change and revert, ... with just few text files, this is a thing ALL systems MUST have since DECADES instead of remains back at the 80s like most system are, offering at maximum some third party tools to replicate (if they work properly) with a far bigger work from Fog to Ansible. Infrastructure as Code is simple and can be done by anyone with Guix/Nix and that's the real point. Build a custom ISO to quickly deploy any personal system or simply give it to a third party with a preconfigured reverse ssh / rustdesk is a VERY nice and useful ability.

Unfortunately most of the current development goes in wrong directions for the humanity (containers and so on) because those routes are needed for commercial purposes, and that's make a large slice of the current sorry state of IT.

An open suggestion: try to think about what we have in tech terms today, imaging the present with an IPv6 global per host, a common practice for anyone to have a family domain name, a personal one for adults, subdomains for their hosts and a desktop centered model, where any home have a homeserver to allow sync data between personal and friends hosts. Did you realize that we ALREADY have all the tools, just lacking knowledge and interest? Deploying such infra with systems designed like Guix/Nix allow is something a casual domestic power user can do at home. Something all high school students can learn, understand enough to became netizen of a new old internet. Try to imaging how much we miss just because most if the IT development is directed by few giants who know and many "sheep" who do not know nor care to a point even many techies fails to imaging what we can really do.
maybe a lot of that audio is electromagnetic interference? that's what it sounds like, and audio amplifiers can be pretty sensitive

also, sometimes audio amplifiers oscillate on their own (though i think the single-jfet preamp in an electret mic is unconditionally stable); an amplifier that oscillates in space in a way that physically vibrates the microphone might be damped by air so that you don't notice it when air is present

interestingly, microphone amplifiers oscillating and producing physical vibrations is not a phenomenon restricted to electronic systems: https://en.wikipedia.org/wiki/Otoacoustic_emission

pfdietz seems to be suggesting corona discharge encouraged by the lowered paschen voltage in low vacuum, and of course the negative-resistance characteristic of gas discharges can easily set up a parasitic relaxation oscillator; all you need is some parallel capacitance or series inductance, plus some kind of ballast that quenches the discharge http://tinyurl.com/23dt3d5e http://tinyurl.com/2de5uaog https://www.physics.purdue.edu/demos/display_page.php?item=6...
If the Karate Kid ruined the modern world by learning Karate in a training montage, what are your opinions about the scene in The Matrix where Neo simply downloads his martial art skills? "I know Kung Fu!"
"between killing vs recovering"

There's a third reason - scouting. PA allows night time spotlighting during specific hours and times of year for deer. You can't shine it on farm animals, houses etc. You also have spotlights for other species. So many of those points don't really apply (3, 4, and 5 specifically).
"Landing on the beach Do Do Do Do!"
"Map showing the triangulation across the Andes, 1744. Bibliothèque nationale de France." Fancy, I didn’t know that Sangis, Torneå and Kemi were in the Andes! :-)
You make a compelling argument.

> I'm afraid you are a deep guru who lives on a different plane of existence.

I'll take that as an amusing tip of the cap, I hope that is how it was intended. I don't know if I consider myself a deep guru, but if something doesn't run when I expect it to, I do tend to reach for ldd pretty quickly.
It's not about how fresh it is, it's the composition of it. A growing youngster has a different constitution than a middle-aged person.
Don’t worry if we don’t do something to control the deer population, CWD will.
I doubt that clients block outgoing connections to Russian IPs though... so that shouldn't affect me too much.
"Behind the scenes", Robinhood's broker/the DTCC casually flashed a revolver from under the table.

https://qz.com/2184431/robinhood-nearly-defaulted-during-the...
I mean, pick pretty much any cultural issue on which there is a clear left/right political split. Abortion, LGBT rights etc.
AI Is Easy to Control
Show HN: Free BigQuery Cost Analyzer
We built a free BigQuery cost analyzer using our BI-as-code platform

100% Free: All you need is a Google account in a BigQuery project with access to cost tables
Quick Setup: Just a few clicks to get to an interactive dashboard of your BigQuery costs
Immediate Insights: Understand usage patterns and identifying cost spikes

This started out as an internal project to deep dive into our BigQuery costs. After analyzing our usage patterns, we cut our spending by 90% in just one week.
I don't know if ternary gate arrays are a thing, but if so then yes.