skysight-inc/HackerNews huggingface dataset:
Yes, you can run the machine that looks for ZFC inconsistencies. And if it halts, it is necessarily within BB(748) steps, as that forms an upper bound on the halting time of any 748 rule TM.
Just know that BB(748) is incomprehensibly larger than BB(10) and the latter can't even be computed within the lifetime of the universe.

But yes, in principle you could stumble upon a ZFC inconsistency that can be proved very easily and takes much fewer steps than even BB(10).
Ask HN: What are your best tips or resources when it comes to marketing?
I want to get better at marketing my side projects when I finish them so more people can use them. For example, I built Hacky, a free iOS Hacker News app, and I'd love to get it in front of more people.

Outside of posting on HN, Indie Hackers, Reddit, or paying for Ads, I'm not sure where to get started on marketing.

What are your best tips or resources when it comes to marketing? How did you learn how to market?

Link to Hacky for those interested:
https://apps.apple.com/us/app/dark-hacker-news/id1459946382
Legal AI Pioneer Ross to Close, Marking End of Era
it's social engineering 100%, automatic drive-by installs have been blocked in browsers for years

the reporter should have known this
I have seen something similar in China. Old people socializing outside a lot, playing games, chatting, exercising (in old person kind of way) and dancing.
I don't think this is terribly controversial. this is where the "reasonable" part of "reasonable accommodations" comes into play. you need to find a way for wheelchair users to navigate your office building. you don't need to find a way for blind people to fly airplanes.

in bob's case, he has ten years worth of company technical/product knowledge in his head. he probably still has a lot to contribute to the company, but they ought to find a role for him where so much verbal communication is not required. maybe they have already done this, and bob actually spends most of his time talking to people who are familiar enough not to need an interpreter.
I personally use a password manager except in a few physical cases where I use the function approach or have just directly memorized the PIN (iPhone, YubiKey pre-fingerprint).

The function approach is a normal password, just that it scales O(1) with your memory for O(N) passwords. The expectation is that if you have a complex enough function it will be non-trivial to back-fit it, this doesn’t necessarily hold for any arbitrary function, of course.
What it looks like when the NYC Police Commissioner has 'unchecked power'
I know it’s popular in a lot of Japanese animes, but I’ve never seen anyone walking around with over ear headphones in real life. I see them mostly in open offices worn by developers trying to get some quiet while they are coding.
Lifetimes are already generics, so it is harder to add "lifetime only GATs" than it is GATs, in my understanding.
> People actually drive more because they have to. More lanes have more consequences than wider streets alone, they enable sprawl, funnel funding away from other transport options etc. That has consequences for the housing market, average distances between work and home etc.

You're really just saying the same thing as I did -- congestion suppresses demand.

Suppose you have an uncongested two lane road. Making that a four lane road is not going to induce anything, because the widened road has more capacity than the original one, but you weren't even using the full capacity of the original one. It doesn't encourage anyone to do anything they hadn't already been able to.

The reason it "enables sprawl" is that if the original road was congested, people wouldn't want to travel it to commute, so buying a house in the suburbs and commuting via that road is suppressed. Congestion suppresses demand. If you reduce the congestion by widening the road, some of the demand comes back. And notice that the same thing happens if you alleviate congestion in some other way -- if you somehow make it more attractive to take the subway and then more people do, there is less traffic on the roads and it becomes more attractive to drive.

But you don't actually want the congestion. Traffic congestion sucks. You want to get rid of it somehow.

Part of the solution could be expanding the road, but you could have to expand the road a lot to satisfy all of the demand that would exist with uncongested roads, if you want to use that as the only solution. Which is why you shouldn't. There are other things that reduce congestion.

Like building higher density housing, so that more people can live closer to where they work and have a shorter commute, which in turn makes mass transit more viable. Then that in combination with widening some roads relieves the congestion.

