skysight-inc/HackerNews huggingface dataset:
It actually makes a bit of sense if you think of Bool as a class instead of a primitive type, and True and False as subclasses of Bool. So a function can either declare its return type as "bool", or as the more specific "false". True is simply not implemented.

PHP isn't exacly an "everything is an object" language, but it's been slowly moving in that direction for years, replacing most callables, resources, etc. with corresponding objects. I wouldn't be surprised if the designers are approaching this issue with an object-oriented mindset, though it still feels wrong to make an exception for only one half of a boolean pair.
There are so many comments I may have missed the right thread but I hope Twitter doesn’t kill all automated and/or anonymous accounts.

I run one (@bostontimelaps1) and it has been such a fun project for the last year with nothing other than positive interactions with my niche group of followers - even a bunch that are obviously on the opposite side of the political spectrum from me.

Not to mention it has been a great learning experience building the automation and the content itself brings me joy to see tweeted automatically.

Had heard about maybe verifying this type of account. I’d be willing to pay to keep it going but I definitely don’t want it overly easy to tie it to my name for all kinds of dumb reasons.
I’m not understanding your comment. You got banned for saying “learn to code” to “a journalist”? Surely there must be some missing context here.
> 30 years ago

No need to go that far back. [0]

[0] https://en.wikipedia.org/wiki/Jeff_Bezos#The_Washington_Post
The article is referring to the Private Relay connection itself (the "VPN" connection. In quotes because it's not a real VPN) bypassing the firewall, which is not typical. Apple took some heat for doing this to their other apps when Big Sur was first released [1].

Mullvad is installing a rule to essentially disallow any non-VPN'd traffic to prevent leaks. But iCloud Private Relay is not being stopped by that rule.

[1] https://arstechnica.com/gadgets/2020/11/apple-lets-some-big-...
I know with absolute certainty that others don't see colors the way I do. The reason is my left and right eyes see color slightly but observably differently. If my two eyes don't even agree with each other, they can't possibly agree with the eyes of others.
Why don't you have a recruiter paring down the number of resumes dramatically so that you can actually give each one that passes that review adequate reading?
Keep a copy on your local computer, either with cloud or local backup.
Put another copy in a private github repo.
Maybe email another copy to yourself, just in case.
You should be fine.
I don't agree that real names matter. You would think people would be ashamed of their views, of their trolling and cruelty, but they aren't. Just the opposite. The only solution is a more comprehensive sentiment analysis and binning procedure that gives users a way to filter out undesirable speech which isn't based on content. see https://news.ycombinator.com/item?id=31155516
> Number of interactions scales with the factorial of users.

That is just not true. That's a count of possible relationships. There is a limit to how many interactions a human will perform in a day, and it's not related to how many other users there are on the platform.
No he won't. Make it so easy that his PR could manage his own server instance. That is what originally use to happen when actors still had their own websites and forums.
The Spotify FOSS Fund: 100K EUR for 2022
It's a good offer and the share holders seem to lean towards agreeing with that statement now.
Of course the question is whether Elon Musk can turn this company around. He seems to feel that that is something that needs to happen. I tend to agree with on that. If nothing happens, Twitter will continue to slowly and steadily decline; like Facebook has experienced with their social network in recent years as well.

But share holders appear to be happy to take the cash and make that Elon Musk's problem. That tells you all about the level of confidence they have in the current leadership.
The most obvious solution is remote work. The main economic reason people even live in large cities is jobs. If the jobs can be done anywhere, that would certainly revitalize a lot of the US to points we haven't seen in decades. I'd much rather live in a quiet rural area than in a city with high traffic, high crime and high costs.

Remote work would also have a cascading effect. Say 20 people move to a rural area, well they need food, and their vehicles fixed, and their house maintained, etc. They need to fund their hobbies and generally would bring more money to those areas. Big cities with a lot of power don't want that to happen because they will lose their tax base. I suspect some city governments are incentivizing businesses to bring employees back to the office because of this.
I see worse things on fb with real names than on anonymouse reddit,hn,discord.

Real names is not good solution
Genuine curiosity, what would someone have a bot post for them that they wouldn't post for themselves? I can think of edge cases, and genuinely good use cases, but what is the general purpose use you're thinking of that would see everyone use one?
I wonder what his real motives are, and if they are his motives alone.
That's not the case. Literally everyone who's dealt in inflammatory content (talking about a violent event, say, the recent Ukraine war has been filled with this) has had run-ins with the moderation process at twitter. They issue suspensions for false positives all the time, and everyone thinks it's targetted censorship. It's not.

Where it starts to look biased is that they've drawn two lines in the sand in recent years: 1. No disinformation about a global pandemic, and 2. No using lies about an election to justify violence against the government. And they banned a bunch of people that did that. And yes: it was one side that made those issues "partisan".

I really don't know what you want Twitter to do here. In any other society, those would seem like reasonable rules.
That may be a cultural/experiential difference. You may not be familiar with CVs as opposed to resumes.
Our laws for copyright and trademarks are pretty broken and inhibit innovation more than they protect it. It is still the law, but not a good measure.

Conspiracies are entertaining and there are consequences for libel and fraud. So what is the problem again?

There are social norms? General norms for the whole planet you mean? I have yet to hear a good case for more content control on the internet. The EU just voted for a law against illegal content? Makes no sense at all. But it is also against hate and for propaganda. Some say it is historic. Doesn't make a good case for history then.

I don't think your quote adequately confirms the incentive of big tech companies deleting user content. Yes, the anonymous blob of internet users has arbitrary und unlimited powers. Should I really believe that?
GM boss confirms hybrid Corvette due in 2023
Yes, that's what it means... but I have on very rare occasion seen people with (money and) industry experience work in a an academic lab with other post docs bringing in the same meager stipend. It's doubtful that they are working towards a professorship, although a PhD isn't actually needed for that either. I've seen a few with only BS or MS degrees working as teaching professors.
Not until ml has some ability to identify and even handle edge cases. If you talk about animal testing for things like cosmetics, we’re probably ok if nothing new gets introduced for a while. If, however, you’re looking at drug matter there’s a high risk without pre-human testing. Especially with a new target or mode of action.

Possible that such edge cases could then be treated with more elaborate models, but edge cases still present a problem. There were antibody examples where primates had no problem while humans damn near died. Pharmaceutical advancement will be much slower and lawyers’ purses much heavier.
I use Sqlite for all my projects, but most of my projects are Windows applications. At prior employers I did work on web applications that used traditional server-based databases.

In my opinion the biggest thing separating Sqlite from a "full blown" database is actually Sqlite's lack of stored procedures. At all of the places where I worked with traditional databases, we used stored procedures to create an ersatz data access abstraction so that the database design could vary independently of the API presented to the application. With Sqlite I find myself (ab)using views as a poor man's stored procedure, but of course that only covers the read-only or "functional" (in the functional programming sense) portion of stored procedure code.

Everything other commenters have said about data size or centralization also applies, but for me (again, just personal opinion) I'd actually draw the line at the point where you can or cannot get by without stored procedures. From an operational standpoint that would be: at what point is it imperative to be able to vary the details of the database design while maintaining an abstraction layer (stored procedures) that allows application code to be blissfully unaware anything changed underneath it?

Examples of when that would be needed would be if new users + applications start having competing needs, or if you need to revamp your table structure to improve performance or get around a limitation. If you're in a startup or small company, it would be the point at when you find yourselves hiring a real Database Administrator (DBA) rather than giving DBA duties to developers. Prior to that organizational scale you may be better off with the simplicity of Sqlite; after reaching that level of organizational complexity you might need a "real" (server-based) database.
Hey! I built the SSH app using charm tech:

- https://github.com/charmbracelet/wish

- https://github.com/charmbracelet/lipgloss
Yes, but did it feature the toothbrush fence?
I used it for a Magic: the Gathering Commander tool I made recently[0]. It was pretty useful, since the point of the tool was on-device card searching and deck organization. I was even able to sync the data between multiple computers just by putting it in a NextCloud folder.

Aside from some surprises regarding packaging it together with the rust crate and inability to rename columns, I'm really happy with it. Easier than deploying postgresql, more useful than documents.

[0] https://github.com/Endominus/Lieutenant
I mentioned this in another reply but maybe taking Twitter private enables Musk to make changes to the timeline that hurt profit (ad sales) but produce a better community or "public square". If you don't have to answer to a stock price then options open up.
I'm not really convinced that this is true. I think you're brushing up against Rice's theorem, which is that proving arbitrary properties about arbitrary programs is equivalent to the halting problem. That's why we constrain languages with type systems, which limits any typed language from expressing arbitrary turing complete programs.

Proof assistance is sort of irrelevant. Types and proofs are related, as denoted by the curry howard correspondance.

The real issue with "throwawaymaths"' point is that they're saying "use proof assistants" to people who are using proof assistants. SEL4 is a terrible example of a success story, as it took ages to complete, and then there was immediately a bug found in a class they weren't looking for - because rice's theorem.

They're clearly advocating for the use of specific and explicit proof assistants, which is fine and a totally reasonable thing to advocate for, but in no way is related to rust or the discussion, which is why I chose not to engage.
This is more related to how you deploy PHP or Python to the languages themselves...
Do you have a link to that thread? I’ve never quite understood the value of GC over RC save for vague claims of developer efficiency.
There is nothing in this blog post nor in the PHP 8.2 release that suggests that PHP 9.0 will be different language and not compatible with previous versions.
The motivations are different, but I think wikipeida is an interesting example where editing / moderation does (mostly) work. Again, I can't see how that could ever work on twitter, but wikipedia is the only large-user-base example of "social media" that isn't horrible.
> he wants the limits Twitter currently has on speech to be removed

Sounds amazing. Maybe then we'll finally have a truly neutral platform with no censorship of any kind.
yeah it is , but given this a lot of people are going to leave and some others will become very rabid. Smells like trump again . And perhaps it's for the best - this kind of service should be served by some decentralized protocol so that the chaos is warranted
But that's the reason that Twitter is Twitter - the algorithm optimizes for engagement, and as it turns out, the most engaging thing is conflict.

Twitter is so fantastically successful because they've created a platform that both feeds their users a constant stream of enraging content, and more importantly, incentivizes the creation of content that's enraging to someone else. In the process they've managed to mold almost the entirety of mainstream public discourse into an endless supply of hot takes, sick burns, and us-vs-them polarization that results in Twitter being an essential tool for anyone who wants to participate.

If they get rid of the rage bait and toxicity, then people won't need Twitter anymore and will move on to whatever new platform provides it for them.
Are crawler access patterns really that non-uniform across pages and large enough to make this a problem? And for crawlers that are not immediately indentifiable from the user agent? Are you sure you are not just counting users without JS / a blocker that interferes with your tracking / intermittent connections as bots?

If you really care what users like on your site why not ask them?
Sure, but that is why you aren't supposed to use a username tied to your real world identity.

In that case, why would you care about the threats exactly?

The threats caused by people like Trump, Joe Rogan, Musk, Russian bot farms, Farage, Le Pen etc... and their toxic ignorant views on Vaccines, climate change are far far worse to society than some vague inactionable death threats.
Or it throttles down because you unplug your laptop from the wall.
> Honest question, why can Elon, and only Elon solve the bot problem?

I don't think _only_ Elon can solve this problem, but one way of looking at the problem is that Twitter appears to be hesitant to 'solve' the bot problem because their most important metric that drives stock price is the number of engaged users, which includes bots. Taking twitter private (is this actually what Elon is doing? I haven't been following very closely) potentially removes the need to focus on this metric, freeing them to 'solve' the bot problem and not worry about the effect on the stock price when the # of engaged users drops by 40%.
He might have negative views on trans people.

