skysight-inc/HackerNews huggingface dataset:
I imagine a system like this to be vastly more useful outside the realm of mathematics research.

You don't need to be able to prove very hard problems to do useful work. Proving just simple things is often enough. If I ask a language model to complete a task, organize some entries in a certain way, or schedule this or that, write a code that accomplishes X, the result is typically not trustworthy directly. But if the system is able to translate parts of the problem to logic and find a solution, that might make the system much more reliable.
Southwest has the fastest turnaround times amongst the major US airlines, so there must be something wrong with theory.

https://www.oag.com/blog/innovative-airline-operations-the-t...
Fun fact: A factoid is something that seems like it could be a fact but is in fact false. I know it's commonly misused as a synonym of "fact" and I don't really care, it's evolving as a word and that's fine. But I really enjoy the sentence "Fun fact: A factoid is something that seems like it could be a fact but is in fact false." so I can't help but share :D
VMs are useful when you don't own or rent dedicated hardware. Which is a lot of cases, especially when your load varies seriously over the day or week.

And even if you do manage dedicated servers, it's often wise to use VMs on them to better isolate parts of the system, aka limit the blast radius.
> - Importing western materials and parts was not expressly forbidden (though certainly not politically popular). But Poland (like a lot of Soviet countries) was undergoing a currency crunch. Possession of foreign currency was illegal and importing materials did not do favorable things for their "fake" exchange rates. The operation was probably contingent on generating more foreign dollars than they spent.

Poland was embargoed so it was tricky to obtain western components. Poles had to pay for them in hard currency, because Polish Zloty was not a convertible currency. There were two exchange rates, the official one at which hard currency was exchanged into zlotys and the the unofficial street rate used by illegal money changers. Those rates varied wildly. Poles who did earn hard currency would have currency accounts, but were forbidden from withdrawing actual dollars or german marks, instead they were given special tokens they could spend in the so-called internal export shops selling western food, clothes, household equipment, radios, TVs, and even toilet paper, because that was one of the things communism struggled with near its end. Those fake dollars had a lower exchange rate on the street.

Ownership of real foreign currency was forbidden as was possession of a passport. There were two types of passports, one for the countries of the Soviet block and the other for the whole world. You had to bring your passport to the local police station for safe keeping and interrogation. Passports would not be issued to all members of a household to prevent them from fleeing the country.

