skysight-inc/HackerNews huggingface dataset:
> Thanks to the rollout of coronavirus vaccines, the global economy is slowly starting to emerge from the pandemic.

Why would CNBC thank solely vaccine rollouts? There is also natural and acquired immunity, existing effective treatments, lockdowns and quarrantine strategies. These other strategies all contribute to ability to keep businesses running.

But no, the media has been tasked to spread vaccine propaganda so those other things don't get a mention.
> I assert that thinking about the objects referred to by those formalisms is still performing mathematics.

OK. So can you give me an example of thinking about something such that that act of thinking isn't "performing mathematics"?
I think this is far too important to be called a nitpick.

This is a very easy trap to fall into - both on your own and when guided to it.

Assuming children here means under 18 as the article never mentions a specific range, then the population size as of 2020 was about 73 million [0]. That means we're talking about the difference between 1.2% of children and 0.08% of children.

In terms of national impact, that's pretty significant. But in terms of your individual lived experience, I have doubts. I've already spent too much time looking for relatable events with a similar probability so I'm going to stop here, but I don't think most people are that clued in about kids to seriously expect to notice this kind of difference in their life.

Unless you count reading/watching the media as part of your life experience, I don't think most people would notice a difference here.

[0]https://www.childstats.gov/americaschildren/tables/pop1.asp
That doesn't seem responsive. If someone puts 80 hours of availability out a week, that just seems to make the case even stronger.
They also may cash out to another fiat currency, no? I also am not sure I agree that they would all even cash out to fiat. I was asking what are the guarantees that they would cash out to USD, considering that why they may be holding USDT in the first place is to avoid US regulation? Something else to consider is that Tether is also more popular outside of the US. I'm just saying that I think it's an assumption that they all would cash out. It likely depends on how crypto as a whole is doing at that point, and I also think it's an assumption that crypto won't survive Tether's crash. There may be short term drops which lead to these assumptions being true, but really, no one knows for sure.
I highly doubt Tether has embezzled 100% of their assets.
Also, this is the classic "it depends" in consulting.

Example where this went bad:

- "Acme Co." has an offshore/outsourced dev group in India called "Offshore Co.". Offshore does all of their software development, maintenance, infrastructure, etc.

- CTO who is employed by Acme wholly owns Offshore Co.

- PE Group ("PEG") buys Acme Co. and takes a controlling interest

- PEG decides Acme should do something strategic.

- CTO disagrees with strategic direction

- CTO operates Offshore Co and decides to hold the company hostage and directs his resources to stop maintaining the code, infrastructure, etc. anymore unless they do what the CTO says

PEG/Acme could simply stop paying Offshore/CTO but since they don't know how the code works, etc. they basically don't have a choice.
Not really. Markets weed out unprofitable firms. Government doesn't really care about that. On the other side, government regulates firms that engage in some harmful (open to interpretation) practice, and markets don't care about that unless it makes them unprofitable.
You're right, the dogs trapped next to an live, erupting volcano will be perfectly fine long term.
> And they have funny printing patterns: whenever Tether stops printing, USDC starts.

I noticed that, specially recently. What's going on?
Read OP's point, he/she claimed that a 5% drop in the price of Bitcoin would make Tether literally insolvent, that did not happen when BTC went from 60K to 30K
So I just looked it up. Unless you make $4.75 an hour or less, you're coming out ahead working and putting your child in daycare. I'm in a ~1 million population US city.

$4.75 is half the state minimum wage, and a fraction of what anywhere near me is starting people out at. No one pays minimum wage any more. Target is paying $15/hr to stock shelves.
> It is (more or less) the observation that given a set S with two elements, you can make a subset of S that has one element.

But your formal definition and your explanation do not match. Effectively you are conflating defining the "cardinality of a set is 2" with "2." To illustrate this, your formal definition can be satisfied by a set that only has one member ({{0}} with 0 as the empty set)! It has no strict subset with one element! Your formal definition is but a numeral system, your informal definition is the number itself. Indeed nothing changes in spirit if we start with "{0}" as 0 instead of the empty set itself, but your formal definition fails in another way.