The real problem here is the politics of it. Increasing the housing stock sufficiently to satisfy the demand would tend to reduce housing costs, which existing property owners don't want. So they fight high density construction with restrictive zoning rules and then the high cost and low supply of housing in the city pushes people into the suburbs, which increases the demand for roads.
Can we get rid of both?
> you don’t raise double the money because you set the price 2x unless that was your plan. you would sell half the shares

You keep throwing out assumptions without anything backing them.

They at a price and amount for sale. Absent an auction set price it's almost certain that price is inefficiently set. And you're arguing that it was efficiently set when we have tens of billions of proof it wasn't efficiently set via yesterday's stock move.
> Of course it's partisan. Had Trump won, and Biden voters were publishing content like this with the same lack of evidence, do you believe that Democratic senators would still be urging YouTube to take it down in the interest of fairness to Trump? I think you know the answer to that.

The answer that it feels like I would have is, "No"; but it only feels that way because I can't even imagine them doing that in the first place. In order to even enter your thought experiment, I must put Biden and the Democrats in the shoes of Trump and the Republicans, and imagine that they have done something I don't believe they would do; and that is where the entire thing falls apart.

> The simple fact of the matter is that people are entitled to their opinions, and in the United States, they have a constitutional right to express those opinions in the same way and on the same platforms as those that disagree with them.

False. Everyone has the right to express whatever they want, but they don't have the right to do so using someone else's platform. For example, I have the right to express my criticisms of The Bible, but I don't have the right to walk into a church, walk up to the pulpit, and start a TED talk about the lack of evidence for Noah and the great flood, Moses and Hebrew slaves in Egypt, New Testament authorship, etc.

What keeps getting called "censorship" here is really "moderation". The reason it's such a big deal is that YouTube is a huge monolithic platform, so moderation on that platform is inherently a big deal.

If we want to remove the power YouTube has over public discourse, we need to create real competitors. The same goes for Facebook, Twitter, et al.
There's actually a lot stopping it. First and foremost, reams of zoning and other regulations that are not easy to repeal. Second, the entire physical environment poured in concrete which is expensive and difficult to retrofit well. The street patterns of suburbia are hostile to walkability because they intentionally increase the distance between points with poor connectivity and dendritic routing. This is why the majority of suburban areas decline after the first generation of development and never revitalize.
25 million people participated in the BLM protests this summer... This paper then goes and picks on Trump supporters.
Study finds Boston conference led to 300K global cases
There's a lot of ignorance about drugs among the general public, and they tended to buy in to the anti-drug propaganda coming at them from all sides -- from the media, from anti-drug scientists, from the DEA and various anti-drug organizations, and from society at large.

It's hard to blame them, when they're surrounded by such propaganda, and (as usual) very few people were independent enough to actually dig deep in to this themselves and find out what was really going on in respect to drug safety, benefits, and policy.

Most just swallowed the official line.
There's always one in the crowd who can't resist bringing up MIDI. It's as if that's all the Atari ST achieved.
However, we have not been hunter gatherers for thousands of years. And we also live healthier and longer lives then they did.
In the US - which tends to be the main country articles like this on efocus on - it is almost impossible for public figures such as politicians to sue newspapers for libel, and any suggestion of changing this is immediately met with sinilarly outraged articles about it being a danger to democracy. Also, the editorial boards are just as keen on pushing their preferred narratives regardless of the facts as the papers themselves.
Brexit: What is the EU doing to prepare for no deal?
cool site. I wish it had better scroll restoration:

I scroll down a bunch, new results are loaded.
I click into a job posting and click back, now I need to scroll down a bunch again to go back to where I was.

You can open postings in a new window or you can clientside cache the responses
What a bizarre set of beliefs and claims.

1. That Facebook is maliciously and mostly singlehandedly responsible for the death of the newspaper and journalism.