Economically, Poland was getting massively squeezed by the Soviet Union who ordered a lot of ships to be built in the Polish shipyards, but would only pay for them in "transferrable rubles", the currency which was not convertible and pretty much useless. https://www.researchgate.net/publication/305054272_The_Trans... The exchange rate vs. local currencies was controlled by Moscow. In order to deliver those ships to Russia, Poles had to purchase materials and equipment outside of the Eastern Block and pay for it in hard currency. Eastern European countries quickly developed a barter system, but non-Eastern European suppliers wanted to be paid in US dollars. Poland tried to sell its agricultural and industrial output, but could not compete with Western suppliers so the earning were meagre. This has led to lowering of living standards beyond which people had enough of communists and the party was over.
Even more fun are asymmetric network degradations or partitions.
Interested in having a private conversation about this? Have a couple of ideas I’d like to share if you want to leave your contact details.
I don't understand the coffee story.
I agree there are a lot of possibilities ahead, and we’ll only know what the outcome is by observing over a period of time. But, to be frank, I believe in China’s ability to execute far more than the US’ in this context. If your average Chinese citizen attempts to scam the system, they’re more likely to meet punitive measures than in the US, and China’s ability to engineer and manufacture shouldn’t even be up for debate.
Sadly yes, although there are some places will let mothers stay with their sons (https://www.upworthy.com/homeless-shelters-for-women-with-te...)

I think it's normal to want to the kids provided for even if the parents can't be helped. I just don't think the foster system could handle them all. I'd much rather see the problems leading to homelessness addressed than see the US try to get the foster system prepared to deal with the massive number of kids who don't have a stable home. It's hard to get numbers for homeless populations in general, but roughly, each year one out of every 30 children in the US is homeless.

Fortunately, a lot of that is short term homelessness. A family might only need a few weeks of living in a shelter or out of their car to get back on their feet. I'm not sure how much it would help in a case like that. If we had a better handle on homelessness in the US though, I'd agree that in many cases it would be better to take the kids into foster care.

Sadly, homelessness is at an all time high in the US. (https://www.cbsnews.com/news/rent-homelessness-harvard-repor...) and I don't see that changing any time soon. Evictions are at record highs in many cities and counties too and that's absolutely going to put more children out on the street.
Setting Up Local US Geocoding with Tiger/Census Data via PostGIS for PostgreSQL
I've always hated the docker model of the image namespace. It's like those cloud-based routers you can buy.

Docker actively prevents you from having a private repo. They don't want you to point away from their cloud.

Redhat understood this and podman allows you to have a private docker infrastructure, disconnected from docker hub.

For my personal stuff, I would like to use "FROM scratch" and build my personal containers in my own ecosystem.
Proprietary tooling that doesn’t work the way you want is unfortunately a great introduction to hardware work :/
Cosmopolitan 3.6.1
> most mechanics are competent with brakes

Because if they aren't and something happens the mechanic is the one who ends up rotting in a cell. Put the same penalties in place for ODMs and OEMs, mandating that machine owners absolutely always can change the locks to their own property, and mysteriously every single problem we have ever seen with secure boot is no longer some obscure inevitable unavoidable technology issue.
My take-aways were:

- Americans drive

- Non-European countries walk / transit

- Very large cities aggregate a lot of kinds of living that skew the results towards the common modality for that country (e.g. New York and London).
In hawaii this is called a kama'aina discount, been going on forever.
NYPD Coppelgänger: Exploring Cop Data
Yeah. As someone trying to find the time to migrate back to Arch from NixOS... I understand how Arch drives you to want to make things bespoke and just so and reproduceable, but NixOS adds a ton of complexity and problems without ever really getting there.
>Don't get this. It was the Obama whitehouse (which included Biden as VP) that was proven to be spying upon Trump. So, how did Trump follow Nixon's footsteps ?

Because you didn't follow the links, you made yourself look foolish by commenting on something completely unrelated to my comment.

So sad.
From TFA: Hedging against a potential trade war if Trump became president.

"Now Mr Trump, who makes no secret of his desire to hobble China, has a decent chance of returning to power. In a confrontation, America could restrict its own food exports to China, which have rebounded since a truce of sorts was reached, and lean on other big suppliers such as Argentina and Brazil to do likewise. It could try to influence countries that sell metals to China, including Australia and Chile. And most of China’s commodity imports are shipped through a few straits and canals that America could seek to block for Chinese vessels by, say, posting military ships nearby.

...

For now, the evidence suggests that hoarding is more likely to be a defensive measure, since it is not yet on a scale to be secure in a hot conflict"

----

Also, lots of people forget that Chinese who grew up in the 1990s tend to be fairly anti-American due to the Tiannamen Sanctions, the Taiwan Straits Crisis, and the bombing of the Chinese Embassy in Belgrade along with the Collapse of the USSR and the Gulf War (the Iraqi Army used the same doctrine and weaponry as the PLA in the 1990s).

There is a massive culture gap between Chinese and American leadership, and it has the potential of spiraling into conflict if diplomacy and openness in the relationship isn't managed.

Both sides think the other is out to get them.
In my experience these kind of companies attract either juniors or people who cannot afford to work for a 100% remote company (because they cannot pass the interview). It’s like the Nigerian prince scam: the emails are written badly on purpose because they are targeted to those people who won’t realise about the nature of the scam.
> (1,000 is 1000 in France or the UK or Spain, but 1 in Germany or Romania)

No, France and Spain follow the same standard as Germany: dots as thousands separators, a comma as the decimal separator. Actually most of Europe does the same, the only exceptions being the UK and Ireland:

https://en.wikipedia.org/wiki/Decimal_separator#/media/File:...
> I was talking about future possibilities, not the past.

Why would anyone want to do an audio-only interface? If there were a need or desire for it, it would have popped up somewhere else in society. It hasn't.

> you are not the same entity as everyone else. you are one, they are numerous.

OK, let me rephrase that. I've never heard of a single other person buying a single thing using an audio-only interface. It probably happens, but it's rare enough that it's safe to say Amazon was trying to invent a brand new human behavior, which (I will reiterate) is stupid.
You could always call them just-in-time tariffs? I don't like them personally, but I can certainly understand the desire to incentivize what you like, and disincentivize what you do not.
No worries. I learned this too a while ago (was also using jealous instead of envious and vice versa myself). From my understanding the use of jealous is when you have something but that is threatened by some external factor, eg a partner, a friend having more fun with somebody else. Envious is when you covet something that you do not have currently but wish to, which is in this case playing with exciting tech.
I ended up in an employee owned place. Money ran out and wages were traded in for a period for company ownership.

It created a flat org in some ways but also created a separation between old employees and new ones. The real leader was the lawyer trying to get new funding.

When the money never came they folded all first world locations and became an Indian owned/run company and tried to sell in that market. The product tech became outdated after the first iphone so it made sense to go low end
> without performance degradation

Not accounting for Moore's Law, yikes. Need a comparison adjusted for "today's dollars".
> TFA says you can have consistency, availability, and partition tolerance because network partitions between servers typically don't extend to clients, and you can have enough servers to maintain quorum for all clients

It's not "partition tolerance" if you declare that partitions typically don't happen.
Spots on Mars Rock Share Similarities with Fossilized Life on Earth
They have mountains of dollars which could suddenly be frozen like Russia's dollars were.

Much better to exchange them for something useful.
Show HN: Comprehensive and Intuitive Introduction to Deep Learning
Dear HN -- I am doing a multi-part web series on teaching AI, specifically Deep Learning. Learning AI is not easy. The topics are highly technical and cover a broad range of areas without offering any intuitive or clear entry point for someone new to the field. I find that most tutorials focus on heavy math making them inaccessible to most people; or treat topics only superficially; or cover concepts in a bespoke manner without a clear framework for tying them together.

Wouldn't it be great if there was a way to learn the depth and breadth of AI in an intuitive and digestible way? It is with this goal that I am conducting a multi-part web series titled -- "A Comprehensive and Intuitive Introduction to Deep Learning" (CIDL). The first web series is made of 4 seasons, with each season having 3-4 episodes.

AGENDA: https://raw.githubusercontent.com/parthaseetala/cidl/main/cidl-1-agenda.png

The first 3 episodes of Season 1 are available here:

EPISODE 1: An intuitive introduction to Neural Networks (why, what and how)

https://youtu.be/os5by3jKUvc

EPISODE 2: Tuning Neural Networks and Solving Regression, Classification and Ranking problems

https://youtu.be/CQTCS8SO8bs

EPISODE 3: Tuning Neural Networks -- Hidden Layers, Optimizers, Avoiding Overfitting

https://youtu.be/_JWcxDN8BkQ
As I understand things, a big part of the support for age verification comes from religious groups who'd like a complete porn ban.

But as that won't fly for first amendment reasons, imposing an impractical age verification requirement is the next best thing. The impracticality is intentional, the people advocating for these laws don't want it to be possible to comply with.
> Docker actively prevents you from having a private repo.

In what ways? I use private repos daily with no issues.
I use printf debugging locally as well. Interactive debuggers and I just don't get on, and my test cases are built to start fast enough that it works out for me. Usually I have a 'debug_stderr' function of some sort that serialises + writes its argument and then returns it so I can stick it in the middle of expressions.

(I do make sure that anybody learning from me understands that debuggers are not evil, they're just not my thing, and that shouldn't stop everybody else at least trying to learn to use them)
It's the parentheses that drove me crazy. As people already noted, it's for faster typing, at the cost of the division magic as you noted. If it's more familiar to you, it works with `wat(object)` syntax as well.
Sure, but one might think that training on self-generated data would keep you in a constrained subset of minima, but that is not the case.
For goodness' sakes, it's in beta.

Their devs are probably trying to make sure it runs in Firefox but they haven't added it to the official QA process, just like they haven't added languages other than English either. And they don't want Firefox users complaining about bugs that might be there yet.

If this were a full release then sure I'd complain too. But this is just a beta. Maybe releasing betas before they have full compatibility and internationalization is good, rather than "miserable"?
I think it won’t be a great thing anymore. More like commodity. Is anyone impressed by the difference between the lates iPhone and a model that is 5 years old? Not really, sure these phones get better and better but not to the point of surprise anymore.
Curious as to what it's doing under the hood, the query to return the results takes an excruciatingly long time... are you searching remote sources vs a local index?

this was the search <https://www.undermind.ai/query_app/display_one_search/cba773...> if you need a reference too it, ie bugs or performance monitoring...
The system shouldn’t survive, that’s fine. A lot of the takes here envision UBI somehow fitting into our current economic model. In the case where AI/automation truly remove a bulk of the jobs, we shouldn’t be trying to prop up our current capitalistic model. At that point of industrialization, we will need a model that allows needs to be met without worrying about what it means to afford something, or to at least drastically reimagine it.
It'll never add information, but one may think it would be useful to refine information as you feed 'good' model outputs into itself for training.
Paxos being CP.
The internet is not even remotely the first network. See "The Victorian Internet" by Standage https://www.amazon.com/Victorian-Internet-Remarkable-Ninetee...

It was an incremental step, followed by other incremental steps. There have also been many, many internets along the way: AOL, Prodigy, BYTEnet, MCI, Gopher, RBBS, etc. Every organization that had more than one computer soon figured out how to connect them. Even I did that.

BTW, Ethernet was invented by Xerox. I use it every day.

Compilers appeared shortly after computers that were capable enough to run them appeared. This suggests an inevitability, not a discontinuous invention. Jet engines were a discontinuity, too.

What I see is that if invention X is derived from inventions A,B,C,D,E,F, and D was funded by the government, the government gets all the credit.

> Capitalism as it is has empirically shown it's not the best system humanity should rely on,

How has that been shown?

> it has its advantages, it has major flaws, admitting that is a pretty good first step into trying to look what's next, how do we go from here. It's destructive, it's inhumane, it's simplistic, it will become a relic just like any other system that came before.

Show an example of any system working better.

Free markets are a chaotic system of creative destruction. There have been endless attempts at "fixing" that. None have worked better.
IMHO, stockpiles are good policy since they build resilience. If China's doing this but not the West, it's a display of some of the advantages of their governance model (not to say that it doesn't have disadvantages, too). The US especially seems to be infected by short-term, happy-path thinking that's eager and willing to risk the future for a little bit of savings today.
> After World War II, the communist regime in Poland considered members of the resistance a threat to its existence, convinced that people who had risked their lives to free Poland of its Nazi oppressors could also act to undermine the new Soviet regime

Interesting fact from the article...
Building a Brand: Why You Matter More Than Your Product
VPNs make short work of these blocks in Texas just as they do in large parts of the Middle East and Eastern Asia where porn is illegal. Assuming you're an adult and are able to pay for and set up a VPN.

That aside, I'm not convinced unfettered access to all varieties of hardcore pornography is a good thing for society, especially kids.
Vinyl records and CDs were the perfect gift back in the day.

Music as a gift really died with online music.

It would be nice to see a return to vinyl and record players.
I was thinking of JVM based systems like Flink, that use JNI to access RocksDB.
Too bad cl-ppcre is extremely slow in my experience, but that's what we have.
ASDF and UIOP are the same as the rest, de facto standards, but not ANSI nor CLtL.

I would also add iterate to the "must haves". All noobs should constantly look at the CLHS (available for dash, zeal and emacs too!), https://lispcookbook.github.io/cl-cookbook/ and https://github.com/CodyReichert/awesome-cl, anyway.

Truly, someone could tie himself to SBCL and its extensions and get a much more modern environment, but I think it's worth targeting ECL and CCL in addition.
Thanks for asking, I made the data that I used for the analysis available as JSON here: https://github.com/TN1ck/tn1ck.com/tree/main/lib/sudoku.
> According to Kekesi, every single piece of content uploaded to Pornhub is now manually reviewed by a human being.

That's ...a job.

> Device-based age verification

This seems like something Apple will inevitably get into. It could be enough pressure to deter device-sharing.

edit: and I don't mean they'll be forced to do it. They'll just use it as an opportunity. Eg, pornhub will work in Texas for 'age-verified devices" -- no ID upload required. (At least not to the site in question). Texans won't need to futz with a VPN, they'll just use iPhone. Parents will want to get their kids devices that have the verification.
> Are hundreds of thousands of people taking Taxis and Ubers?

Probably. Not just the tourists, but business folks. I remember people would regularly take a taxi for a business meeting only a couple blocks away. I guess if the company is paying for it, why not.
Thanks! That's what happens if you only use keyboards without a proper numpad, will fix soon.

Edit: Should be fixed now.
For a service that needs to be available to the outside world, I'd say a VPS is often the better practical solution.

Many home ISPs don't allow hosting of E-mail (SMTP) or traffic through to 80/443 (HTTP/S), so you have to have something which does this. "Self-hosters" often explain their setups with a reverse proxy which ends up on a home server.

I say this as a big supporter of RaspPi and home devices in general; unless it's for something like Home Automation, it's easier and more reliable to just run it remotely.
Out here in physical reality you still need humans to do things. That isn't changing any time soon.
Tracking anyone for personal life activities is ridiculous.

If those that lobby for these laws want to track porn users, then a fair exchange might be to require public registration of one's religious affiliation with the state and require it for religious donations to remain untaxed.

They might back down really fast and understand how important privacy is.
Show HN: Checklist to ensure all ticket requirements are met
Like an abstract
Thank you and all the others here for the kind words, means a lot:)

And the WASM solver is super cool, definitely useful for generating them as you have to do quite a lot of iterations!
All models are wrong, some are useful. CAP is probably at least as useful as Newtonian mechanics WHEN you are explaining why you just did a bunch of… extra stuff.

I would like to violate CAP, please. I would like to be nearish to c, please.

Here is my passport. I have done the work.
You presented arguments, but did not present any substantive, quantitative effects attributed to those changes. You have presented no quantitative means of evaluating security.

Furthermore, you have presented no empirical evidence that those changes actually result in meaningful security. No, I do not mean “better”, I mean meaningful, as in can protect against commercially-motivated hackers.

None of the systems actually certified to protect against state-actors used such a nonsensical process as imagining improvements and then just assuming things are better. Show a proof of correctness and a NSA pentest that fails to find any vulnerabilities, then we can start talking. Barring that, the explicit, above-board bug bounty provides a okay lower bound on security. You really need a more stable process, but it is at least a starting point.

And besides that, a 7-figure number is paltry. Google Cloud brings in, what, 11 figures? The operations of a billion dollar company should not be secured to a level of only a few million dollars.

So again, proofs of correctness and demonstrated protection against teams with tens to hundreds of millions in budget (i.e team of 5 competent offensive security specialists for 2 years, NSO group for a year, etc.). Anything less is insufficient to bet trillions of dollars of commerce and countless lives on.
Discussions at the time:

(146 points, 5 months ago, 80 comments) https://news.ycombinator.com/item?id=39514844

(69 points, 5 months ago, 54 comments) https://news.ycombinator.com/item?id=39542440
The U.S. Air Force's NGAD Fighter Looks Like a Giant Boondoggle
Mills flourished in colonial America without lords. They're not that hard to construct.
Zoinks... My brain read that as C++, not C#. Or was I just hallucinating?