Another more dramatic illustration is just to define this entirely with natural number objects in category theory, which do away with properties of sets and collections entirely. It leads to statements which are also true, but cannot even be phrased in the language of set theory.

> I picked the ZF definition of two as "this definition" but I didn't have to. I could have picked something else, and then the phraseology would have been different. But it all eventually bottoms out in the theory of computability. You can start with ZF or Turing Machines, or the lambda calculus, or Godel numbers, or Brainfuck. It doesn't matter. All starting points lead to the same destination.

This is the entire point, Turing Machines, lambda calculus, Godel numbers are all different sets of rules and symbols. Yet we recognize that they are all the "same destination" somehow and that destination is the thing we want, not the rules and symbols themselves, which are, as you say, only the "starting point." In effect, none of these definitions of natural number can fully capture what a natural number is. They each come with their own infelicities and ultimately end up as numeral systems when fully formalized rather than the natural numbers themselves.

I agree that computability is one of the key insights behind mathematics, but moving symbols around is only one encoding of computability.

EDIT: Another thing you still haven't addressed is the issue of the reality of natural numbers and Godel's incompleteness theorems and how we are allowed to talk about "natural numbers" as mathematical objects in that scenario.
Were none of the contributors to the original software willing to participate in the conservatory's case?
I think this is more akin of the Android phone I have asking me if the call I just placed was: clear, had cutouts or dropouts, fuzzy background noise ... And they take that feedback and adjust my call quality in GoogleFi (in theory)... It's not just the concept of s volume button, but more the idea of reinforced (ai) learning over time, or algorithm adjustment with human feedback.
It will be necessary to provide an improved antenna solution for this application.
The Defiant X Is a Brutally Powerful Helicopter
If the Linux community had the amount of elbow grease that Microsoft and hardware/software vendors have at their disposal, especially the unsexy issues... we'd be probably writing these comments from our Mars habitats.
If you have a good analytical mind, you can pick these skills up rather quickly.
I think, far from being a Pandora's box, those are important discussions to have. Why on earth would I want to have a mismatch in the expectations between me any my employer on any of those. Otherwise, it's almost always the employee who gets screwed.

And, to answer one specific question: Why would you owe your "best hours" to the job? They contract for specific hours.
Show HN: Digital Wallet Payment Orchestration for Apple Pay and Google Pay
> Linux has trouble with external and multiple displays, trouble with power management, trouble with wireless on and on.

What version of Ubuntu were you using, out of curiosity? The issues may have been fixed now.

As a personal anecdote, I have never had problems with multiple displays on Fedora 34. It was just plug and play with Nouveau. Although I am still trying to figure out how to enable Hibernation in GNOME: I personally use the feature a lot.
Ah that would make more sense.
> math from 65 years ago

Calculus and linear algebra are a tad older than that.

> isn't relevant today as determined by the community itself?

Which community? NeurIPS/ICML/ICLR/et al.? That's only a subset of the AI community.

Also, I'm not really sure that "pure ML/DL" is even a particularly in-demand field of research expertise right now; we've been absolutely saturated with supply for at least junior phd students in that subfield for close to an academic generation by now... whereas there is now a genuine drought of folks who speak "both languages" in AI. I think these days you really need a second field in order to not be in a horrendously bleak over-saturated labor market. E.g., systems and ML? God, please yes. "Symbolic AI" tradition and ML/DL? Yup, lots going on there right now. But pure NeurIPS et al. style work? You've gotta the best in a very, very, very, very crowded room.
It doesn’t matter what fiat the sell into, all that matters is they are selling BTC. It will go down against all pairs.
For some reason the number of accidents has been increasing since 2008 (which is a min point, by the way).
> Real difficult replace something that's a integral structural member of the car

