skysight-inc/HackerNews huggingface dataset:
Easy, there. It's just evocative language. I could have said "spot the core flaw" to the same effect.
The very rare time on social media I come across a statement like this, I instantly respect and follow the person saying it.
If anything, the events of the last week have proven it's the right choice.
A-B testing will tell you whether internet advertising works.

Pick an ad. Assign users at random into groups A and B. Show users in group A the ad. Don't show users in group B the ad. Watch and see at what rate users in group A and in group B buy the product. (Or survey the users in the group to ask how they feel about the brand.) If there's a statistically significant difference between the behaviors of people in group A and in group B, then you have statistically significant evidence that the ad works.

Yes, this kind of thing is harder to do with billboards and with TV advertising than with internet ads. This is one of the selling points of internet ads over TV and billboards. If you buy ads from Google or Facebook or whatever, they can run this kind of experiment to measure how effective your advertising actually is. It doesn't involve peering into people's minds, just watching their internet behavior and/or surveying them.

Relevant links:

Google help page: https://support.google.com/displayvideo/answer/9570506

Facebook help page: https://www.facebook.com/business/help/1693381447650068
> I don't buy in to the whole "if only those evil MBA manager types would allocate more budget to security and take security more seriously, they wouldn't get hacked".

This is a corollary to "nine women can't make a baby in a month."
Yet, the outcome was a thriving country of South Korea and a net territorial gain for the south as well. This is a successful war by the standards of how most wars are measured.
I see this a lot but don't understand why. China has every motivation to prop up the Taliban.

A sister comment already noted the mineral resources, but don't forget the main function of Afghanistan as a nation: production of heroin. Narcopolitics are so fantastically more significant than ever gets any attention from "surface" media, but this is the name of the game. Chinese fentanyl has taken over the global opiate black market, so they have every incentive to support the Taliban who will repress the rival heroin trade over the US-backed government who supported it.
"Finding truth" isn't quite what happened here, though. Finding a contradiction/other invalidation of someone else's proof, doesn't advance the knowledge frontier. It means that there was a flaw in process of proving the original proof, but it doesn't disprove the idea behind the original proof. You'd need your own separate proof to do that—probably a proof by contradiction, of one of the main lemmas of the proof.

The useful skill, here, is one shared by logicians and compilers: the ability to quickly find flaws that invalidate a proof, without needing to fully understand what the proof is trying to prove.

Said skill, if it could be more widely-learned, would be very helpful in iterating toward sound proofs (or impossibility proofs for such.)

But when it's only a skill in the hands of another party external to the one writing the proof, that iterative aspect isn't really there.
Tao is respectful in his criticism. And Nelson returns the respect in humbly withdrawing his claim. That is the great thing about this exchange to me.
Wow, you are a dick.
This looks horrible to me. The mixing of bash commands in Javascript looks absolutely terrible and running node itself for scripting is a total mess(node_modules, versions).

I usually go with bash + set -euxo pipefail and if it becomes too complicated I switch to Python.

GoLang/Rust are the perfect tool when distributing tools as a single binare. Where in the world does JS fit in?
another possible reason might be due to iMessage being de facto messaging platform in the US, amplified by the societal pressure to not have "green bubbles".

add to this the fact that video recording on Android has a horrible rep for being blurry and blocky, staining the reputation further.

the time has come for legal action against Apple. this is textbook early-2000s MS behavior.
I was beginning my math PhD around this time, and I remember seeing so much math discussion on google+ (which is mentioned frequently in the linked page). I don't know why this was the case, but it really was true --- there was so much professional math activity on google+.
Taxes are paid in a nations currency which creates demand for the currency scaled to their economy. Borrowing money is the only way to get spending > taxes without an exponential increase in the amount of money generated every year. That exponential growth then gets worse as the economy tanks and debt explodes. It’s been demonstrated repeatedly, things get out of control extremely quickly.

