skysight-inc/HackerNews huggingface dataset:
Yes, you are mixing up two different ideas.

Free speech is a very well defined concept, as done by literally hundreds of political science scholars. The fact that the US Constitution applies it only to the Government does not mean it cannot be discussed in a different context. For instance I would like new regulations to extend free speech outside the scope of the First Amendment. This is an extremely well defined politica stance.

You seem to agree that Twitter is NOT a common carrier, and then it must be treated as an editor. This would imply that they are responsible for the tweet they decide to publish.

These are exactly the far-reaching legal ramifications of free speech (outside Government) that I was mentioning.
Ask HN: Taking Time Off?
Hi all, i wanted to ask the hive mind about subject of taking some extended time off.

I’m relatively early in my career, but have been fortunate financially since i started. I have the ability to pay expenses for a year, or longer.

My question is essentially: is it career suicide to take 3-6 months or more off of “official” work?

With the covid pandemic the past two years, and with work on top I’m feeling the burn-out. I think it would be better for me, and better for my work, if i took some time off.

This would probably involve separating with my current employer, and finding a new position at the end of the sabbatical. I would also keep my skills sharp, programming & collaborating with friends.
> I don't buy the "all Ukrainians worship Bandera THEREFORE they're all Nazis" argument. It's lazy, frankly.

What you are doing here is called "ignoratio elenchi" or "a strawman argument", and it is truly lazy. No one has ever made an argument that "all Ukrainians are Nazis".

On the other hand, a huge portion of evidence used as a base to claim that current post-coup Ukrainian government is in bed with neo-Nazis, is confirmed and acknowledged by institutions all over the globe and all around the sides of this particular conflict.

Including the United States and Western media, for whom acknowledging support for neo-Nazis wouldn't be politically favorable.

Ottawa Citizen - Canadian Troops training Nazis and War Criminals
https://ottawacitizen.com/news/national/defence-watch/allega...

Newsweek - Ukrainian Nationalist Volunteers Committing 'ISIS-Style' War Crimes
https://www.newsweek.com/evidence-war-crimes-committed-ukrai...

Reuters - Commentary: Ukraine’s neo-Nazi problem
https://www.reuters.com/article/us-cohen-ukraine-commentary/...

The Nation - Neo-Nazis and the Far Right Are On the March in Ukraine
https://www.thenation.com/article/archive/neo-nazis-far-righ...

Foreign Policy - The Historian Whitewashing Ukraine’s Past
https://foreignpolicy.com/2016/05/02/the-historian-whitewash...

The Times of Israel - Netanyahu meets with head of Ukrainian party that includes neo-Nazis
https://www.timesofisrael.com/netanyahu-meets-with-head-of-u...

The Times of Israel - Call for Ukrainian priests to stop glorifying Nazis
https://www.timesofisrael.com/call-for-ukrainian-priests-to-...

Al Jazeera - Attacked and abandoned: Ukraine’s forgotten Roma
https://www.aljazeera.com/features/2018/11/23/attacked-and-a...

Haaretz - The Upcoming neo-Nazi Concert in Ukraine That No One Is Talking About
https://www.haaretz.com/world-news/europe/.premium-the-upcom...

The Hill - The reality of neo-Nazis in Ukraine is far from Kremlin propaganda
https://thehill.com/opinion/international/359609-the-reality...
The issue is that that Twitter engagement model doesn't scale, and they can't really move away from it.
> This type of security theater can be easily bypassed by any determined attacker and thus only serves to deter honest users.

To play devil's advocate, the large amount of attackers aren't really determined. They're just fishing for easy targets. If you check the logs on a VPS you'll see an endless stream of people trying to exploit things like Wordpress 24/7 on your brand new VPS that has nothing but a html landing page.

With banks, I imagine they have a compliance check list they have to tick off to make sure that -- if and when a successful attack happens -- their insurance would pay out. If they haven't taken simple steps like blocking VPNs it could lead to the insurance company claiming negligence.
> I guess he like's his big time Major pay

