skysight-inc/HackerNews huggingface dataset:
Very recently, parents were given $300 per child, per month. It was very close to becoming permanent.

That was an UBI for households with dependent children.

The argument for inflation is hard to refute given how short the program ran.

The effect was that some parents could now afford to work. Perhaps, daycare rates go up to consume that $300 but unlikely as it is already a tight margin business as are many business and services.

There is nothing in capitalism that says UBI must lead to inflation.

All economic systems are built on rationale actors.

It more like it will create artificial price ceilings.

Let's say the government gives everyone a $300 voucher for daycare.

Savvy business people are going to find a way to run a daycare for $300 per kid and collect that sweet government backed cash flow and lock their services to that amount.

The cash flow from the first $300 is guaranteed by the federal government. Anything over $300 requires a separate billing process.

At $305 that is $5 that requires an additional billing setup.

There would be a gap before the return would be worth it.

A scientific approach would be to weigh the cost between UBI and our current solutions. Unfortunately, politicians typically only favor the science that backs their ideology.

Currently there are already subsidizes in place, some people can qualify for reduced daycare rates. This is the bureaucratic way to implement such support, there is massive overhead as there are many people in the middle ensuring that all the paperwork is perfect.

What is the total cost of delivering these reduced rates vs a UBI for children?

Are we doing the more frugal approach? Almost certainly not. A swath of American's stop expecting a functioning federal government and things have stagnated since.
"We're just doing it to protect the children!" has been the rallying crying of authoritarians to surveil, censor and strip adults of their rights since the dawn of time.
Bingo: "The company, which was founded by a pair of US military intelligence veterans..."
Award winning animation with only 20 lines of CSS?
> Noone is suggesting more coal.

What's the scope of noone? To my knowledge, new coal plants are still being built all over the world?
5+ years of go-to-market experience, particularly in business operations and analysis, revenue operations, sales operations, or marketing operations roles

It's an administrative job for someone with 5 years experience. I don't think they have any direct reports. Do jobs like this really pay more than 150k?
That's not a language issue, but a platform (i.e. browser) issue. It's entirely possible to enable JS and not have this as the default.

In Emacs, you can install any package that will then do most/all the evil that JS can. In principle, you should be very careful about the packages you install.
I purchased a phone with built in FLIR for a friend in Australia. It was cheaper for me to buy it in the US, ship it, and pay a bunch for insurance than for her to buy it locally.

You can see the phone at 4min in this video https://youtu.be/BDUOtlVc4UM
Yeah, I had to do a google to guess what the images might look like. https://www.google.com/search?q=James+Scott+Geras&tbm=isch
Um, Emacs does support proportional fonts.
Won't "age verification" just mean one of those useless forms where you're supposed to enter your birthday?
ITT microservices vs monoliths dogma.
That's the moment to memorize for ever. I bet that's one of the scenes you will remember before you die (no offence, just thinking about American Beauty). I would.
> deliver ordnance to the targeted country's energy and food production

only gigantic piece of shit asshats resort to causing as much civilian suffering as possible. this goes 1000x if you are the aggressor.

this sounds like a godforsaken cruel & shitty use of a weapon & i hope it never ever ever ever happens.
I think he's right for the wrong reasons.

Emacs Lisp (and its data model) is quite different from what programmers are traditionally used to. We typically write software that runs completely unattended for years at a time. We communicate with unknown servers and APIs that change randomly for no reason. Everything that can go wrong, will go wrong, multiple times an hour. Thus, a programming language designed for that environment has to have error handling front and center, it's really all you're doing! Taking that to the extreme, code that refuses to compile because you didn't handle every possible eventuality is actually wonderful for making software that stands a chance of not being the ops team's (you these days) worst nightmare.

Emacs is not like that, however. The user of the code is likely a programmer, and the main data structure is the buffer of text that they're looking at. It's the one time in the world that you can just throw an exception and let the user handle it. They can just adjust the "memory" by typing stuff and trying the command again. Having written a lot of Emacs Lisp (and a fair amount of Javascript), I don't even know how you could make a nice API in Javascript that let you quickly put together quick editor tools, the fundamental design of the language just makes it more difficult than necessary. (You'll see this in the long tail of Emacs packages that the newer editors simply don't have. It's so easy to get started, and to finish!)

I'm honestly surprised that anyone has managed to write a text editor in a programming language other than Emacs Lisp. It's just such an impedance mismatch, it must be pain upon pain constantly.