There is a little wiggle room. Governments do get to create a little money as their economies grow or if it’s used in foreign economies without causing significant inflation, but it’s dangerous to just spend it directly. The issue of course excessive printing or any economic contraction.

PS: Foreign debt is of course a closely related issue, but countries don’t create foreign debt unless they are forced to. You can’t get hyper inflation with a currency actually pegged to another currency or gold, those ties break long before hyper inflation happen.
Wouldn't you find out if you tried to book a flight?
> when managers code daily

No offense but this doesn't sound like a well thought out idea. Have you worked at a tech company as either a coder or a manager?

Why should managers code daily? What would they be coding up anyway? If you're saying they should be coding features in the product, then I think you're just saying there should be no middle managers. That's been tried a lot in many different forms over the years, and there's a reason the majority of successful tech companies still have managers.

If you're saying that managers should be coding the tools that they use themselves for managing their employees - why? Their job is talking to the people they manage, listening to them, helping to solve problems, helping to make trade-offs to deliver the product on time, coordinating with other people in the company to keep things running smoothly on their team, etc. If you have a problem that does require a technology solution, like keeping track of tasks or automating some part of the team's work, then it will be orders of magnitude more effective to buy a solution that already exists or hire a team of coders to build it rather than have each individual manager trying to code up solutions themselves. That would be a big distraction from their main job of actually managing their team. Until you can automate the whole job of a manager with an AI, the important parts of the job are just not things that you can easily code up a solution to.
Now liberals care about money, when it suits their brutal ambition, and use the defeat they sabotaged as an argument for money and power. If liberals want money, wake up for real and kill everyone and steal their land. They're doing it to you. Do it back to them. It's the choice of least violence. Leave them alone, they kill you, then turn inward and kill each other.

When humans misbehave and betray their own nature, everything becomes a weapon. Every trade, every product, every paycheck. There's demand not to be horribly murdered, the greatest demand of them all. There is zero demand for mythical medical treatments we don't have or problems a century away whose modern solutions are all painfully corrupt. If there was demand, they would exist. Those good things only come about because people tearing each other apart see the good in them and stop fighting for a moment to seek them.

If your plans involve making tolerable the act of being horribly murdered, I suggest you rethink them please. Here's a stimulus check. Stand by to be thrown into a volcano.

Liberals love the Taliban. They see themselves in them. They look a lot alike when they want power. No rules to restrain them. Leadership hating their followers. Selfishness. Fooling themselves they know everything. Cowardliness to dare not offend the next rung up on the ladder. Celebrity and identity as the only qualification to lead.

If you were out to destroy America, with it's requirements of self-evidence and inalienable rights, what would you do different? I can't tell anymore.
That might be a justification you could slip past a judge who doesn't understand...

I wonder if I could rob a bank, then if I got caught claim "I was just checking to make sure they had enough money to cover my deposits!"
Ulrich Neisser apparently. He's also quoted by this guy who apparently had the same idea as me: https://www.modacity.co/blog/using-repetition-achieve-effect...
If anything it's underestimated, this can be seen by comparing the number to excess mortality.
I guess, as sad as this may sound (and rightly so), it may be time for some kind of standardized robot-disclaimer, to be included in a message and declaring intend to bots, which must be honored by any content filters. – Clearly, message parsing and, depending on this, the reputation of authors, both informing that parsing and also resulting from this, have entered the posthuman age.
That may or may not be true right now. Was it true 10 years ago? 20? 30? There exists a point at which it was not true, and we're talking about taking that investment over a 20+ year historical period, not as a lump sum right now.

Lots of fossil fuel aligned people have pivoted from "everything is fine" to "there's nothing we can do now", and echoing the latter might be factually correct, but in the context it smacks of disingenuity.
Title was changed upon submission. Should be "How Free Monads Yield Extensible Effects."
I would personally recommend Good Reasons for Bad Feelings
By Randolph M. Nesse