I doubt pay is a factor for the author at all. A quick look (https://apply.army.mod.uk/what-we-offer/army-reserve/army-re...) reveals Majors in the reserves make £135/day, which is frankly nothing compared to what the author would earn in his job at Shopify.
I wish I could do this but I build mobile apps in addition to any backend stuff. Kinda need to be on an apple for making iOS apps.
In theory you dont have to confiscate wealth or assets for this idea, you could just prevent share owners from taking out and spending more than X per year. And/or have high income tax at the top end of the scale without expropriation of assets.
There is a precedent for the viability of this, most billionaire company owners don't take out all their stock and attempt to spend it in their lifetime.
People who build up huge enterprises seem happy that others and future generations benefit. Some try to spend it on good causes before they die.
An unspendably large pay check or comparatively small pay check compared to company growth does not seem to stop people from trying to build up the business to the day they die.
It seems it's power/success rather than cash that is the driver.
Many people are happy to have the company own the yacht they are swanning around on.
Another very common case in TypeScript (and other languages) is union types. Other languages have constructs for checking the underlying type of a union type directly, but typescript is smart enough to figure it out based off of the properties of the constituent types and what you've checked so far in your code.

e.g.

interface A { type: 'a' }
interface B { type: 'b' }
type C = A | B;

const c: C = ...;
if (c.type === 'a') { /* c is of type A here */ }
The saddest thing is the #1 reason why people join the military in the US is financial or college assistance.

Shows why the US is so hesitant to provide UBI or Free college. We'd lose one of our biggest recruiting tools.

If the US Military can appropriately show why people should be enthusiastic about joining, I'd be much more positive about it.

Also I have ex-military friends... Getting that college funding isn't easy. The health insurance they provide for you is sub-par (I know a lady who had Indemetriosis, and was completely untreated and in excruciating pain for years because... they just don't understand female anatomy at the VA hospitals apparently)
Pypy is not really practical. It requires you to stop using many features of Python. What Python needs is a fast subset that is supported within the main implementation.
A friend of mine working for a rival neobank was telling me about a tiny piece of the whole thing that used 5 microservices to achieve it. This was a security related piece, and when I pressed him why something as simple as what he was describing needed 5 services, he went somewhat into detail, and it sort of made sense.

I can imagine 2000 microservices being rather low for a bank.
Free speech is a core liberal value. I can't believe how many people are confused about this.

[Free speech and the open town square is how we got away from the atrocities you outline. There is no societal progress without free speech, which twitter is actively clamping down on. It's regressive and taking us back to when dominant ideas couldn't be challenged.]
you're using a very generous definition of the word "worth" here.
Don't ask don't tell was a long time ago. Sir sandwiches are fine.
>getting false positive <snip> delays in resolving them.

There should be a penalty for this. When "innocent" users are denied access to their money, those actions are much more felt by the user than the bank. That user's money is a rounding error to a bank, but to the user it is everything.

An incorrectly frozen account should come with some sort of "oops we're sorry" type of something that a bank can understand: monetary reward for the user.

I would rather criminals get away with a laundering transaction than me not being able to buy/pay for something in my day to day because of some dumbass AI algo.
I’d add a minor item to the list: it is progressively raising garden walls. I do not have a twitter account, I will not give my mobile number to twitter to get one. Right now I can still follow the few accounts I find interesting with nitter and browser favorites. The twitter website itself has become unusable.
When we talk about 'learning mathematics' it's important to recognize a huge difference between learning how to use mathematical discoveries/inventions, and learning how to develop mathematics from scratch, via the whole theorem -> proof -> new theorem route that defines 'pure mathematics'.

