skysight-inc/HackerNews huggingface dataset:
Android was a keyboard-only Blackberry clone before it gained touch support. This is why soft keyboards have always been modular since they are a bolted on substitute for physical keys.
I would expect AIX to be finely tuned to IBM's hardware and able to exploit the exotic hardware that's bundled with the machine.
there are untold numbers of fictional heroes, this hardly needed proof

though there is no debate among scholars about whether Jesus existed, so you chose a poor example
Absense of limit is not always an infinity, e.g. for sequence (-1)^n.

Even if sequence is unbounded, it does not always converge to infinity, e.g. n^((1+(-1)^n)/2): 1, 2, 1, 4, 1, 6, 1, 8, 1, 10, 1, 12, 1, 14, 1, 16, 1, 18, 1, 20 ...

Convergence of sequence x(n) to infinity by definition is: for each real number ε>0 there exists a natural number N(ε) such that for every number n≥N(ε) we have |x(n)|>ε.
I wonder if congress has thought about what would happen if the CCP opened their wallet.
Was very pleased to see that for meta programming, they went with something similar to Zigs comptime
It's just an anecdote, but living in the same place where the incident I mentioned earlier happened, I was really surprised when I called in a report that I had seen my bicycle, reported stolen weeks before, being ridden in a certain neighborhood and not only did they send over a police officer to take a statement, he actually tracked it down and brought it back with suspect in the back of his car.

Unfortunately, it turned out not to be my bike: just same make/model/color with a bike shop sticker in the same location as mine.

And this in a city that at the time had a county-wide reputation for high crime.
Because evenness is a special case of k-evenness: A set is k-even if it can be divided into equal sets of size k. Which, for finite sets, is equivalent to the size of the set being 0 mod k, ie, is divisible by k. There are many ways to be not be divisible by any particular number bigger than two, and only one way to be divisible.

Uncountability is a particularly interesting form of non-divisibility, so I'm just fine calling all uncountable sets odd and countable sets even...