If you look at some recent photos [1] of the Tesla Berlin tour, the "structural battery pack" is still a bolt-in part of the car - it just carries some of the loads and has the seats bolted to it. If it's a standardized design, eg used for multiple model years, it should be a fairly standard replacement part in another decade or so. And the more efficient structural will reduce steel consumption by thousands of tonnes per year and reduce curb weight and increase mileage. Win-win-win for the environment.

I'm an optimist.

[1] https://electrek.co/2021/10/10/tesla-unveils-new-structural-...
I'd take that tinnitus treatment in a heartbeat.

The drumming-on-the-back-of-the-skull trick lasts just long enough for me to realize what the world could sound like. (I tend to not do it anymore due to the mild depression I get realizing how fleeting the relief is)
IIRC it's not "recycling" at all - they'd just bury the plastic in China instead of here. Much like we've "reduced emissions" by moving all industrial production to China which is almost completely un-regulated in terms of emissions until 2030. It's as though people think that atmospheric emissions are somehow confined to the country which emits them, rather than affect the entire planet.
The two phases of super cooled water dispute seems to have been due to a coding error. https://physicstoday.scitation.org/do/10.1063/PT.6.1.2018082...
Those market makers are known, formal and regulated. HFTs are none of those.

Well, I guess semi-regulated.
Some years ago there was a set of headphones sold for hunting (amplifying sounds of animals and reducing gunshot noise) that were very popular among the hearing-impaired community as a cheaper alternative to hearing aids.
Why not just install Linux yourself after getting a Windows laptop?
Goodfellow's is not good. Hodgepodge of material with scattered theorems and way too much attention paid to GANs (surprise surprise).

ESL is very good but at this point it's the TAOCP of ML book recommendations (besides have steep prereqs).

This is a way more approachable and yet still through book on DL.
In Eastern Canada (Montreal for instance) when we go back to normal time the sun will set at around 4:30pm which is depressing to say the least. I think most people would rather have an extra hour during the evening than in the morning.
> The problem is that Linus is staunchly against the GPLv3

No he isn't. He is unable to relicense the kernel. Whenever he's interviewed on the subject it is always in relation to kernel development. He doesn't control the copyright on the entire codebase and there are too many contributors, some dead, for anyone to get copyright assignment sorted out.
An objective look at history will tell you that "whites" (by which, I take it you mean europeans) were not worse than africans, asians, or most other groups.

If this isn't obvious to you, then you've been studying racist history. Asians slaughtered their way through much of Asia with Genhis Khan. In Africa, the Bantus genocided their way through the entire subsaharan region. Arabs ran huge slave societies and conquered much of the middle east and North Africa. Amerindians genocided each other. The list goes on. And none of these groups - including europeans -- should be made to feel guilty for any of this. To suggest that one group should feel bad for their history but not another is just bigotry masquerading as history.

We are all standing on a pile of bones. There is no special guilt to the pile of bones that Europeans stand on, nor is that pile particularly larger than any other. Nor is there any such thing as collective or inherited guilt.
First off, you don't have a custom process for every random bit of packaging out there, even those that occur as frequently as pringles cans. Second, even if you did, you'd have a massive sorting problem on your hand and those custom lines to deal with each and every products packaging would require an awful lot of space, energy and other resources to cope with.

So as nice as this idea sounds it is not really workable in practice.

The way it does work is indeed, shredding, then float tanks to separate the lighter materials from the heavier ones, then some more stepwise improvements (for instance: to separate out the steel from other metals) and finally compaction and what comes out the other end gets passed on to companies willing to pay for it, and if there is no market, which get paid to deal with the resulting sludge/scraps/goo.

Recycling is not nearly as orderly a process as manufacturing is, and there will always be a residue that simply can not be dealt with economically. Properly designed packaging takes that into account at the time of manufacture to ensure that the residue is as small a fraction as possible.