Most people are simply not going to get a lot out of learning the latter method and will indeed be turned off by it, much to the disappointment of the professional mathematicians (i.e. most college professors in maths). I'd guess > 95% of people taking higher maths courses are not going to ever develop new proofs - but they will use what they've learned in other areas, such as physics, biostatistics, finance, etc. Essentially we just take it on faith that the mathematicians got their proofs right, and we gratefully use the fruits of their labor. (They're all quite mad, those mathematicians, if you ask me)

Now, when you first learn how to apply maths to things like physical problems, this is where tyhe cartoons, or 'simple approximations neglecting complex factors' becomes really important to learning. You don't want to try to include friction when first examining falling weights and springs and pendulums through a physical viewpoint, for example. Later on, when you get that job with SpaceX, understanding friction in depth will be critically important, but if you don't start with the simple cartoon approximations, it'll be way too much to comprehend.

However, this probably wouldn't work for the real mathematicians. They've got their axioms, then from the axioms they develop proofs, then from those proofs they develop more proofs - there's no approximation or simplification involved in all that, is there?
I don't think that there was ever an intent to hurt anyone's feelings in any of the stories.

But further, do you consider it bad to call someone immature? Is that an intentional inconsistency? Do as I say, not as I do?
I don't know if this was your intention, but your comment comes off as extremely dismissive. If you are joining a fighting force, you absolutely should consider where and how you might be deployed should your unit get mobilized. There is a tremendous difference between doing an active tour of duty in a foreign country and being called up domestically, and it is fine to use your own moral calculus when weighing the two.

In the US, for example, part time opportunities are either in the reserves or the national guard, with the former having a foreign focus and the latter having a domestic focus. Plenty of guardsmen ended up doing tours in Iraq, but more recently, guardsmen helped staff overwhelmed medical facilities during the height of the pandemic.
In a sense federal jobs is socialistic I suppose, which is why you should want limited government.

But you do need a military force in the country, and you should give people benefits for their sacrifice.

It's not genuine to say military service is a welfare program, it's more of a jobs program.
Ukraine war: Fortnite maker Epic Games raises $144m (£110m) to help victims
For people wondering why, it’s because the majority of people consume content and a small minority create content.

A small minority can easily be inundated by another small minority, especially when the barriers are close to 0 (creating a free account).

Anyone who’s ever tried to run a subreddit quickly understands why some level of active moderation is necessary if you care about quality.
I've had to disable all notifications from Google Drive because of this, which only started happening recently.

Whatever Google did to make it easy for random spammers or new/bot accounts to indiscriminately spam unrelated accounts is causing distrust & will end up with lower usage as a result.
If you don't have a Boink-It, that's undeniable proof that you are a baby.
Depends what you are doing with it. In single-threaded tasks, I noticed my M1 Pro can outperform my gaming PC (5950x).
The most bizarre thing in the article for me (as a total layman) is that linked Jackal vehicle[1]... It's an armored vehicle which does not protect the... crew???
Why is it armored at all? Why are they not just using a Toyota Hilux instead of this 7 tonne monster?

[1] https://en.wikipedia.org/wiki/Jackal_(vehicle)
> Might his squadron be called in to quash civil disturbance? Sent to the next Iraq? Is it reserved for defending the UK from invasion?

Yes, yes, and no. His own explanation mentions Peterloo! He joined the full time army during the Iraq war (although doesn't mention being deployed). This is evidently not something he's curious about.

Ukraine has certainly highlighted the need for a defensive force. It's also made the question of whether all the fighting of the past 20 years has made the world safer or more dangerous - you could argue that Iraq re-established the precedent for aggressive war, and the fallout has made most of the muslim world less safe. Including Russia's war in Syria. Which they used as training for invading Ukraine.
We don't bother learning CSS
Twitter doesn't even follow their own rules though. I don't know whether it's purposeful or just that their moderators aren't competent, lacking critical thinking, and lacking oversight; I have seen tweets that were cause of account suspensions that clearly didn't fit under the reason given for the suspension.

If no one in the hierarchy at Twitter cares about integrity of actually even following the rules, or isn't capable of making sure they're applied properly, then there will continue to be problems.
Ron Gilbert is making a new Monkey Island game, and it will be out this year
Except for the lack of decentralization that crypto offers in-practice, not in abstract philosophy?
I spent a decade toiling along in the range of ~$65k to $118k CAD.

The thing that opened my eyes to the fact that 4x and 5x salaries are possible was people posting honest descriptions of their salaries and places like levels.fyi.

I am incredibly thankful for the people who went before me in terms of being open and honest about how much they can make as a software engineer if you just choose the right company.

I don't think "humblebrag" is an appropriate response to this person's message since it might have a chilling effect on their decision to publicly say stuff like this in the future.

... and at least from my perspective people saying this stuff is quite literally life-changing.
Bots and astroturf users.
masto, not masta.
He should fight the Grammar Nazi's: "A Hobby Gotten Out Of Hand"...very American(?), and terribly un-British.
Word. But now I have a negative emotions in that workspace because I don't enjoy my day job :/.
> Why is not wanting to hurt peoples feelings (or being honest about your own) weaselling out

Not wanting to hurt peoples feelings isn't weaseling out. What is weaseling out is assuming what will hurt their feelings, and acting based on that assumption, because you don't want to have a conversation with someone about their feelings.
Show HN: Blocksend – instantly pay out vendors on marketplaces
If your other option is "raw" React, Next.js: You'll do less yak-shaving and have to manage less engineering complexity versus using Next.js and rolling your own db/auth/testing/access control.

If your other option is Blitz: you get a larger core team, GraphQL if you like that, and fancier generators.

If your other option is Django/Rails/etc: it is like Rails, but integrates better with the frontend.
Agreed, but what's actually unbelievable is that people seem to not realize that it goes both ways, and I'm just as free to shame and ridicule someone for their speech as they are to express their shitty little racist ideas.

[No, we got away from the practices I mentioned above through discussion that did not take place in a "public" town square.
Basically anywhere else, but certainly not the "public" town square. One reason, among many, is that a "town square" is not nearly as ubiquitous as you seem to believe, historically. Dominant ideas can easily and are frequently challenged on Twitter and in modern discourse generally, it's just not tolerant of the racist, awful ideas that some might want to discuss.
It's not going to lead to progress to continue to discuss how one race is superior to another, for example, and yet that's all some groups seem to want to talk about.]
I see your point. You dream crushing bastard. :)

For no reason whatsoever here is a link to a guy building a Korean style wooden house by hand without using nails:
https://www.youtube.com/watch?v=hvsvMzgiq6s

What are "real problems" anyway?

Sigh. You're right, I know you're right. Somehow this field is losing appeal over time. I'm going for a walk.
Unless we get sales/revenue/profit data, this is not very serious
>It has been long shown that women desire to raise children more than men.

This is a false, when you actually ask people of their desires rather than repeat sexist tropes more men want children than women. This actually makes sense when you think about it since the expectation is the woman will be doing the majority of the childrearing and they're the ones expected to make sacrifices.

https://www.theglobeandmail.com/opinion/actually-men-have-al...

>The Statistics Canada General Social Survey of the family has been asking Canadian men and women about their fertility intentions for decades with this question, "How many children do you plan to have, including the ones that have already been born or you are expecting at this time?"

>When this question was first asked in 1990, more women than men expressed a disinterest in having children. Among childless men and women between the ages of 15 and 44, 15 per cent of women said they had no desire to have children in the future compared to only 10 per cent of men. Additionally, more men than women expressed a desire to have children in every age group and regardless of whether they were married, single, cohabitating, or divorced.
His fans are the ones who already knew that the decision had long been made.
I'm not refusing to say. I just don't know what agency could do it - they are all captured and run by the elite class already!
RedwoodJS 1.0 and $1M Funding
Yes it does. Was Afghanistan better off before the pull out, or now under the Taliban? Iraq is a mess, sure, but at least nobody is gassing whole cities and we can be immensely proud of the liberation of Kuwait although that was more than 20 years ago. Right now we are providing vital military assistance to Ukraine, and I wish we were doing a lot, lot more.

The failures were political ones. Militarily the army did the job it was given efficiently, ethically and professionally. I'm not saying it's perfect by a long shot and in war mistakes often mean deaths, it should be held to account where necessary, but what organisation is flawless?
My favourite adventure game!
Funny. I use it to manage my projects, design and documentation. In that sense it helps me stay organized and avoid having never to close a project or idea.
Not only is there no way to report spam on Google Drive, I noticed in the past few months that Google have also started refusing spam reports via SpamCop. Now those reports just go to google-abuse-bounces-reports@devnull[0].

I suppose relative to their market size one could make an argument that they are doing a good job of “only” being the source of ~1.8% of all spam[1], and who knows what they did with these reports to begin with, but the intentional deterioration of reporting capability isn’t a great look, and there’s no effective recourse since they are too big to block outright.

[0] https://www.spamcop.net/w3m?action=inprogress

[1] https://www.spamcop.net/hoshame.shtml
Nobody's mentioned dependent typing yet, but languages like Idris and Agda will "narrow types based on control flow" (in fact, since they're pure-functional, control-flow is the same as data-flow). For example, zipping two vectors of the same length:

zip: Vec n t1 -> Vec n t2 -> Vec n (t1, t2)
zip Nil Nil = Nil
zip (Cons x xs) (Cons y ys) = Cons (x, y) (zip xs ys)

Here the 'Vec' type has two constructors, Nil and Cons. Since their types specify the same length, the type-checker knows we can ignore the 'zip Nil Cons' or 'zip Cons Nil' cases.
> Even the 2016-2021 MBPs were at best comparable to models of these other brands, never worse.

This is patently false. The butterfly keyboards were a disaster for Apple. Financial reports suggest it may have cost Apple an additional billion dollars per-year in warranty repairs. The M1 machines are nice and Apple seemed to have fixed their reliability issues; but your post is essentially, at best, a cover up.
This might be a bit off topic, but might help somehow...

Something that has striked me during the last weeks --since I got my WHOOP-- is the correlation between HRV and self-control (aka. will). I've monitored how productive and focused I am and my top days all have in common this:

-- didn't drink alcohol at least 3 days before (I'm now avoiding it as much as possible)

-- got at least 3.5 hours of REM and deep sleep

-- breath exercises at least 3 time a day

Conclusion... monitor your HRV and you might be able to focus better
According to [1] in 2004, when numbers were at their peak, reservists made up 20% of Britain's strength in Iraq; and 'large numbers' of reservists deployed in Afghanistan.