But the whole blow up was because he did not think the Canadian government should force people to use the correct pronouns. He said he would use them voluntarily if someone asked him, but it was wrong to use force to require others to do so.

Therefore he is a trans hater and an evil person.
You are 100% welcome. Free speech means I'm entitled to my opinion, just as you are to yours. I stand by my statement, that most people can't use free speech responsibly.
You can get an associative array with one more parameter, so that's what I do. Array access is nicer than object access to me, but maybe that's just me.
If I buy a private jet and use it to fly around the world, people would have access to the same information as they do on Elon Musk. He wants the convenience of having his own jet, that comes with a cost.
Major backward-incompatibility is a huge mistake. Python made it and had 10+ years of a mess with incompatible v2 and v3 code bases confusing and infuriating people.
If Border Force intercepts a boat, they bring them ashore and hold the arrivals in short-term detentions centres. The vast majority of these people then apply for asylum, and the majority of claims are accepted. If they do not claim asylum or are refused, they face prosecution or removal.

The proportion of crossings by boat has increased relative to other means (air/lorries) because the technology for detecting undocumented entries via those other means has improved.

All this is easily looked up. The argument that "some people have done this therefore it is uncontrolled" is absurd.
You wrote: <<There's some value in having a real person to talk to, but it really depends on the person.>>