This is a hard problem, and in the longer term, next to climate change one of the hardest ones that we will need to tackle. The good news is that we could start today.
I'm not sure it's the sunk cost of IPv4 addresses that's causing this. My guess would be that the "support IPv6" JIRA ticket gets perpetually thrown into the backlog because it won't get any new customers to sign up, so it's clearly not important from a "ship MVP" perspective.
IMO, The difference being overlooked here is that the reason windows is so smooth is because it’s cost effective to target it when you’re making hardware.

If MS pivoted to a Linux Kernel, then all that hardware will quickly get better support for it. Hardly anyone does this today because the juice isn’t worth the squeeze (yet).
I never get people who moan about people caring about aesthetics.

Computers are our workplace, we spend most of our lives in them.

Would you be just as productive if we put your desk in a reeking pig sty?
1. In CUE, types and values are equivalent and both live within the same lattice. You have a spectrum from the abstract to the concrete. See https://cuelang.org/docs/concepts/logic/ for a good overview. There are also definitions and structs, which have different semantics for closedness (ability to add fields). See https://cuetorials.com/deep-dives/closedness/ for an overview. One really interesting aspect of CUE is subsumption which can tell you if your types or API are backwards compatible.

2. Generally CUE is a turing-incomplete language, which means you cannot program. No user functions or lambdas by design. There are a number of utilities provided in the stdlib which are idempotent. It is not possible to maintain the guarantees of the language with user define functions. There are list and field comprehensions which are like a map. You can fold be simulated with comprehension. A proper fold could be added at some point.
I wonder if we follow this forward to potentially large cybernetic organisms roaming space with trillions of us each, if reproduction and death would become a thing. Would we create instructions to self-assemble new independent culture vessels? Would death be still be an essential part of the super-organism's life cycle and ecosystem?
Pixel 6 207g weight is horrible. Pixel 5 is just 151g so this is huge jump. I wish smartphone manufacturers stop adding unnecessary weights for premium (like glass back). Pixel 6 Pro 210g is fine compared to non-Pro.
Channel 4 goes off-air after outage caused by technical problem
IANAL, but: One can be both an advisor to a company and their company can be a customer of it. That is not, in itself, illegal.

It is illegal when they are tied together as a quid pro quo, and further, when it is undisclosed. In every case any company I ran has ever done this, we fully expected the other party to disclose the conflict of interest to their company before becoming an advisor. Of course we have no way of confirming this, but this is also why none of the startups themselves were charged here.
Well let’s see, since 2018 total crypto market cap is about 3x but Tether is about 30x and total stable coins are over 40x what they were.

Diminishing returns to pumping.
The main lesson here is do not, if you can possibly avoid it, accept a job at a company with a level of engineering quality as low as described in the article. You probably won't get fired or taken to court; the main problem is that you will have no-one good to learn from and you will lose terribly in career satisfaction and future earnings.

If you're new to the software engineering job market, try to hold out for a company with a real team, and some colleagues that you look up to technically. It is hard, the jobs that are easier to get will be tiny companies where if you even have a colleague in engineering, they will be clueless.
1. Because that's market manipulation.

2. SEC did something to Musk, maybe you forgot, maybe you don't think it was enough, but they did something.
It always gets me when people talk about typing speed in programming. Maybe it's because I can't think faster than 50 words per minute, so it doesn't matter if I could type faster.

But even if I could -- it's not about how fast I can think either.

You're right that it's about how much work I can avoid by thinking about how to keep it simple, how I can write good tests that won't cause someone else to do more work later, and how I can build something in a way that can be modified later.

And you can't get there with linear thinking at all.

If the programming you're doing is can be done by rote -- and the primary task is getting it out on paper -- either it's something that could be automated, or you're much much better than me. Possibly both.

The author of the original article is clearly much smarter than me, but he spends a lot of time doing things like building simple text editors for his own use, writing text matchers in obscure languages like Julia, and learning how create a SQL query planner through trial and error.