(And just because we're hung up on divisibility by two, let us remember: All prime numbers are odd, and two is the oddest of them all.)
> arbitrarily decided

Modern mathematics is all about coming up with definitions and rules that give rise to interesting (to a mathematician!) properties when further investigated.

The definition given naturally lets the ordinal numbers continue the odd/even/odd... pattern. Choosing the alternative definition would not.

In one sense that's 'arbitrary' because we decided on one definition over another. But another sense, we picked the parity rule that lets us extend the same pattern from the natural numbers, so it's a 'better' parity rule. And the fact that one rule gives this pattern while the other does not, did not come from humans, but is a 'metamathematical fact' from the universe of possible ways to define things.

So I would say this definition is not fully arbitrary, it's an interaction between what mathematicians find interesting and the Platonic realm of possible mathematical constructs.

Anyway, I'm not a mathematician but it seems this is how the game of math is played: to continually discover new rules that give rise to more interesting math.
Money market accounts use the same vehicle (treasuries) and still manage to be ostensibly safer than smaller banks at the moment. These funds manage their investments by continuously buying new bonds and selling off old thus limiting the risk exposure to all but the most sudden interest hikes.
My college roommate has worked for IBM his entire career, over 30 years. He loves it there, obviously, and never seriously considered leaving.
I challenge you to submit one example of Campbell spreading misinformation.
Sure, in the technically true way.

However, in practical terms banks have done a great job of making loans that get repaid more often than not. People are ok with having a bank that pays 0% interest and uses the difference between loan's rate and the real rate to operate successfully; bankers are not ok with leaving money on the table.
Feel free to build a working demonstration and share it. Every time this conversation comes up on HN, people have some variant of an easy solution they think will work. None of the demos people have built so far have stood up to adversarial tests.
Sorry, you must not be paying attention or this is sarcasm. Giving the government the keys to your banking data and expecting them to respect rights is naive. Government ownership of data means they don't have to respect privacy because they already own the data.

The US government is wholesale spying on the entirety of electronic communications and working with social media sites to make some voices less prominent. Private business should be able to tell the government to pound sand when banking data is requested without a warrant or subpoena. Banks are not able to do that. Banks exist as long as they are in the good graces of regulators.

Laws prohibiting the sale of personal information (location, purchases, banking) closes the loophole.

The solution is less government, not more.
Yeah the temporary disable isn't my complaint. That's not the worst part. My criticism is the system in place after the parent has made the choice. As a parent, do you choose your own freedom or to protect your children? Most will choose the latter and basically have to choose "abstinence" for themselves for many years. It's a pretty sucky choice to have to make given that such an artificial and unneccesary choice is being forced on them by the legal system and their ISP.
For me, the Amazon return center would be 60-90 mins roundtrip. There's a UPS store down the street, and a Whole Foods about 15 mins away. But regardless of where I'm returning, it's not great if I have to keep track of a bunch of different QR codes while I'm waiting in line and juggling all the packages.
There are already businesses that will buy an established reddit account from you. These arrangements exist for anything with accounts with rep, whether they be reddit accounts or instagram or runescape accounts.
While corruption is never good, I’ll take private-sector corruption over government corruption every day of the week if I’m forced to choose. Governments are sovereign.
Shadow IT.

Companies can have reasonable cause to block things, or require processes for installing software, etc., but when those burdens become too much time or effort employees will find a way around it.

Almost a decade ago, the company I worked for didn't have good wiki software OR a good request system. My team had a linux server for the purpose of some primitive monitoring and automation of our systems. Apache was already installed...

Within a few weeks we operationalized a new dokuwiki installation, and not long after that we built an internal request system based on Bottle.py (since it didn't require any installation, only a single file).

Seeing that GPT-4 is so incredibly useful to the people I've heard talk about it, there will be employees trying to use it to increase their code quality, communications, planning, etc.

My current employer put out guidance specifically stating not to put any proprietary code into it, no matter how small, nor any confidential information of any kind (don't format your internal earnings email with it, for example).

That seems reasonable, and recognizes how hard it will be for employees to go zero-tolerance, especially if they don't have total network control over work endpoints.
A time-saving Makefile for your Go projects
"You know that green lock in your browser?" used to be how I explained what I did in 5 seconds. Now what am I supposed to do?!

I like this update, I think this is an excellent UX change
As someone who's been commenting on various sites for 20 years, I consider my comment history to be the very clearest representation of self and who I am. Like if my progeny ever wanted to know about me they could go read what I've written over the years. But then, I never crap post (some may disagree), and I usually always write sincerely. So the idea of shredding all that is kind of startling.
How are laws and the will of the people enforced? Typically via fines or jail time... both of which are backed by violence.
Good change imo. They didn't mention in the post but I do hope they continue to show the "Not Secure" warning for HTTP-only websites.
I'm looking at the sign-up process for Reddit now, and it seems to have a "Continue with Apple", "Continue with Google" and "Continue with e-mail" options. Even with Apple's e-mail obfuscation, there's still an e-mail associated with newer accounts, I think.
Evenness is a more natural condition, so to speak, in that it has a simple definition and is easy to generalize. Having defined an even number, if an integer isn't even, it's odd.

To get a feel for why this is convenient, consider that you can generalize by replacing "multiples of 2" with "multiples of n". Then, instead of splitting everything into two sets (even/odd), we can naturally split the integers into n sets called equivalence classes modulo n. For n=10, these would be "multiples of 10", "numbers whose remainder after dividing by 10 is 1", "numbers whose remainder after dividing by 10 is 2", and so on. Seen this way, you may find it less arbitrary now.
I'd rather an IC card such as the SUICA Japan has.
There are federal laws against polygamy and laws against it in every state:
https://en.wikipedia.org/wiki/Legality_of_polygamy_in_the_Un...
I think Chris was referring to the leaky abstractions python grew on https://www.youtube.com/watch?v=qCGofLIzX6g
I could see ongoing watching harming a kid, but if they stumble upon porn one time by accident and see it? I don't see how that could harm them.

A kid with a peanut allergy who came into contact with peanuts, even accidentally one time, could be fatal.
That term works okay.

But I still wouldn't say that group is the one that cares about crossing between transit areas.
> you can remove the search bar in 4 clicks.

On every major update. It's just a nag.
But no standard programming language, yes?

VSCode was not the standard seven years ago. ("In the 2016 Developers Survey of Stack Overflow, Visual Studio Code ranked No. 13 among the top popular development tools, with only 7% of the 47,000 respondents using it" says Wikipedia).

If lolinder's thesis is true, then that means it can take over 50 years before the industry decides on a standard. Which seems rather a long time for that statement to be meaningful. Because within 10 years maybe it will all change again.

FWIW, I've mostly used SQLite as my DB.
But, if you happen to like being a caterpillar, it's probably worth nothing that after the metamorphosis is complete, there is no more caterpillar.
You’re thinking of isomorphic, not equal.
If you're a new or aspiring pen user, let me recommend you get a screw-top -- they won't pop open accidentally as you learn where you like to stash your pen. This was the cause of more than a few ink incidents for me when I was getting used to carrying a pen!
Bias disclaimer: I've worked on Chrome and Edge, opinions strictly my own

>and why is that? Oh because Mozilla hasn't put any energy into getting better or pulling back market share from the moment it started to bleed out to Chrome.

Could and should Mozilla have done better? Yes. "Any energy?" is uncalled for, however.

There was the entire Quantum rewrite for significant performance boosts (around the time Chrome started getting called out for bad perf). There's containers, anti-tracker tech, and a big privacy push.

There is much more they could have done, and my outsider opinion is that Mozilla the organization lost its way and focused too much money and effort on things that don't matter, but it's not like they pulled an IE6 and abandoned Firefox.
It sounds like it's plain old tracking, but pushed and owned by Google through it's control over Chrome.
Factor.io | Sr. Backend Engineer

I am looking for an experienced backend engineer who loves building. Someone who is excited to create applications for customers. We have a modern stack: completely managed infrastructure, docker, kafka, java19. We are a seed stage startup, only 8 developers. We want people who want to be part of a small team, take on massive ownership, and deliver to customers. We have a great team and get a lot done

Factor is supply chain management solution to bring structure, data, and modern platform tooling to the world of manufacturing. $14T is spent on manufacturing goods. Delivering a physical product on time relies on strong vendor relationships. Today many companies manage these relationships with email, excel, and shared spreadsheets. We provide a common way to get insight from your vendors and data to know how to select the best one for your job.

You can email me jordan(at)factor.io
I mean, they did a lot of improvements over time. ASM.js which became WASM, with fast bindings, Webrender, new JS engine, the memshrink project are ones that jump out at me. From the wpt.fyi interop stats year over yearit's pretty clear they are constantly working on implementing new specs.

But IMO everyone is chasing Chrome or just using their engine now. Their engineering team is apparently 10x that of Mozilla.

And, back when Chrome was rolling out they used their dominant position online very aggressively. Google sites worked best in Chrome, period. Chrome was pushed on google. Google tech demos, similar to Microsoft ones, worked best in or only in Chrome. Android was a big Chrome advantage too. Chrome was heavily advertised, pushed as an install bundle in things like Adobe.. I'm not disagreeing Mozilla made some poor decisions but I don't think they had much of a chance regardless.
> an ultra-conservative religious minority

AFAICT, within the state, Mormons are not a minority but a majority. Wikipedia says[1] 60.68% as of 2020.

---

[1] https://en.wikipedia.org/wiki/Demographics_of_Utah
The closest system that hit it big was Java.

AS/400 was based on the System/38 which had a capabilities-based OS and persistence built into the system from day one. (I remember the bad old days of JDK 1.0 before there was serialization which was awful for writing applets because more than half of your applet might be serDes code. I think Sun panicked when Netscape came out with a serialization library before they did.)

In the 1980s there was a fad for complex architectures like the Lisp machines, stack machines, the iAPX 432, etc. Common Lisp and the JVM put those to rest showing you could implement a featureful virtual machine in a mainstream CPU. My understanding is that was what System/38 was from the beginning.
> So they should have started slowly selling their low rate assets years ago.

How could they have known years ago? Up until last year there was no indication rates were going to shoot up like they did.
International police just made a huge dark web bust
The enforcement of this vote (or law) would be violence against others. Majoritarian tyranny is still just tyranny.
pretty relevant:

As the Panic of 1893 weakened much of the economy, railroad companies ceased purchasing new passenger cars made by Pullman. When his company laid off workers and lowered wages, it did not reduce rents, and the workers called for a strike. Among the reasons for the strike were the absence of democracy within the town of Pullman and its politics, the rigid paternalistic control of the workers by the company, excessive water and gas rates, and a refusal by the company to allow workers to buy and own houses.

https://en.wikipedia.org/wiki/Pullman_Strike
The person themselves? Certainly better than the employer, and some argue that it would be better than the government.
From Wikipedia:

> In March 2022, Campbell posted another ivermectin video, in which he misrepresented a conference abstract to make the claim that it "unequivocally" showed ivermectin to be effective at reducing COVID-19 deaths, and that ivermectin was going to be a "huge scandal" because information about it had been suppressed.

A whole Wikipedia article section with more examples:

https://en.wikipedia.org/wiki/John_Campbell_(YouTuber)#COVID...
You seem to misunderstand, Olfactory fatigue is very fast. When people fart for example the perception of smell goes away vastly sooner than the actual smell.

If you’re trying to judge air concentrations based on how intense the smell, it simply doesn’t work.
Read on their discord server that it both support .mojo and the fire emoji
I think either change is fine. I’ve owned an iPhone for 8 years and can type without looking at the keyboard, but I still can’t remember whether the timer or the alarm has snooze in the middle. Just pick one and be done with it.
You're right their Apache licenses are different:

https://github.com/ofek/csi-gcs/blob/master/LICENSE-APACHE

https://github.com/GoogleCloudPlatform/gcs-fuse-csi-driver/b...

OP should submit a PR to correct this. IANAL but pretty sure they're supposed to use the original copy including copyright notice "Copyright 2020 Ofek Lev"

Might be stolen code until they fix this
My guess would be that's pretty typical of an enterprise programmer, especially if you replace "never" with once in a blue moon and perhaps exclude people who are active in open source development.
Eliminating the discretion of a cashier is not a bad thing. It harms no one and makes their job easier.
I am certain that the people who make comments like this have never lived in a country where they had to deal with something like a government-owned bank.
I don't think separating these is that relevant here. People get told that certain things are good and right, which they then mostly do, these things have changed over time, I would claim to the better, and this is the claim I'm debating.

Generally, such memetic evolution arises from competing drives to be adversarial or cooperate with others. Over time, people have found that cooperation is better in a vast variety of environments and economic or technological conditions. We are very slowly solving the Prisoner's dilemma.

Even if the goal of maintaining hegemony doesn't change, the people being occasionally bombed with drones will still prefer that situation to being conquered by Gengis Khan. Maybe one day the hegemon will only need to brainwash them using propaganda instead of bombing them, and then maybe one day just have a reasonable discussion with them and still be able to achieve the goals. This in my view constitutes progress.

Neither am I claiming that this progress is monotonous, eternal or inevitable. It's an observation about human history.
In the cases of natural deaths, I think it's something you decide, or rather you give up, and shortly after the whole body turns off. I was with my mother with a strong cancer, she didn't want to go to hospital but her situation got really bad so we ended up carrying her to hospital, she died shortly after entering in the hospital despite all their systems (transfusions) set up
Boo! Get your facts away from my cute little factoids!
OK, tell me what an example is, if not a description of something that lends -- or removes -- credence toward a position.

And I do want to know if you think GPT-4 is actually incapable of making mistakes, because that's what you seem to be implying (even though it's flatly ridiculous).
> I think the people complaining in this thread would complain about anything.

So much THIS!

If they were free, people would complain that you still have to pay property taxes/utilities.

Everyone LOVES to criticize but that same group rarely offers solutions, lest others criticize them.

Here (Ontario, Canada) housing is a major issue for the reason you list : Nobody is big enough to push back and make it happen.

Try and build anything here and you will be NIMBY to death. I ride my bike by an area where they are tying to build low-rise apartments and everywhere you look are signs protesting it.. where should they build?
Because many people will get away with it. Their paycheck is not contingent on not using ChatGPT, because their employer won't find out.

Some people want their work to be high quality and/or done quicker. If there are tools to facilitate that, some people will be interested.
> This is likely true of the radiation experiments

It's not, in fact, quite the opposite is true: the subjects were all white, by express design.
A fascinating example story! I think that does make it all make more sense why one would quit over not being able to use ChatGPT.
That is definitely not the only choice. There are services out there or you can also use your own servers. Google being big does not limit your choices on how to host your own email. Again, you are not entitled to other people's inboxes.
How does mojo handle function polymorphism and abstraction? Julia uses multiple dispatch, Haskell type classes etc

Edit: I see you're going to have protocols/ traits. Can those be specializes/monomoprhized at function call time like Julia abstract types?

And how about function specialization? Will functions be attached to structs in a single dispatch fashion or free floating multimethods?
The Pilot Custom 823 (amber demonstrator) is my favorite pen. I love the way it writes, the quantity of ink it holds, and that the screw down piston knob also blocks ink flow so it doesn't dry out. I have the Sailor 1911 and Pro Gear also, but prefer the Realo piston fill for the larger ink capacity. I enjoy the Rhodia paper also.
The only time I've been asked for an ID at a pharmacy was for non-prescription sudafed. I've picked up many prescriptions for myself and my family, and they have never asked for ID.
I approve of getting rid of the lock icon, showing only a broken lock for HTTP and no lock for HTTPS. It's always been weird to have site permissions settings revealed by clicking that lock.

But the replacement icon looks really strange to me. They're calling it a "tune icon," but I've never seen a tune icon like this, with just two circles and two lines. Looks weird. I'm surprised that it fared well in the experiment.

I would prefer it if they'd use a gear icon, which is normally used for settings like this. You can see a gear icon at the bottom of the tune menu for "Site settings," which makes it all the weirder that they're using a tune icon in the URL bar and a gear icon in the menu for site settings.
Would you rather have one bank of thousands fail due to corruption or have the one state owned bank fail and the entire economy grind to a halt?
> We continued to mark HTTP as insecure in the URL bar.
Exactly this: I hate that GitHub is indeed very much like a social media. Expect also all the weird algorithmic surveillance to work underneath.
"Everything has risks, so reducing risks is meaningless" doesn't sound like particularly sound stance to take, especially on an issue like housing.