The author digs into the idea that humans may have evolved to a certain extent to have good reasons for bad feelings. Several fascinating cases are cited and it made me realise how feelings can be a warning of something. Maybe a bit like when we eat too much salt or sweet then the body reacts. Emotions could work like that but perhaps in a less tangible way.

https://www.penguinrandomhouse.com/books/546633/good-reasons...
AFAIK Calm and Insight don't have hundreds of millions of users nor is the CCP on their corporate boards. But with explanations provided by the apps as to why they want network device access they probably shouldn't be trusted.

As for the data collection, TikTok/ByteDance is definitely going to store it. They wouldn't collect it otherwise. To the utility of the data, if they've got MAC addresses of devices on your home network they can tell many of the brands of devices you own. They know when you get a new computer even if you never use TikTok on it. If you launch the app at your office they get the same information about your office network. In aggregate their network scanning will collect vast amounts of data.

The TikTok app is turning every user into a passive network scanner. Even if you want to ignore the CCP's influence on ByteDance I don't think there is any reason to give them the benefit of the doubt about their data collection. They'll sell their users and anyone around them. I have the same problem with Facebook and their damn shadow profiles and covert data collection.
I have never seen anyone using Javascript for scripting. Never. It's perfectly fine for app dev, but definitely not for running scripts on a server.

I came across Bash, Powershell, Ruby, Python, Go, Rust, Perl, but JS?
Could we? I am genuinely curious: has anybody tried to quantify the ROI in lives saved or life years saved (or something) from spending on medical research? Is that a stupid question because medical advances come in fits and starts and don't have steady progress?
Thanks I was confused by that.
Pompeii’s fast food joint unearthed in 2019 opens to public
Maybe we can use our soft military power to force other countries to reduce pollution to at least to our levels? China looking at you....
Space Rangers 2, called Space Rangers HD: A War Apart on Steam.
There is a clear positive return on those traffic deaths. We live far richer lives because of motor vehicles and what quick private transportation unlocks. I think car centric design is great personally.
Yeah Leaflet never really made the jump to vector tiles. There are various ways to add vector drawing to it but as you've noted none of them are quite easy or simple enough.

MapLibre.org gives me hope. It's a fork of the MapBox GL JS code that intends to be fully open source and independent.

Another option for open source vector mapping was Mapzen's Tangram. Mapzen shut down, what, two years ago? But they open source released everything. I'm not sure if Tangram has a life of its own.
Can someone explain to me how sharing my prescriptions with a third party isn't a HIPAA violation?

I haven't signed a release, why do companies I've never heard of have my prescriptions?
I feel like there's a categorical difference between actually changing a road sign to say the wrong thing, versus adding some kind of smudge to it that certain computers read in an objectively wrong way.

The latter could easily be part of a dumb prank, "doing nothing wrong", but cause serious damage.

This piece of tape shouldn't kill anyone: https://www.extremetech.com/wp-content/uploads/2020/02/tesla...
> One thing to keep in mind is that this is half of the military budget

Prior to "COVID Spending", the total US budget was $4.5 Trillion in 2019, of which 3.4 Trillion was from revenue, and nearly $1 Trillion was deficit spending[1]. In 2019, the total Military budget was a little above $700 Billion[2]. (these numbers also highlight the absurd levels of spending being contemplated in congress right now, 1.2 Trillion and another 3.4 Trillion - these are huge numbers).

Sure, there's waste in the military budget, but majority of it is indeed well spent (we ask a lot of our armed forces these days, and that requires a lot of money, ie. you could not say, cut the military budget in half without severe consequences).

For a UBI to make a significant impact on someone's life, it will need to be substantial (at least several hundred dollars per month). Cost of living, and therefore purchase power of that UBI varies wildly across the country, but even if we just keep things simple and pay every taxpayer (~144 million people[3]) $500 monthly, that total weighs in at 72 Billion Dollars every month, or $864 Billion annually. (again, just for tax payers)