Seems to me that's the big downside to joining the TA - you're putting your life and honour in the hands of professional politicians.

(However, it also says 'many' reservists were deployed as 'individuals' rather than units - presumably meaning they were deployed by choice?)

[1] https://en.wikipedia.org/wiki/Army_Reserve_(United_Kingdom)#...
>You also get medical and dental insurance.

This reminds me of a point Michael Moore made in Sicko – that Americans are generally fine with government spending if it's directed at the military. As he put it, America could probably have a national health service as long as the doctors and nurses wore camo.
> I wouldn't recommend people use XLisp or run Genera in a VM to solve real problems. Recommending J feels like that to me.

Genera and interlisp are great. I wouldn't deploy them because:

1) slow

2) no multithreading

3) incompatible with modern cls

Point 3 is being worked on (for genera at least, and possibly also for interlisp). But none of these seems significant wrt j.
He could waste a lot of money on failed startups and never have any appreciable impact on his day to day life and standard of living other than his own satisfaction of seeing $BigMoneyNumber.
> Not true. It's not if the screens get updated. They do not get updated based on the actual train on the track but from information info you can infer from an pre-established schedule.

Not true in general. The screens do actually get updated based on the actual schedule when there are track changes and/or delays. They don't stubbornly stick to the pre-planned schedule. I've seen that happen countless times. That said, occasionally I've seen the screens lag behind reality a bit, usually during and around big disturbances.

> Edit: Looking at this example from 6 months ago...Continues to happen:-)

> https://community.ns.nl/dienstregeling-59/geen-sprinter-maar...

This example doesn't support your argument: there's not even a claim there that the screens weren't correct.
I guess we should be glad that the military aid was in the forms of anti-aircraft and anti-tank systems and such then
Return to Monkey Island
Fedora Linux Upgrade from KDE Plasma's Discover