I agree 100%. I think it is a good idea to pay for at least one hour of financial advice per year. Do not buy any products recommended if they receive a direct or indirect commission. An outsider who studies the financial situation of others for a living will usually have helpful advice, even if limited to: "This is good." or "Have you considered...?"
> I still hold that our ability to create far outranks anything in the observable universe

Does that include the creation of stars, galaxies, and planets? Literally everything we observe has been “created” in some way.
I don’t think we can just disregard the fact that he constantly shitposts like a 12 year old.

I don’t think people really appreciate how messed up that is, for someone who should be insanely busy with multiple wildly successful corporations.

I’m confident a logical case can be made. But… seriously?
> What is the point of using SQLite under a web service? … people complained how MySQL sucks and PostgreSQL rocks for being right and SQLite was nowhere near being right or performant.

My understanding is that for read performance SQLite is pretty damn good, outperforming MySQL and Postgres in both single and concurrent tests. The key performance issue is the single global write lock. If your data access pattern is massively read biased then SQLite is a good choice performance wise, if you see a lot of write activity then it really isn't.

With regard to being correct*, it offers proper ACID transactions and so on. Typing is a big issue for some but far from all. It is significantly more correct than mysql used to be back before InnoDB became the default table type in ~2010, at least as correct as it now (aside from the data types matter depending on which side of that you sit on).
I work contract so I’m not hiding it from anyone. I juggle two clients simultaneously by design (it buffers me in case a contract ends). I’ve currently got four active clients and a compelling side-project (I also have 3 colleagues helping with those things). Keeping it all straight is a challenge. I lean heavily on my calendar and I take extensive notes. I have low patience for things taking longer than they should. And I’m having moments where I know I should remember a detail but it is just gone. I thought for a while that my memory was deteriorating, but I suspect I just have a lot going on and am reaching my natural limit of long term attention.
I’m not sure I recommend it.
Cyphraium, an effort of overengineering that came true
Isn't that what the block, mute, and muted wordlist options are for? If these were not available options I could see the argument, but they are, so why isn't this sufficient for users to moderate their own content?
He's flat out rejecting people for corporate experience. You don't know the reasons people take jobs or why they're looking for a change.
I'm interested in the answers here. I'm considering doing this given that my current role is pretty laid back.
People that are offended at tweets are looking for offense. It is an error in the dopamine addiction that compels them towards the quest of real justice.
https://en.m.wikipedia.org/wiki/Bohemia
This is why apple tells you how to block private relay.