Except newspaper readership has been on the decline since the 90's. https://www.pewresearch.org/fact-tank/2017/06/01/circulation... - the article frames Facebook's grand plan as taking money from newspapers, but Facebook's revenues in 2019 were nearly twice what the whole newspaper industry had as revenue in 2008. In that same window of time the ad industry grew 50%. Facebook makes money by making products that engage people and then presenting them with ads that are of interest to the individual in question. That makes them in the broader attention market but the framing of "Facebook versus newspapers" seems peculiar here.

2. That "monopolism" is rampant and anti-democratic.

Besides the fact that this is poorly defined in the article (perhaps as incentive to purchase his book?), it sure is an curious turn of phrase that there are "endless numbers of monopolists" in healthcare. Perhaps one could say there are millions of monopolists in music because each work is copyright? Over what does the author claim Facebook have true monopoly? On attention? On information dissemination?

3. The thread of conversation implies that breaking up Facebook will somehow help, for example, the decline of the newspaper industry. It's not clear how any of the author's goals will be accomplished by this and the OP alludes to this in "there's a lot more you need to do than just break them up". But what?

If the point of the article is to claim Facebook's present mode is a threat to democracy (claimed in title) they A: need to actually articulate this case and B: ought make an argument for how they'd propose to remedy the situation. Instead the former was done barely at all and the latter was omitted.
>> But we also live in a world that is more educated than ever, and a lot of those people who went to school can't figure out why they should believe in the moon landings, or dinosaurs. How often you do come across a posting from a friend who thinks the virus isn't real? You sat in a room with people like this for over 10 years. Did you think they would someday be able to think for themselves? I had hoped for that.

>> I'm starting to think that education as the answer might just be a naive point of view, but I'm also not desirous of a world where we tell adults what they're supposed to think.

> You think the problem is a lack of education or understanding? I don't think so, it's something else - being left behind, feeling unheard of, destitute, incapable of changing the situation no matter how you vote. Then people start breaking away from the official story and invent their own explanations, and why would they have solidarity with the mainstream society when it betrayed them? Better to vote in an antagonistic way and muddle the waters because this system is corrupt in their eyes.

I don't think the GP thinks the problem is a lack of "education and understanding," but rather the inadequacy of it.

You both are also right. There's also a problem of people "being left behind, feeling unheard of, destitute.... [and] breaking away from the official story and invent their own explanations," but a good chunk of them have, in their discontent, allied with some of the very same people who caused them to be left behind in the first place. And they've been cemented to that mainstream faction with a slop of lies, delusional conspiracy theories, and other disinformation.

If you were both wrong, I think the discontents would have allied into something like a new Nonpartisan League [1] to work as factions in both parties to change the polices to help the common man.

[1] https://en.wikipedia.org/wiki/Nonpartisan_League
Heh, same. All I have to do is wait 30 years and everyone will stop bothering me!
Herbert Dow and Predatory Pricing
That kinda depends, as a Dane I honestly only ever need to think in EUR when I shop online from Germany. I do however need to convert from DKK to USD and back much more frequently when reading news online.

Technically most of Europe don't need convert to EUR, they already use Euros so they're also more likely to need to convert to USD.
shorting a stock in this market is a fool’s errand.
My read with these is that their real purpose is to serve as a compact spatial-audio surround-sound studio monitor setup — i.e. something you buy to use at a DAW, instead of having to outfit an editing booth with a real 7.1 setup.

Making headphones out of metal with magnetically-adhered foam ear-cups makes a lot more sense when several people are going to be sharing them — i.e. a rotation of producers working in the same editing booth, where the headphones belong to the booth, not to the user. Metal is a lot easier to disinfect than plastic, and each user could have their own personal set of earcups, swapped often, without that wearing down any latching hardware. And the weight isn’t a problem if you’re just using them at a desk. High-impedance studio monitors are always heavy!