Some of that money will be recaptured in taxes (income taxes, which is absurd on a UBI, and sales taxes), but majority of it will end up directly in the economy. While good for the economy, that level of spending is just untenable long term for the federal government... and that's only for $500, an in-significant amount of money in major metropolitan areas such as San Francisco, New York, Los Angeles, Seattle, etc. Which is why many people are arguing for $2,000 monthly for all tax payers... and as you can see, the numbers just plain do not work.

[1] https://en.wikipedia.org/wiki/2019_United_States_federal_bud...

[2] https://www.statista.com/statistics/272473/us-military-spend...).

[3] https://taxfoundation.org/publications/latest-federal-income....
Proving that one branch of a tunnel system does not lead to the open air is advancing the knowledge frontier. It's not as 'advancing' as finding a tunnel that does lead to the surface, but it is still useful.

I think I agree with the rest of what you have said.
Mobile services extend a lot of credit to their customers.
I like these totally contradictory witness statements. Why you can't trust witness's and the article doesn't seem to even notice -

"At a hearing on the motion, several witnesses testified that they had driven by the intersection days before the accident and the stop sign was already down"

"A man who was driving to a luncheon the day before the crash testified that as he pulled up to the intersection, he saw a semi-truck backing up across the road toward the sign. He said that when he came back after lunch, the stop sign was on the ground."
Tao also writes about how to do this sort of error spotting in a proof you suspect to be wrong: https://terrytao.wordpress.com/advice-on-writing-papers/on-l...

In general he thinks a lot about tool kits and I think what we're seeing here is the math equivalent to being great at debugging.
The tone of the exchange is great, although normal in the company of accomplished pure mathematicians.
The main drawback of ABC notation is that it doesn't capture polyphonic music well but by the looks of it, Alda's notation doesn't either. You can write polyphonic music in ABC but it is clumsy. Another drawback is that the ABC language has warts and has accumulated some cruft. Which is to be expected since the notation was invented in the 1980's and have been incrementally improved since. The main advantage of ABC is that tens of thousands of songs have been notated in the format and that it is well-supported by lots of programs.
I wish it would be possible to know the amount of energy used unnecessarily with software and have it bucketed. I think that there’s a lot of telemetry and unnecessary video rendering that would add up (among many other things not listed...)
Ive had a number of python libraries (and Im not talking small, lesser known ones) that would depend on (and break in the absence of) specific quirks in Python versions that made upgrading python an unnecessary hassle.
What I find most admirable is not the complete fileting, but the humble acceptance of error on something that proof author had obviously put much effort into. It sucks to hear that something you've worked hard on is fundamentally flawed, especially on such public display
I love the look and idea of this - are alternative clients against the Spotify ToS though?

Would be such a shame to put in all this work only for Spotify to kill it.
I was curious and went looking for corroboration / refutation of the 10x you stated. Tesla and Musk both have cited 10x safer (but I didn't see any independent confirmation). But, there was a critical analysis by Forbes that came to a different conclusion. Per Forbes, "[with autopilot] it looks like a Tesla is slightly less safe. But not a lot less safe."

https://www.forbes.com/sites/bradtempleton/2020/07/28/teslas...
Debatable but there is a lot of research showing long car commutes are taking a significant toll on mental health and physical health. We have constantly rising rates of depression, stress and obesity. All things that are partially linked to car usage.

We live far richer lives due to a huge array of technological progressions.

An anecdote but my life massively improved when I got rid of my car and moved somewhere where walking is my only transport method needed. I'm healthier, happier, and have more free time.
Dropping related Nicky Case's’s excellent piece about space repetition here:
How to Remember Anything Forever-ish https://ncase.me/remember/
Since autopilot is a specifically Tesla term for their L2 driver assistance features, you may be better served in this thread referring specifically to the system you have. Most other L2 systems require so much more driver input and attention that many of the incredulous replies are likely assuming you're talking about Tesla specifically.

I'm guessing GM Supercruise since it's the only one I'm aware of that uses eye tracking in production (though Tesla claims to have enabled that in the US just recently. Personally I'm not sure their camera placement can really do proper eye tracking). Supercruise's disengagement rate is low though, generally much lower than Tesla's.