Tasks that are all way beyond my ability, but also well beneath my productivity.
The Dell XPS series are good, either the 13 inch or 15 inch, they don't have a 14 inch version. You could also get something with an AMD CPU (sadly Dell's are all Intel), the Intel ones have lower battery life.
I'd love to read your thesis and I know a few more people who would like to, is it available?

edit nm. found it:

https://phs.brage.unit.no/phs-xmlui/handle/11250/2428006
Ok, the Orwell vs Huxley bit was interesting but then it went to crazy town.
The real issue is that an iphone cannot check for conductive or mixed hearing loss.
You didn't know that batteries were more expensive than tanks?
A River Reawakened
Isn't that what everyone in CNBC is doing?
Can anyone point to background reading on hanging all this stuff together (in a corporate context, so avoiding a lot of inclusion issues)

things like

FIDO/ubi key as the basis for all authentication / identification

Once we do that how do we manage SSO - I dislike the idea of having a nice hardware module and then saying "great for the next x hours / days use this static string. All attempts to make that better (timers, usage countdown timers) just seem less good than client certificatest and certificates in HSMs

(simply, I am trying to design a ... company I guess
)
Perhaps - but Apple has used very old core utilities for a very long time (licensing issues) but ensures they get security updates. Until recently, they used, what, bash from 2006?
> A framework with strong primitives makes it easy to create custom functionality that is still consistent with the framework's conventions.

I agree but, Isn't that almost a library...?
You can tell it was written in 2005 because there's no mention of General Purpose Tool Building Factory As A Service.
To me “our code can’t run on TiVos” is basically a political statement along the lines of “it can’t be used for evil, or for nuclear weapons” and so on.

It’s certainly an option to license it that way but I think GPL 3 was mostly a mistake.
I'd probably get the M1 Max with 64GB but I'd like to know if there's any discernible difference when driving two 5K monitors between the various GPU options.

I know it's not a great experience on my current 16-inch MBP with AMD Radeon Pro 5500M 8GB.
To add to the other comments: Spark, Stockfish, some games
I thought you were going to say they map the first row of their keyboard to parentheses -- which I guess is only a bit further.
Are you using CUE from Go?

I'm working on the go-api section of Cuetorials right now! Glad you have found the current content helpful.
Buy lightweight frames and lenses, have progressives and get anti-glare coating and "we'd be back to paying $700/pair" is like, last year if I miss a sale. Lenscrafters, not a small shop. They're all owned by the same site, and I work on the 50% off of lenses sale. Frames are 150-300 as I avoid big-name style. These are way more than +2.5 diopter reading glasses, and you might imagine that astigmatism and progressives does wonders for straight lines...
Yes, now that they've been caught claiming to hold 1 USD per Tether without doing so, they claim it's only stuff worth (in their estimation!) 1 USD per Tether. And still refuse to provide any evidence that they are doing so.

Please stop defending them.
And they seem to have smartly kept the auth layer in-house where it belongs. My Security Keys work just fine out of the box. Nice.

Whereas in the UK to access gov.uk with Security Keys I have to use a third party (Digidentity) because the government out-sourced this problem.
If you buy a new car at a dealership they can’t withhold the car keys as an optional extra.

The same applies here. If the script needs a key to work then that key is part of the script.
I’ve lost all faith in my ability to time this lol. It has to come down someday, and the bigger it gets the harder it falls. But Tether has a remarkable ability to kick things down the road so far.
It's all good until it isn't.

https://www.reuters.com/world/china/hong-kong-audit-watchdog...
The first three have solved just about every problem that I've ever encountered in software, even in systems that I had absolutely no clue about (which made the first two quite natural ;) ).

Debugging and troubleshooting isn't art or magic, it's just being very boringly methodical and building from the ground up. A single assumption and you're off to a dead end, a single thing taken on hearsay and you will repeat what other people already did, failure to challenge and check will no doubt make you miss something that it crucial to solving the problem.
Let me rephrase that for you:

"My tribe is correct. It's the other one that's bad."
They may have good reason for that, never know