No current Mac can actually work with these headphones, but I don’t think the idea is that everyone is supposed to DAW on their iPads; rather, I presume that these headphones are meant to presage that the next Apple Silicon pro-level Macs will have the right features to support working in regular desktop DAW software with these headphones. (It's curious, though, that they released them well ahead of announcing those new Macs. They could have just put the announcements together.)
The UK position on this is very odd: we've been quite effective, but nobody wants to take credit for it in public.
https://science.sciencemag.org/content/early/2020/12/09/scie...
The Universe of Minds (2014) [pdf]
Bone conductive headphones are great if you want awareness. They don’t go in your ears, so no ear canal irritation either. Conversely, they are horrible at filtering out surrounding noises.
I keep seeing comments like this pop up, and I don't get it. Of course if you run the game on some other computer and only stream the video output to the client you can play any game on nearly any device. That's not what anyone's talking about when they say you probably can't run Cyberpunk 2077 on an M1 Mac.
Covers as in the album cover, or the music contained therein? Because if the latter, it's probably pretty much every music out there.
Limit Orders for Uniswap DEX
The wealthy Nigerians buying citizenship overseas
This is a good point. Facebook has a lot of value in community groups where you can find all sorts of friendly people in your area with common interests in hobbies, sports, or what have you.

Twitter has none of this. Twitter rewards abrasive clapbacks, angry arguments, and rage tweeting.
Build a 2d game in one day using the C# MonoGame framework
We've been using Cypress at work and we (well, at least I) have a love-hate relationship with it.

Coming from Capybara in Rails, it is a very noticeable improvement.

Unlike others here, we never really had issues with the chaining. We don't mess too much with custom commands. We just have a library of about 30-40 small helper functions, mostly to do simple steps to test UI elements from Material UI, React Select, etc.

So, for example, if we need to select something with React Select, it can get tricky. It is a multi-step process with Cypress to ensure the thing is actually rendered. But after we do that once, it is only a matter of making a `selectDropdownOption(tag: string, option: string)` helper function. We have dozens of tests that are just 3 or 4 lines of those helper functions.

One of the major drawbacks we have with Cypress, though, is about the data. Since Cypress just uses your `localhost`, it uses whatever DB you are connected. I really miss the Capybara/Rails integration of just spinning up a proper test DB, seeding it and then destroying it after the tests were done.

I bet there are ways to do this with Cypress, but it is just not as straightforward as it was in Rails.
I've heard it's the computer science equivalent of a plumber or janitor. The job doesn't sound particularly fun, but because of this it's high demand and great pay. It's a good job if you accept that work isn't fun, and you don't care about climbing the ladder, you're just looking for a decent, reliable income.
Project seems kinda dead? No press releases since 2017.
Those who fail and get poor reproduce faster than the riches and within a few generations you put salt on your fields... Your comment reminded me of the movie Idiocracy
As someone whose main exposure to stocks is investing via retirement accounts, can someone explain if they're really leaving $4 billion on the table? Can't they just issue/sell more stock to drive down the price to their originally targeted price? Or is that some kind of breach of fiduciary duty (or something else)?
Based on Airbnb's other product of "experiences", I could see them growing into the broader vacation industry.

I remember a talk by Brian Chesky where he lamented the (pre-COVID) style of travel where tourists just herd into queues at mainstream tourist attractions. Airbnb experiences are supposed to subvert this and create an industry of tourism that is more serendipitous and less standardized.
The friction of those media prevents people from criticizing blatantly false scientific studies which have made their way to television and into laws. For example the layman has been told women are paid 73 cents for a dollar for the same work, and people constantly vote to raise women’s salaries based on the assumption it is true, because TV said so. Yet programmers who use spaces instead of tabs are paid 20% more, showing that even the slimmest external variable can double one’s salary, not even talking about internal variables.

Having entire sewers of points of views pouring in Facebook is a then great scientific education that there is no one truth, which _some_ people believe a bit too much. And sewers are immensely better than downright falsehoods taught on TV at wide scale with a confident voice and a suit.

What’s next, do people believe Biden is president?
Using Cypress in NX Angular CLI after having used Protractor previously. In comparison to Protractor it's an absolute god send and so much easier. The documentation for Cypress is pretty good IMO. I love that when you use should('be.visible') etc it'll continuously retry until the timeout as it makes your tests so much less flakey.

There's a couple of annoyances still:
- I hate that some things are wrapped in JQueryLike and then other times they're not.
- I still hate that there's async/await magic and wish we could stop it for e2e testing and just be explicit so I know what is or isn't going to be magic.
Rayo's function can describe the idea of "f(n)=n (n Knuth up arrows) n" with relatively few symbols - just like your post did using relatively few characters
I think at this point, you can say he is not conservative by the typical meaning. What happened? By mid-2017 every American should have loved Trump. (understandable to have doubt before then) Was your dad just following the anti-Trump news sources like Fox, Drudge Report, and Facebook? (nothing like Breitbart, OANN, RSBN, or thedonald.win) Did he have a personal conflict of interest, such as a job outsourcing American jobs?
My suggestion is to determine how your brain works, whether it is visual in nature, auditory or other.

The mind is the last frontier of health and medical professionals frequently mis-diagnose. Don't accept your "bipolar" label until you understand yourself how your mind works.

See https://www.newscientist.com/article/2083706-my-minds-eye-is....
This is another odd product from Apple.

The verbiage makes it sound high end, but they're decidedly not talking to people who already spend a lot of money on headphones. There are some audiophiles using wireless these days, but always lossless. Apple has, to that market's dismay, been using lossy bluetooth. The silence here suggests they still are.

It's too expensive for the 'anything that works' crowd but is definitely not an audiophile product. Noise cancellation? Crowded market. Not sure where else this could fit in.

It's similar to the Apple watch. On the low end it really doesn't have any competition. Other smart watches look awful in comparison and you get a lot for $400 or whatever they cost.

But the high end of their range? I know zero watch people who have swapped their mechanical watch for a high end Apple watch. They might wear a low end one occasionally, but an expensive watch that has to be plugged in daily -- well, that's electronic at all -- is the antithesis of high end watches.

More succinctly: An audiophile AirPods is like an Hermes Apple Watch. Cringey, expensive, but will probably find an audience somewhere in the gap between low income and high taste.
Rehabilitation for Vice Bloggers
Do not conflate schooling with education
> - getting a sitting space in a crowded bus, even if there are old people around

This is fine, honestly. I see people trying to be... tough? I don't know what they are doing, but they are blocking the lane when they refuse to sit down because they perceive it as rude.

We are all in this together, just take a seat and get out of the way!!

That being said I will give up my seat for someone with a kid in tow.
Hi bitadder, please lets connect!. Grupa.io is onboarding tech teams to work with startups on their gigs. my email is samuel@grupa.io
I don't think it's explicit in the article, but that's a comic (XKCD). Relevant discussion [1] suggests that there's not a specific project referenced by the comic.

When I first read this comic, ntpd [2] [3] came to mind.

[1] https://www.explainxkcd.com/wiki/index.php/2347:_Dependency#...

[2] https://lwn.net/Articles/701222/

[3] https://lwn.net/Articles/713901/
When they issued shares in the IPO, that diluted existing shareholders. The only way to un-dilute them would be to buy back those shares (at current inflated prices). They could sell more shares, which would mean further dilution.
Good points, I shall look into this!
May also go with the good old pagination with numbers.

Can be good learning experience with client-side caching :)
Correct!

I remember some of the talk at the time speculated that our elevation was particularly impactful. Also, all the radios that went bad were either live or outside. Ones in shelters were not affected.
Alpine Linux already does it, musl + busybox. Not BSD though. Nowadays I use "GNU/Linux" vs "Linux" to distinguish between an ordinary Linux distro (which comes with gcc, glibcs, coreutils, and all the other tools you expect) vs a minimum or embedded distro or system (OpenWrt, Android, Alpine, etc).