https://developer.apple.com/support/prepare-your-network-for...

mask.icloud.com
mask-h2.icloud.com
>there was huge uproar and discontent due to the corporate VC money being accepted and immediate changes in policy thereafter.

I remember that, and just like most other times there is a mass protest on a social media site about social media itself, the uproar and discontent was largely weak, reactionary, and disturbingly out-of-touch with the business realities of the company. There's a very good reason the complainers didn't get what they wanted.
> By handing out checkmarks to anybody willing to pay them for it (and by extension tying their legal identity to their twitter one) then it neutralizes the political aspect of verified accounts while improving a revenue stream.

I don't think that extends in the fashion you believe it does. It's like the HashCash solution for email. It was never employed because it probably didn't work, it just made spamming more expensive but didn't eliminate spam. The current walled-garden state of email has also made spam very expensive, but email spam persists to this day.

Ability to pay for something online also does not indicate actual identity. It's trivial to get an anonymous Visa number, and so on.
We’re replying to an article where the author also claimed that but then encountered a bug only in their generic version.
I'm not really sure I understand your point. Isn't this true of all statistical findings? Sure for some things you can repeat a similar action, but you can never go back and change that you took a specific action. Besides health research is done on a population level. The goal is improvement of healthcare as a whole. It sucks that some people end up on the wrong end of the stick, but that's just a fact of healthcare and life.
Maybe they could make the future slightly less worse, though.

(Just turning the thing off would do that)
Yeah I don't buy the baseline comparison of the "expert designed controller" that cannot stay within bounds.

We can control systems that have not only fluid-mechanical, but also heat transfer and chemical reactions, all happening at the same time with huge bars of uncertainty.

Next.
You're describing an old version of Twitter that did not bring in over 5 billion dollars.
Rust has lots of template libraries. HTML templating is a solved problem that PHP doesn't uniquely do well anymore.
I would imagine they're civil to other Nazis but probably not so much to anyone else.
A possibility doesn't mean it's going to happen - and baseless fear mongering at this point. And I don't have the feeling he'd do such a thing - he's very empathetic and would understand the harm/violence that would allow.

Likewise what's to say China doesn't already have agents at Twitter and access to that data? It's far easier, and better, to do that in an incognito way - no?

Another example is Reddit's last round had Tencent contributing 50% of the round or $150 million; how much influence or access do they have because of that?
The 43B goes to Twitter's shareholders in exchange for their shares (and financiers who arrange the deal), not Twitter itself.
Sure and that is understandable, but it doesn't really do much. My personal phone is not on my employeers wifi but is still right next to me. There is nothing technical that they can do, short of a faraday cage for the building, to prevent me from going where ever I want on it.

I feel like rules such as yours are a pre smartphone era thing, when I had to use the company laptop to get online away from home.
I understand that it doesn't bother a lot of people at all. But to me -- and many many others -- masks feel suffocating. That makes me angry and disgruntled and not a very nice person to be around. That is regardless of politics or media or even the valid reasons for wearing the mask. When I can't breath well I am not a very empathic, reasonable person.
OK, how are the children he had with Grimes related?
Mark Shuttleworth: Expect Canonical to Go Public in 2023