RMS is right in the sense that users can't really inspect the code they get from websites. That is more of a webpack and browser issue than anything else. Emacs has great tools for inspecting the code you're going to run or are running (it's a keystroke away at all times), but I think you could build that for any language. And to be fair, I'm sure many Emacs users package-install stuff that they never look at, or even care that Emacs is free.
For me, the most fascinating part is about women refusing to accept they've been scammed or wanting a relationship with the men whose pictures were stolen, even though some of them are gay.

It is quite similar to cult followers like QAnon. They want to believe desperately on what is comforting discarding what is reasonable.

My Brazilian family of Bolsonaro supporters camping in front of barracks demanding a coup-d'etat is an example of it, similar to Republicans that believe in the Big Lie.

Most people love comforting and convenient lies and don't like uncomfortable truths.
> Serpent river, Rossing, Kakadu, Kadapa, Church Hill, La Hague

Nuclear accidents are polluting, but steady state certainly is not.

But what makes you think that this will be an issue elsewhere going forward? There's no evidence to think so.

On the other hand, wind power requires rare earth metals that are mined in open pit hellscapes in Mongolia. [1] That doesn't look very environmentally friendly. And of course solar panels are for now just acres and acres of e-waste that gets buried in poor countries. Battery storage requires huge quantities of lithium. A single Tesla battery pack generates as much CO2 in production as an entire ICE car does in manufacture.

There is of course more than enough uranium. There's billions of tons dissolved in seawater, enough for 100,000 years of current electric capacity. In fact a new gel was just discovered to make extraction much more efficient. [2] That 4 billion tons is actually replenished as it's extracted from geological processes. There is plenty of Uranium for conventional fission reactors. By most measures, existing nuclear power schemes are renewable.

Then, breeder reactors require some 100x less uranium, and CANDU reactors can already operate on thorium cycle.

There is no perfect solution, and meeting our energy needs at minimum CO2 requires a variety of energy sources. I'm not opposed to renewables at all. By all means, build away.

[1] https://www.bbc.com/future/article/20150402-the-worst-place-...

[2] https://bigthink.com/hard-science/extract-uranium-seawater/
At the pace things are going, give it a couple of months, maybe 6 at most.

There is a point where these natural language AIs are going to produce output that’s better than what anyone could write on their own.

That is uses a clear, concise and consistent style now is a plus, even if that’s a little drab.
WER is really dataset-dependent, you can’t really compare across different test sets unless they’re almost identical (acoustic environment, microphone quality, speaker profiles, linguistic domain, etc).

WER for the exact same model can vary wildly between datasets, it’s really only useful for comparing model performance on a single test set.
Indeed. It’s a very smart thing to do. Basically a Big Mac index approach.
Just try transfering it with sftp and see what kind of speed you get. Maybe use tar first to make a few big files, which will reduce overhead
I’m confused because this is how it already worked. Unlike regular purchases, subscription pricing was always managed by choosing a price in one territory, letting it recommend prices for all the other territories (based on the exchange rate at that date) and giving you the option to make final adjustments. The prices never adjust for exchange rates afterwards unless you re-run the process manually. This was required because fluctuating prices are bad for subscriptions as customers get locked in.

So I don’t understand what’s different here.
This is rather disappointing especially there are now 25fps Hikmicro cameras at similar prices.
That's not my experience with sre and DevOps, often it's just consuming tool written by others. It's basically being a sysadmin with a git repo
Caterpillar phones have had thermal sensing for years, haven't they? What's different in this model?
Those are just the auditors; the audit firms send charismatic and attractive people around so that the people whose work they're checking will let their guard down.
When all the candidates are variations of grey it's not really voting.
> https://modal-labs-whisper-pod-transcriber-fastapi-app.modal...

Interesting, which model are you using? We use the medium model which is the sweet spot between time/performance ratio. We also chunk, We try to detect words and silences to do better chunking at word boundaries but if you do more chunking and you don't get the word boundaries right it seems like whisper loses some context and the accuracy suffers. We will soon support longer hours. We just want to make sure the wait time for transcription doesn't suffer for most users. But great demo, reach out to me if you want to collaborate
The media transcoding components aren't written in Ruby, it shells out to ffmpeg or Imagemagick.
Career Scouting: Dentistry
The original paper where the graph comes from is not clear about it either. I think total hardness is calcium carbonate and magnesium ppm, but I am not sure.
I recently interviewed a dentist. You may find the text insightful. Note that this is not necessarily representative of the experience of all dentists. My reasons for doing so are listed on the “about” page of the linked website.
What are you talking about?

What makes it a service soup is the soup of services on the other side of the queue processor. If those components weren't services, the application would be a monolith.

Anyway, there many reasons to organize your code on services, and McDonalds is large enough for them to be perfectly valid. But if you take a closer look, those components on the article aren't the ones that do anything, they are just new queue processors that may or may not finally deliver your messages to the destination. That's an irksome architecture.
They don’t need to know the true cost. They just need to estimate well enough to break even. They do tens of thousands of procedures each year.

The podcast goes into this concept and their hospital isn’t a specialist clinic, they do everything a hospital typically does.
I do think reading https://www.gnu.org/philosophy/javascript-trap.html is helpful to understand his position. Specially if you're familiar with his 'four freedoms' concept
That is the point that my example was intended to illustrate.
Everything is 2x heavier and so everything needs two hands.

Changing a tube on my road bike is like flipping a pancake. Changing a tube on the RadRunner is like flipping a turkey.
> There are tens of thousands of procedure and drug codes (things that are done or given) and tens of thousands of diagnostic codes

www.mcmaster.com has half a million products. Amazon has who the hell knows. Even factoring in combinations, sheer number alone should not make the problem any more complex than any inventory/product system.
Probably works the same as every other device that uses the FLIR lepton 3.5.
Ask HN: A quiet place for a short stay (UK)
Hi! I’m Charlie and I’m looking for a quiet place to stay in the UK countryside for a few days to weeks. I live in the middle of nowhere now and a change of scenery would be great.

If you have space and would like some company, I’m a hacker/developer manufacturing lighting equipment for live shows like TV. I’d love to work on something different or just take it easy for a bit. I’ll cover all costs and help with chores. Please get in touch, email is on my profile!

I’m also grateful for any suggestions on where to go or how to find a retreat alone. We all need it sometimes.

Thank you HN!
Those look like some great tools, but unfortunately I don't think either of them help to obfuscate your location which is the main product of Anomaly 6.

To thwart telcos, you can use https://invisv.com/ or rotate burner SIMs from Mint or Ting.
To thwart the OS level tracking we have many alternate OS such as Graphene, Postmarket, and Linux.
For app level SDK's which are the primary vector used here, primarily use FOSS apps such as those from fdroid.org and treat any proprietary apps with extreme caution.
And has for quite a while.
There was a recent case that made me think it was just inexperience with speed on an ebike, some of the canyons in southern California are pretty scary even if you are used to racing due to having to worry about a car in the wrong lane on every blind corner or cars pulling out from driveways no matter what a cyclist is doing.
The company's defense is no one under the age of 18 is suppose to use these.

https://abcnews.go.com/GMA/Family/parents-file-lawsuit-bike-...
I'm still not sure you were wrong.
I found torrenting over even a local network was much slower than directly copying to a portable hard drive.

Most likely you want to settle on a process that verifies the copied files. If your friend uses M$ you could take a simple path and use a program like Terracopy [1] to be sure and just copy them all to a portable hard drive. (I've used it since working on a Win 10 system (whatever version it was) where quicker file copy was achieved by stepping back to iirc win 95 era and not verifying files.)

In linux there are many options - personally I tar folders up to 20 or 30 gigs using --verify (-W) ie tar -cvWf folder1 'folder1'/

... in your case you would need to direct the write of tar to the portable drive.

[1] https://codesector.com/teracopy
The article you link to establishes the reality of participation bias, but it does not exactly endorse option A. It does say "In e-mail surveys those who didn't answer can also systematically be phoned and a small number of survey questions can be asked. If their answers don't differ significantly from those who answered the survey, there might be no non-response bias. This technique is sometimes called non-response follow-up." This is not, however, the same as option A, which (as far as it goes) commingles responses from those who respond to the second prompt with those from the first, potentially concentrating a non-response bias in those who don't respond to either prompting. Furthermore, neither option A nor the above quote offers a remedy if evidence of non-response bias is found.
18x2.75 motorcycle/scooter tires should fit (so says Reddit).
It comes back to how well you understand the system design. The major public blockchains impose massive penalties on the people using them because they’re trying to avoid things like trusted third parties. That’s an interesting problem from a CS perspective but it’s not a problem most people have or one which blockchains solve in scenarios where not everything is on the blockchain.

That matters because the costs of transactions are much higher, overall system performance is much lower, and reliability is lower. You can no longer operate offline, maintaining your own nodes becomes expensive, and that extra infrastructure isn’t buying you things which most applications need.

Going back to the AWS question, if I need immutability I can use QLDB to log my transactions. It’s cheaper, scales really well, has excellent support, and I’ll never have a business operation fail because some grifter is minting a bunch of NFTs and temporarily overloaded the network (Solana) or made it unaffordable (Ethereum). There are very few businesses where it’s not a better deal to go with a more predictable system based on your existing legal relationships, especially when it’s also the cheaper and safer option.
Technically, nothing. But in practice, if Emacs ran JavaScript, people would overwhelmingly use Emacs to browse the web, which would involve the normal step of running the scads of non-free JavaScript code which is present on seemingly every web page. RMS is not aiming to simply have a technical excuse to claim that something is not his fault, he wants people to actually get into a better situation than they are now in. Therefore, it would result in a practically bad result if Emacs were to be used in this way.
Wind power does not, in fact, require rare-earth metals.

Rare-earth metals are now being mined (mainly for fractional-horsepower motors) in other places.
> But having a gay guy have a wide following of women in love with him is hilarious

Women loved Rock Hudson. I think there are a number of gay women stars that are quite popular with men.

Social media is very weird. People can have entire friendships, romances, and work relationships, without meeting the other person. I had a friend whose wife left him for an online relationship. She got to the other state, met the guy (it was not a scam), and then things didn't work out. By then, however, it was too late.

Best thing that could have happened to him. He's been happily married to another person for many years.
Yeah but what does browsers running JavaScript have to do with Emacs? Imagine if browsers ran lisp instead?
I've had the competition's ruggedized android phone with a flir camera for a couple of years now? [1]

[1] https://www.aliexpress.com/item/4001227941445.html

I don't love it like I did the nokia n900 but it is decent. It's an android that goes underwater, can take photos there and you can drop without being worried about breaking it including the screen - all phones should be like that.

The flir camera pics look just like that, haven't really found a use for it yet but I guess I might one day. The endoscope is also a cool idea that hasn't really worked out so well when I've wanted to use it. It works it just an endoscope frequently isn't as useful as you'd hope it could be.

Like every single android phone vendor they really need to get out of the business of providing the OS and set it up as a community project so it works the way you want and has upgrades if you want. Not that Apple, controlling everything, are better at this iphone6 now junk etc.
I've been using a BlackView 9900 Pro for over a year, and attest to the surprising usefulness of the built-in thermal camera, such as checking how well food is heated after microwaving, or even watching the heat distribution of rolling, boiled water.

My phone's battery is degraded now and I'm dreading a switch to something else. I've eyed the S62 but don't think it's an upgrade.
It only is an impediment if it is made in the US. There are high frame rate sensors sold openly abroad.
I want to be able to offer clearance prices (x.97).
> Practically speaking, what results obtained with the Axiom of Infinity cannot be achieved without it?

There's a surprising amount you can achieve without the Axiom of Infinity, but the way you have to "talk" about things gets very awkward very quickly.

First off, what you end up with at the end of the day if you take the negation of the Axiom of Infinity but keep the rest of ZF (this is also known as the theory of hereditarily finite sets, i.e. finite sets whose members must also be finite sets all the way down) are the (first-order) Peano Axioms. To explain an intuition for why in a very hand-wavy sense, if you only have finite sets, you can encode any finite set as a single natural number and vice versa .As witness of this in programming, note that that an array ultimately is a single binary number consisting of 0s and 1s and likewise a single natural number ultimately is just a single binary number consisting of 0s and 1s. To also very hand-wavingly describe why the Peano Axioms are in fact excluding the notion of infinity, note that the Peano Axioms have no way to talk about the natural numbers as a single entity, only a way of talking about each individual number.

So to answer your question directly, any theorem about the natural numbers that cannot be proved with the Peano Axioms cannot be proved without the Axiom of Infinity in ZF. For example, the Paris-Harrington Theorem cannot be proved without the Axiom of Infinity in ZF. These are potentially philosophically interesting examples since they are theorems about finite numbers that cannot be proved without the Axiom of Infinity (although the ultrafinitist would object to the careless use of "for all natural numbers" that shows up in these statements).

On the flip side, a surprising amount of theorems ostensibly about infinite structures can be proved purely with Peano Arithmetic alone. Let's talk about the real numbers for example. The general trick is that while you obviously cannot talk directly about a "real number," you can talk about all the finite structures which approximate a real number and their finite consequences. So instead of saying statements of the form "there exists a real number r such that X" you end up saying "for all natural numbers n, there exists another natural number m_n with property A such that each number satisfies X'" where n forms the indices of a series of approximations m_n whose property A ensures that they are correctly approximating r and X' is the property X translated to be a property on each individual approximation.

Now I personally find this a very awkward way to talk about the real numbers. In particular the theory itself cannot recognize that it's trying to approximate something, as the theory has no concept of that "something." Only you as an external observer can look at the theory and "realize" that a given theorem is "really" talking about the real numbers. Within the theory it just looks like you're proving really weird things about really weird sequences.

But with this in hand you can prove some parts of analysis, but not others. E.g. the validity of using the ratio test from calculus cannot be proven even within this framework.
Telegram bot: https://t.me/ternausbot

Allows searching for generated imagery at Ternaus.com using text or image queries.

Python code for the bot is included in the text.
O, it can be. It's not /the/ way, but it is a way. Often, aliases (shortcuts/links) to favourite apps ended up there, or on the desktop, or in one of various available launcher utilities.
Argentina’s Most Powerful Politician Found Guilty of Fraud
Also pen test teams will use halo effect when it's an option.