skysight-inc/HackerNews huggingface dataset:
If you take someone with a high score on leetcode and tell them to google third normal form then I guarantee they will be able to do it.

If instead you surprise them with it in an interview, they can't do it, and you don't hire them because of it, well, they are the ones that dodged a bullet not you.

I know about third normal form because I learned it from my girlfriends open-on-the-ground textbook in college. It's just not that hard.
I highly doubt you know what "approximately" means.
Geo Key Manager: Setting up a service for scale
Why was I downvoted? The opening goes (classically):

道可道 非常道 ["The Dao can be spoken; it is not the constant Dao"]

or, from Mawangdui:

道可道也 非恆道也 ["The Dao can be spoken; it is not the constant Dao" - except that this version makes the division into sentences much clearer by using 也, and the use of a synonym for 常 really helps identify what sense of the character is meant.]

Dao 道 is of course the noun meaning "way" as well as the verb "say", explaining the traditional translation. But the character only appears three times. If the translation says "TAO called TAO is not TAO", that accounts for all three 道 characters. Where does "calling" show up?
Agree, but a lot of people seem to not care. The iPhone 13 pro is 204g. The max is 240g.
China’s Moon rocks reveal puzzlingly persistent volcanic eruptions
GPL Had Better Be a Contract
That's a good question.

The linked press kit says:

> not only do multiple copies of the Linux kernel appear in the firmware, other GPL’d and LGPL’d programs were found, including U-Boot, bash, gawk, tar, glibc, and ffmpeg.

The copyright for bash, gawk, tar, and glibc is owned by the Free Software Foundation. The FSF requires copyright assignment on contributions specifically so that they can enforce the GPL. So, if the FSF is unwilling to participate in the case, then that would say something very bad about the state of the FSF (or the state of their relationship with Conservancy--perhaps the FSF would prefer to mount their own case separately?). However, I don't believe that to be the case.

It is my understanding that Conservancy holds the copyright on parts of the Linux kernel, and is authorized to represent several other copyright holders of the kernel. They should be able to enforce the GPL for the kernel without getting anyone else involved.

So to me, this reads as Conservancy intentionally avoiding involving the copyright holders and going for a different strategy, in order to establish precedent and strengthen the GPL. And if that fails, then they could presumably fall back to filing a second lawsuit from the traditional copyright holder perspective. But I would have liked to see this called out and explained explicitly in the press materials, because I'm having to read between the lines here.
Companion posts by the researchers themselves, for those looking for some more details on the moon rock analysis:

- "The youngest Moon rock was melted from a dry mantle" [ https://astronomycommunity.nature.com/posts/the-youngest-moo... ]

- "The Moon’s last gasp: Dating the youngest lunar sample" [ https://astronomycommunity.nature.com/posts/the-moon-s-last-... ]

- "The “missing” KREEP: Origin of the Chang’E-5 basalts" [ https://astronomycommunity.nature.com/posts/the-missing-kree... ]
I was just thinking about this with the announcement of the new AirPods. Apple could really take the concert earplug market while getting great natural marketing (people wearing AirPods at concerts). Just balance and lower the volume for concerts.
I was curious how this compares to the iOS options. Looks like the iPhone 12 Pro Max is 228g and the 13 Pro Max is 240g. I’ve always disliked the weight of my 12PM that will be getting replaced with the Pixel 6 Pro, I’m excited to feel the difference in standard use.
New mental health treatment facility is a 'once in a lifetime opportunity'
They use clever marketing to sell legacy hardware made in China. Not sure why people catch the hype. Probably because there is quite big gap in the market for a phone that is ethically made.
If you renove marketing bs, I can't see how it is any good.
I played with Cue last year and while I think the concept is interesting, I've been struggling a bit with actually finding a good application for the technology. I'd be more interested in using it for validation as a less brain-dead alternative to e.g. json-schema but the documentation talks mostly about manifest generation and Kubernetes-oriented workflows, which already has Kustomize and Jsonnet and templating solutions like Helm.
> Translating a thousands-of-years-old text as if the words of the time had their modern meanings

The text quoted from the OP doesn't appear to say that.
But there have been no changes to the fundamentals of steel or oil supply, we're still digging both out of the ground and refining them.

The issue is thus in the supply chain, and this is having unpredictable second-order impacts on the primary supply as well: iron ore production will dip if you can't get a replacement tire for your giant dump truck, because the tire is waiting for a container ship in Shenzhen.
I assume they'll use a lightweight trap cage loaded with food that's laced with some kind of tranquilizer.

Then after the cage is dropped just come back and fly it out.

Anything else seems pretty risky to me.
There are math competitions. See Mathletes.
> Will app developers get access to the Tensor chip?

I think this is another classic bit of Google branding. Tensor is their custom SoC with CPU, GPU and an ML co-processor (think this was codenamed Whitechapel). Not the ML processor itself. Whereas Google's Tensor Processing Unit is a large scale ML accelerator. Why they've decided to use the same name for two totally different chips with different functions is anyone's guess.
Seems to, especially for US people. Maybe other manufacturers just jump on the same bandwagon as Apple.
From the post I'm not positive that they aren't. The release date and patch date in that version string are different. They might be cherry picking individual patches back to an out of tree branch and haven't had anything since 11-19 that met their threshold for cherry picking.

I'd be interested in which have these 15 CVEs are actually exploitable and their CVSS are before I jump to conclusions from just a version string.
There is a longstanding observation that the rest of the crew would be better off if they killed Gilligan. I assume the title is a reference to that.
I actually read the entire thing. It was worth it imo. Some stand outs were her kind words about her clients (almost strange to see men as a class described with such positive words). She is clearly a very rational and intelligent person and this is a business to her like any other. Yeah I really don’t get why this stuff is illegal, even though I have no interest myself.
> Really? How would you define it?

Well first off, i'm not sure why you're requiring finiteness or what that means in context.

But more to the point, i would define it as something that represents (denotes) something else. The thing it represents may be concrete, it might be abstract (represent a group of all things that some property), it might not exist at all, etc.

I suppose i'm actually a bit confused by your definition, i find it hard to parse. "What makes something a symbol is that it is subject to a convention that allows it to fall into one of a finite number of equivalence classes,": it sounds like what you're saying is that a symbol is defined as being a representative member of one or more equivalence classes, which seems obviously wrong, as symbols typically aren't members of the class of objects they represent. I was previously interpreting your statement as missing the word "denote". But denote is kind of the core of the definition of a symbol. If what you meant by your definition was that a symbol is something that denotes an equivalence class, you could probably drop the equivalence class bit, as all concepts can be thought of as equivalence classes with zero or more members, so it doesn't add anything to the definition.

> No, because the business of first aid is not the business of manipulating those symbols, it is the business of manipulating actual physical bodies.

Sure (although what about the activity of writing first-aid textbooks?), but that's a pretty dramatic shift in goal posts from "precisely at the point where you can render those images symbolically". Being able to "Render" something symbolically is very different from having the end goal of the activity being the manipulation of the symbols.

I agree having symbol manipulation be the chief end, feels closer to a definition of math, but it still feels kind of lacking. Mathematicians don't just arbitrarily manipulate symbols, they choose what to do based on a variety of criteria, such as real world applications, beauty, connectedness to other areas, etc. The ultimate end for actual mathematicians isn't solely symbol manipulation.

On the other side, poets manipulate symbols (words) following certain rules. They do so for a variety of reasons, but usually to evoke emotion or perhaps beauty in the minds of their readers. The final goal is a series of symbols manipulated just the right way. Are they mathematicians?
I did ask "what is this supposed to mean?". What do you think it says?
Sounds more "comparable to" rather than "as fast as the fastest."

Presumably Mac OS on PowerPC got faster as more of it was ported to native code; it's always nice when OS updates make your machine faster rather than slower.

But your point is interesting; as you note, Connectix's Speed Doubler apparently included a dynamic/just-in-time binary translator - I wonder what Davidian thinks about it? (Of course Rosetta 2 for M1 does on-demand static translation.) I'd guess that Davidian's emulator may have used an interpretation approach for consistent instruction timing, which may have been required for timing-sensitive device drivers to work properly, and also for running out of a static ROM with zero RAM overhead. Dynamic translation can eat a lot of RAM, especially if you have to keep the original code around (e.g. for code page memory accesses.)

Connectix famously continued its emulation game and ultimately won a pyrrhic victory after being sued by Sony, resulting in PlayStation/game console emulation being declared legal (hooray!) but also killing the company and its PS1 emulator product (which may have resurfaced as Sony's own PS1 emulator for the PSP/PSVita/PSTV/PS3, though the PS Classic uses PCSX.)
The original Motorola Droid is the only phone I look back on and wish I still had (with current hardware). There’s not been as good and usable a device since then in my opinion. However the X, at least for me, was pretty buggy and never lived up to the quality of the Droid with the slide out keyboard.
IPv4 addresses can be converted to an IPv6 equivalent [0] and that can be used to keep the existing owned v4 blocks intact for protocol translation. What would have been nice is if standards would have forced migration of owned blocks and pressed Tier0 / Tier1 providers to handle "legacy" v4 traffic on ingress into their ASNs. Carriers are the driftpins in the equation here, they have to start the ball rolling and there needs to be an interop transition phase. All the pieces are there, there's just no incentive.

[0] 10.10.10.10 == ::ffff:0a0a:0a0a
What We Know About Covid, the Flu and the Air We Breathe
Strictly you can NOT actually get perfect models with 100% prediction for any coil design because magnetic fields can only be solved directly with Maxwell's rather than the simple algebraic equations being used by this app. That's generally OK because getting close is more important than perfect. You ALWAYS must physically build things like coils and validate them empirically by testing if you need "perfect". There is no other way (even using a 3D FEA using Maxwell's equations won't give you perfect either).
Interestingly we are creating lots more water on earth - all the oil we burn has water as an exhaust, which adds to the amount of water on earth.

I would suspect it's an insignificant amount, except the CO2 isn't, so maybe it's more than I expect.
I appreciate the optimism (and do think there's some room for efficiency improvements!), but each step is a little more complicated than that. a true audiometric room/booth to do the testing (eg fully soundproof) in is very rarely found outside of audiologist offices or specialized academic spaces, for starters, and I do believe those are required for paperwork (whether it be insurance related part of the process to getting the right device fitted).

then there's also additional complications like types of hearing loss impacting calibration - some people react very negatively to higher (or lower) frequencies than others do, to the point facial stimulation can happen, and some people just have a frankly tricky profile that requires a trained audiologist on hand to work with them through several sessions, if not outright yearly on top of that, since the nerves and brain output can change by itself.

(source: have a cochlear implant, been doing the described experience since I was ~ 3yrs old.)
When a cobra became a murder weapon
The NZ govt did a good job with their version: realme.govt.nz

While proving your identity was easy, they've had trouble achieving the next step of information sharing. Traditionally government departments under law were not able to share information. This has only recently changed and they're struggling to reach the next step.
> Drones, automated harvesting, self driving trucks, software etc. will make their way into those industries eventually.

We can't sit around starving till then while paying people to do no work. Well-intention but top down policies meeting agriculture has almost always resulted in mass starvation.

https://en.wikipedia.org/wiki/Great_Chinese_Famine

https://en.wikipedia.org/wiki/Soviet_famine_of_1932–1933

https://en.wikipedia.org/wiki/North_Korean_famine

https://en.wikipedia.org/wiki/Shortages_in_Venezuela
you don't need to be a faithful believer - evidence speaks for itself. If hindenburg presents a short thesis, they would need to provide evidence in their papers.

No one should be blindly believing them, just because they have a good past record.
How to Guarantee That Your Project Will Be Successful
I recently did this, as a long android-only user. I purchased an ipad pro when the M1 came out to replace my windows laptop for content consumption and love it. I thought now was maybe time to switch to an iphone from my pixel 4xl.

Long story short, I returned my iphone 13 pro. I found that, for me, the way I use the ipad and the way I use my phone are completely different. On the ipad I use it almost exclusively to consume content. Websites, youtube, streaming, email (but only using the browser). I found that I use my phone more as a “mobile command station” for my life. I get notifications and react to something, or I use it to launch an app to do something (like my blink camera or thermostat). I constantly scan it for notifications and do something with those. I rarely spend time watching videos or consuming long-form text.

And for those things, at least for me, ios just pales in comparison to Android. Android notifications are just so much better. I can scan them and act from them better than I can on ios.

Lastly (and the straw that broke the camels back), voice dictation on ios is laughably bad compared to Android. I was just becoming annoyed that android seemed to be missing more and more words for me lately, but when I tried to use ios dictation in anything but a perfectly quiet environment it is unusable. I use this a lot, so it was a deal breaker for me.

Quick anecdote, I went to a concert recently before I got my iphone and texted my wife while the canned music was playing before the concert started. It was not as loud as the band, but pretty loud none-the-less. I used voice dictation and just after I did it and scanned it for accuracy, my iphone-using friend said under his breath “that aint gonna work!” right as I hit the send button. I remember him being mildly surprised when I hit send, but didn’t think much of it until a week later when I got my iphone and tried to use it out in the wild in a similar way. I then reflected on that and understood his perspective.
What you describe there is basically NAT64 [1]. Not a ton of reason to actually deploy NAT64, though, when practically everything's going to be dual-stack anyways and you're not saving any IPv4 addresses versus that dual-stack arrangement with a typical IPv4 NAT. (There are also compatibility issues to consider; not everything can work with IPv6 addresses at the application level, especially early on in the transition.)

[1] https://en.wikipedia.org/wiki/NAT64
Yep. I've been waiting for this announcement, and the touchbar was 100% the deciding factor for me being a continued customer. No matter what else they did, if they had insisted upon plaguing me with another touchbar, my next computer would not have been a mac. Now I can finally get an M1 system with a reasonable amount of RAM, yay.
There are certainly individuals who refuse to learn how to do whiteboard problems on principle, and if they are having trouble finding a job, I'm fine with that. They'll probably be a pain in the ass to work with.

However, my concern with whiteboard problems is that there are plenty of people who are really good, but get terrified in a whiteboard situation. And some of the absolute smartest people aren't able to think quickly. That is to say, for most questions, everyone else will get the answer first, but for the hardest questions, nobody else will get the answer at all.
> > I should probably pick up SmallTalk again. Any recommendations?

I don’t want to assume your reply was intended to be rude. I think they’re asking for recommendations on anything that might help/guide them picking up SmallTalk again.
> it's just that those sectors aren't the ones making the profits.

Coincidentally - they're also the most competitive / not monopolies.
1. The subsumption rule is elegant, but doesn't answer the pragmatic question: for what use-cases is a naive structural type system (familiar to a large population of developers) insufficient? Logic theory has type towers, but for 99% of the use-cases values and types are interesting, rarely kinds. Not even sure if 'type of kinds' has a name by itself. Possibly constraints are an answer, but the constraint system feels ad-hoc.

To rephrase, how would one describe Cue type system as a generalization of a naive structural type system?

2. Not sure what you mean by 'idempotent', perhaps 'pure' or 'no side-effects'? There is plenty of non-turing complete computations that can be done with pure functions.
> There have to be some interest rate in fund transfer, otherwise there will be no reason to keep transaction records.

Potential legal penalties often work quite well.
One doesn't have to dream. Flashing a rom on google-branded phones is so simple, a non-tech person can follow a 5min youtube video to do it. The Nexus 6 from 2014 can have the latest android running on it - not just security updates. And unlike an iphone, it has a build that disables some eyecandy that keeps it actually usable and fast. As I understand it if you run the last supported ios on an iphone 5s, with all the patches, you can take a nap while waiting for the answer slider to draw when you get a call. IS that the dreaming you're talking about? During the nap?

I'm a tech guy though. had a nexus 6, now got a pixel2. all custom roms, completely degoogled. In addition to phone tasks, I use the phone for solitaire, basic web reading, and email. I charge once per week. Both phones are extremely easy to flash. No hacking or exploits required.
Don't forget foreign actors constantly looking to steal designs. If government properly enforced IP laws and imposed sanctions on countries violating them then we wouldn't be in so much mess.
Consumers are complicit in the scam.
Maybe cheap to produce in larger sizes. As you have to make the components smaller and smaller to fit all the extra gubbins, each of those other components now become exponentially more expensive to design and produce.

Yes, there’s a lot of overcharging in this business, because the manufacturers charge what the market will bear, and because of insurance and lack of competition due to all the regulations they have to comply with, the market can bear a very high price.

But it’s still a very hard problem, and there’s a very significant component of user training over the long term that is required. When you were a newborn, you didn’t learn to hear and speak your native language in a single day, you didn’t learn to see and recognize faces and read written words in a single day. You shouldn’t expect a hearing aid to magically fix you in a single day — your brain needs time to retrain.
Here are a few things for consideration:

- Vantage is entirely self-service. You don’t need to schedule a demo or talk to our sales team to get up and running. We also have a generous free tier and free trial for all non enterprise users (but even then we can setup a free trial the same day typically).

- We recently launched what we call advanced analytics which gives Vantage customers per-resource accrued cost data for every AWS resource broken down by category and subcategory. So for every AWS resource in your account you can dig very deep into the costs that resource is driving. So you can imagine clicking things like an SQS Queue, SNS Topic and S3 Bucket to see how much in costs its contributing over time without the need to do any tagging.

- Vantage also integrates into AWS service APIs directly. This gives us the ability to show you a live inventory of active resources driving costs. As far as I know we are the only cost provider that does this.
if you can use docker, that solves pretty much all the python packaging mess and makes deploying your challenge of deploying random python application to a random VPS pretty simple.

i'm not saying that python packaging isn't a mess. but it can be largely mitigated.
Some might argue that assassination and burglary have a victim where prostitution does not.

There are arguments against prostitution as a victimless crime, but it is not straightforward in any argument to demonstrate victim and perpetrator like it is with assassination, burglary, assault, etc.
I understand if something works, people copy it, but this is ridiculous. The pixel showcase page might as well be apple's. It's literally an ad for apple's brand and design and marketing, etc. So tired of this laziness.
Principal engineer can be an astonishingly lucrative role.

Nearly as lucrative as mid-level manager.
There is "cue vet" for command line validation.

Are you more interested in validation in APIs?

There are interesting use cases for ETL. I have written a tool that generates full-stack code using CUE as the declarative input for your types. (https://github.com/hofstadter-io/hof) For CI/CD from source to production, see https://dagger.io by the creators of Docker. That is a super cool project.

I no longer use Helm now that I use CUE, at least I no longer write charts. We do need a Helm like workflow tool built on CUE to replace the text/templating of Yaml

Once "cue mod" is managing deps, there is potential for increased and better sharing of module configuration, much like Helm is for kubernetes applications.
Ask HN: Did you(r company) receive a spam bomb threat today?
An acquaintance mentioned that their company got a bomb threat today via email.

I haven't seen anything in the news about this being wide-spread, but after a bit of digging on twitter, it looks like this was a large spam campaign to cause trouble for the owner of a certain site.

https://twitter.com/ThePaul_T/status/1450337247455293440/photo/1

https://twitter.com/NetworkString/status/1450440492756385797/photo/1

Did you or your company get this email? I'm curious how wide-spread this was.