I do like supercruise from what I've seen of it (haven't had a chance to actually use it since GM seems determined to waste their advantage by not rushing it into every car they make).
Homa, a transport protocol to replace TCP for low-latency RPC in data centers
If you're not familiar, John Baez is consistently a nexus for interesting conversations like this one. Read the archives and his twitter for more.
> VMCs are between 800 and 1500 USD

Per domain.

One of my customers has dozens of domain names!
I'm going to give it less than a year now that it has been featured on HN.

This is too user facing and too easy to modify for DRM circumvention (if it isn't already doing that)

Whether it dies through a DMCA takedown or harder DRM measures remains to be seen.

I'm always sad to see people investing lots of time into creating great software that exists in a legal dark grey zone and will inevitably be nuked.

And yes I'm also not happy with the standard Spotify client
I believe that specific form is called a limerick.
Tomatoro, cross platform pomodoro app, 1 flutter codebase – 5 platforms
This. We need to put our money where our mouths is, and accept the discomfort NOW (both to our wallets and to how convenient it is to use a device), so that things can be better LATER, for us and for users who can't tell a Terminal command from gibberish and just want to get on with their lives.
Does it make sense to be an early employee?
Is it lack of understanding or simply a difference in priorities?

It's very fashionable around here to call millions of people stupid for not sharing whatever the "right" opinion is.
There is no such thing as asset inflation. If the price of assets is going up, then they are going up. It sucks that housing is considered an asset (it shouldn't, it should be a consumable) but that is the long and short of it. And you can't have an average 2% inflation target and underperform that target for a decade+, then complain when there is inflation above 2%(which is transitory and caused by simultaneous demand and supply shocks due to covid).
Software Engineering management is way more art than we want to admit
Riiiight. With all those ports, infrastructure, and nice easy mountain terrain to navigate.

And let’s say China does somehow befriend the Taliban and build all this infrastructure, and import hundreds of thousands of workers that somehow the Taliban doesn’t decide are yet another empire to kick out. What do you think they do with these resources? They make iPhones. That westerners buy.

And again, even if they do somehow make this happen. Why should anybody care? It’s not like the US is losing these resources or something. And why would China, as large of a country as it is, need these resources? Is it even profitable to extract?

I keep seeing this narrative and it seems to me to be hugely superficial at best. China and Russia would probably prefer the U.S. just keep wasting money and attention in Afghanistan.
But, have you seen how nice the houses are in Northern Virginia? /s
There is an effective shortage of resources since the capacity to mine for them is not infinite, and production cannot meet demands.
There totally is, power budgeting is a very common thing. But you need an incentive to apply it first, otherwise it's just ignored if it stands in the way for shipping. Smartphones for example always have that because they run on battery power and runtime is a big factor. But we need to apply this to more than just battery powered devices with long runtime needs.
There might be an escape velocity to this: as technology evolves it is easier to clean pollution, and perhaps the innovation moves faster than the added pollution. So maybe the best time to start cleaning is 30 years into the future?
I’d be happy with funding schools even if we don’t see the benefit for 20 years it’s work it- IMO
Your kitchen top is likely glued sawdust.
It's never been a matter of money. We've seen the government can pass multi trillion dollar bills on demand and increase the budget at will. That's what is lacking, the political power/will to pass such legislation. It's unfortunate but it has nothing to do with this war or its cost.
The post-grad life: the Aftermath of Change
The $10m engineering problem – Segment Blog
I don’t trust those people without Autopilot either. Is that the point?