skysight-inc/HackerNews huggingface dataset:
TIL that Iron Maiden are masters of Music Theory
> Nazism is fundamentally evil.

No disagreement there but I don't think it's good or insightful to assert that the people you find to be personally distasteful are the same people who are likely to associate themselves with evil. Quite the opposite actually!
I love go and it is my main language, but Uber uses go and clearly has some need for Hadoop.

Also the go GC is behind the JVM GCs if you want to really tune it IMHO
Consider that with the perverse incentives you might become a prisoner because the state and/or private company needs more cheap labour.
> The original owner disappeared so there are only a number of surviving forks, but the code is clear, fast and Just Works.

Drop something great onto humanity, leave to do your own thing, away from the haters and whiners.

That's a chad move right there.
for an airfield in Denmark - https://www.forgottenairfields.com/airfield-vandel-267.html

"In 2017 a flight over the former airbase showed it had suffered the same faith as many other European air bases: it had become a solar powerplant"

made me laugh.
Hints for Computer System Design [pdf]
It wasn't until halfway down the page that I saw

> It allows you to download any kind of data (JSON, CSV, images, text files, zip folders, etc.) into your repositories at a repeatable schedule.

that I had any idea what "Flat Data" was or why I should care.
> After all, you can continue to use Type1 fonts with existing software, as you mention.

The thing you miss is that according to the parent, every piece of old software is useful and finished, except the ones they want the latest updates on. /s
There's nothing more awkward than 1 good singer surrounded by bad singers at a karaoke box. It's amazing how they can completely nail a song and put everyone off singing.
Even this carefully curated demo looks lackluster, but I'm probably not the target audience.
several of the unexplained videos are debunked. The pilots testimony does not match what their equipment is saying in the videos. The media is grossly negligent when covering these topics. The recent UFO tringle is following FAA rules and regulations with lighting its been discovered its tringle due to the lensing. UFO does not mean alien it means unidentified.
My point was more nuanced than that. Of course miners are influencing GPU prices. If miners stopped buying all GPUs, prices would probably go back to MSRP pretty quickly.

But stopping miners from buying one GPU model won't make it sell at MSRP. Miners switch to buying other cards, driving the price of those even higher, but the LHR cards are still going to be out of stock everywhere and scalped for 2x MSRP, because there are so many gamers buying GPUs.
Basically, they've replaced ass-pulling the factors in the Drake equation with ass-pulling probability distributions for those factors.
If you just make up numbers to create a hypothetical model to explain an observation that's fine. But then it's just a theory.

Sebb suggested that lower life expectancy leads to less cancer. Dsjoerg defined a hypothetical model that would lead to that happening, and then said that proves Sebb was correct.

That's just circular reasoning. And when the hypothetical doesn't match observed reality it's a sign it might be broken.
Sold used motherboard, it came back as e-waste
Does your dad think your grandfather's problematic behavior was funny?
Liability for Vaccine Injury: USA, EU, and the Developing World (2018)
> There's so much fuel they cannot even land after takeoff without dumping it.

This is a false statement.
Kubernetes obviously.

The whole industry is feeding solely on attempts to make its original overengineered complexity managable.
It would also mean humans are the only species that has potential to spread life throughout the stars. I agree with JohnJamesRambo that we should see how precious human lives are.
It is the same advice you hear for any other project - solve a problem.

The projects that work are the ones that solve people's problems. The ones that fail are the ones that try to create solutions for problems people do not have.
Somewhat related: What has blown my mind at some point is that with dependent types you can actually check your algorithms for correctness.

---

Example: http://goto.ucsd.edu:8090/index.html#?demo=Order.hs

Press Check -> The button should turn green and say "Safe"

Now mess up the algorithm, e.g. change the `>=` in line 174 to `<=` in effect changing the sorting order.

Press Check again -> The button should turn red and the line you changed should be highlighted telling you that at this point you violated the ordering constraint that put in place by the `IncrList a` type.

---

To be fair, I don't think too many programming work is low-level algorithmic programming where this would be applicable.

I see the benefits in having type level size constraints on arrays or having a "Safe / Unsafe" constraint on input from users that can only be changed by running through verification functions.
20 is a very small amount of ideas. Keep coming up with more, and they keep getting better. It's a skill like any other.
Cryptocurrencies seem like the least of the problems with Chinese financial institutions selling unsuitable investments to retail customers though. Sure, they might lose everything they put in, but at least it stops there. The Bank of China managed to sell aggressively (and deceptively) branded and marketed oil-futures-based investments to ordinary retail customers who ended up losing more than their total investments. (Though they may have eventually given up on trying to claim back the extra from investors.)
Can you please be specific when you say sleep occurs at cellular level. Definitely bodily systems (circulatory, respiratory etc.) don't go to sleep, even when we are sleeping.
I'll buy at $1.00 to replace the Bitcoin I lost to MtGox years back
Man, this is exactly why I dislike this paper. Somebody reads abstract and conclusion section, sees those probabilities, and then runs with them, possibly forming an entire world view around that. But there are such massive asterisks that should be attached to these numbers which are completely absent in that kind of presentation.

The ~50% probabilities from the paper are not fundamentally more founded in reality than "Did another planet in our galaxy develop intelligent life yet that attempted to communicate? I don't know, so let's assume 50% either way. Therefore, we are alone with 50% probability." Should that number be 50%? Or 10%? Or 99%? You're choosing some prior there. So does this paper, and the priors chosen gravely affect the result. Of course, the paper has more intricate math and more solid reasons for their priors, but fundamentally it is still just assigning almost arbitrary probability distributions to parameters that we have no grasp on. Specifically (see my other comment), the numbers that they get primarily depend on the choice of prior distribution for the abiogenesis rate, which overshadows all other parameters. It has such massive error bars (>200 orders of magnitude by their own account) that arriving at a concrete probability (in the way that you understood it when reading the paper) is somewhere between misleading and a lie, because it's more or less just a projection of that prior into a single number.

In other words, I'm convinced they could have easily arrived at probabilities like 0.1% or 99.9% by reasonably varying their prior distribution for that parameter alone.
Or for license check / DRM (I appreciate some might consider one or both of these to be a type of malware).

As someone else noted, a large block of mov instructions would be quite easy to spot so you'd have to tie it into a bit of core application / algorithm logic. But that doesn't mean the whole program needs to be written that way.
Would a smart contract help avoid this kind of situation?
The other way around.

MIT is for the "I have better things to do with my life than caring about what you do with my code" chad, (L)GPL is for the apprehensive virgin.
it's a skill. get a book, take a class. I made the same eggs on the same pan for a long time.
Do the same thing over and over.
Treat it as a hobby, not an obligation. It really is something you can get better at. You'll learn how heat transfers over time. Furthermore, your gear is different. It has it's own special set of tolerances so no one can give precise instructions, because your tools are different.

I've burned soup. I believe you, it can be super hard. There is a feedback loop, you're maybe not seeing it yet. Look at all the things, try lower temperatures, let things take longer.

Experimenting is a later skill. Follow the recipe as well as you can, and observe the outcome. I want to say you'll know where the errors are, but that's not realistic. Maybe your oven is poorly calibrated. Maybe it's too hot for too long. or not hot enough.

The main point is, this is a place you can try and fail, and try again tomorrow. If you don't like the product, figure out why it's bad and fix it. Lots of room to try stuff out, and even if you're vaguely close, you get food. For me, eating changes my mental state. even if the food isn't good, it has this weird effect of ending hunger.

You do you. If cooking is too hard, don't do it. But kinda the point is; try, fail try, fail, try ok, try good. You can figure it out. 7 billion other people did, you can too.
Ouch. Your point is tough to stomach, but there is another side to it they don't teach you in school: tenure-track research isn't the only path. In fact, tenure-track research may actually be the worst path for the vast, vast majority of PhD graduates.
> thus i am authenticating the device not the user which is kind of an important distinction..

It is very unlikely that the actual threats you face make this "an important distinction". If you don't have 24/7 bodyguards, it's time to be realistic with yourself that in fact "I got drunk and clicked something dumb" or "That wasn't a real email from FedEx, what was I thinking?" are much bigger threats than "A covert team picked the lock on my condo and then while I was asleep they modified my MacBook to help them break into my GitHub account".

> fingerprint scanning is inherently insecure because it is trivial to fool most devices into thinking you got a matching fingerprint

Because biometric security in these scenarios is local the bad guy needs to steal the device first. Again, it is very unlikely your threats look like that. Real crooks who steal devices like MacBooks or iPhones will sell them to some dodgy bloke not try to impersonate you and break into your GitHub account before you invalidate the keys.
Doesn’t UAP just mean unidentifiable aerial phenomena? That doesn’t say alien to me.
The paper basically says that the Drake equation is just a guess, and if we’re going to guess, we might as well do so using probabilistic models. Their model puts the Great Filter behind us.

This makes intuitive sense too — an early Great Filter simply has to stop life from occurring, while a late Great Filter has to deal with the complexity of preventing life from doing what it does best (surviving and spreading in a “Life finds a way” style). Concretely, an early Great Filter has fewer variables it must affect than a late Great Filter. Like the paper says, we are probably alone, but there’s little reason to be alarmed about it.

And if you happen to believe that AGI and a Singularity are the inevitable outcome of intelligent life, the case is even stronger that we are the first, last, and only. However powerful the Great Filter might be, it’s unlikely that a super-intelligence would succumb to it.
Neither was Walmart, to be fair.
No, the language does it for them
You wrote: <<internet searches will disprove your idea that companies don't want to hold crypto - there's been massive buy in from very significant companies. Eg Sotheby's>>

I looked into this claim, and I disagree. Google search for <<sotheby's cryptocurrency>>. The first two results for me were:

https://www.sothebys.com/en/articles/cryptocurrency-payment-...

https://www.sothebys.com/en/buy-sell/cryptocurrency-faq

They are allowing partial cryptocurrency payment for a single Banksy painting.

From the FAQ:

<<
Which part of the transaction is payable in cryptocurrency?

Sotheby's will accept cryptocurrency for the hammer price of the lot. The buyer’s premium and overhead premium, as well as any taxes, must be paid in USD.
>>

Sotheby's is simply facilitating the transaction as an auction house. They have zero exposure to cryptocurrency. I assume the cryptocurrency will be transferred to the seller after the auction is paid-in-full. The buyer must pay all non-hammer-price costs in USD to Sotheby's. (As I understand, these fees can be significant.)

Like some other posts mentioned, the seller could agree to receive seashells instead of cryptocurrency. All said, this seems like a very good publicity stunt by Sotheby's.
Then what would you use for testing equality?

And what would you use if you were pattern matching _and_ assigning in the same statement? I.e.

{:ok, value} = function()
Yeah ... I still occasionally get a (analog) mail in Japanese informing me that the bankruptcy procedure is still ongoing.

Luckily it was "just" 1 BTC.
Las vegas called, they want you to know they have the brightest and most energy consuming lightsource* in the world blasting at the sky, drawing fambling addicts like a moth to a flame.

*excluding laser research laboratories and weapons.
Pretty sure it’s a one man operation, that’s just a harmless joke.
> By letting prisoners become familiar with expectations of a job, and get used to being paid, managing finances, and spending within their means, they're less likely to be forced to return to crime after they're released.

Afaik, prisons jobs in general do nothing of the sort.
A mix of that plus Elon dunking on it plus China tightening regulations plus Ethereum news about PoS progress, probably.
Interesting! Is the below correct?
For connecting-words, use a hyphen.
For 1 – 5 ranges, use an en dash.
For dramatic pauses — use an em dash.
Adherence to dietary guidelines and cognitive decline from middle age
Drought-hit Taiwan plans more water curbs for chip hubs
Something feels off if I need an account to even see their listings. I cannot tell if they are legit, or just a landing page for someone trying to get rolling.
Not just FIDO2, I think you also need CTAP 2.1 for credential management/protection. E.g. my pre 5.2.3 firmware (which adds credential management) YubiKey Nano fails with:

debug1: ssh_sk_enroll: /dev/hidraw0 does not support credprot, refusing to create unprotected resident/verify-required key
There is a lot more to software engineering than solving algorithmic problems in a vacuum with little resemblance to real life engineering.
Its been the case internationally for decades. Yellow fever in african countries for example
These are refinement types, rather than dependent types. The main distinction as I understand it being that refinement types allow you to state assertions at a meta-level which are submitted to an SMT solver which may or may not prove them correct, dependent types on the other hand allow expression of arbitrary constraints within the types themselves, along with arbitrary proofs satisfying these types.
Yup, my opinion, and I am allowed to act on it by downvoting such a comment.
On Freenode's Independence
The relevant thing is whether the client enables it by default. From my experience, Element iOS doesn't.
Exactly, it doesn't get much clearer than this whether you failed or succeeded!

@silvestrov: just try easy recipes and buy good and fresh ingredients, and continue with harder recipes once you get the hang of it.
Why would UFOs be "evidence of alien life"? They would have to be identified in some sense, otherwise they are just as much evidence of fairies or saints as they are evidence of aliens.
Guía de Copywriting para triunfar con tu Email Marketing
Siempre me ha fascinado como algunos correos consiguen atraer nuestra atención y engancharnos con sus textos. El secreto para que nuestros emails tengan buenos resultados es usar algunas técnicas de copywriting en nuestra estrategia de email marketing. Por eso he creado esta Guía de Copywriting para ayudarte a redactar emails más atractivos y triunfar con tus campañas de mailing.
Lifelong musician and programmer here. It's an interesting analogy actually.

I learned music by ear, then learned Theory. Then I found I had to forget some of my theory to get back to writing songs that felt right to me.

I experienced a similar arc in programming. Starting out self-taught, I absorbed the theoretical aspects later as I worked on problems that were higher level than just writing code.

In both cases, I think the theory is more descriptive than generative. Both programming and music require combinations of creative and Technical mastery to achieve a high level of competence. Theory can help you with the technical aspects of the craft. More than anything else, it gives you tools to analyze work that others have done. What Theory cannot do however, is give you the gift of creativity. That has to come from within, and I don't think there's an easy way to teach it in a book, or measure it in an interview.
> Is prison labor bad in all cases?

Yes, all prison labor is bad in all cases.

Why? It's very simple, you're creating a market that incentivizes incarceration. Prison should be about recovery of a human being and trying to create negative incentives so people think about making a crime (this is a bit debatable).

When you create a market for incarceration, what you're saying is "we don't want to lower crime". So yes, it's bad in all cases because we should be creating incentives to lower crime instead of how to make it profitable.
I’ve actually tinkered with GBA programming, and you’re exactly right. It’s surprisingly accessible. Of course, it’s built as a console, not a computer, so you can’t actually program on it. But give it more RAM instead of ROM, a keyboard, and you’re almost there.
> Shouldn't we leave that distinction up to them and just move on?

No. We believe this is harmful.
Get Discount 35% code: First21
Digiter.online
Normally you'd use a sequencing module to send CV to the oscillator. I suspect that's where the orange patch cable is coming from.

The rest of the modules do a number of things. In the actual patch (so, in use) you can see a Quadrax working as an envelope generator, a VCA, a pan mixer, a filter (in this case Mutable Instruments' Blades). It'd be hard to explain modular in a HN comment, but if this interesting to you and you don't want to spend a lot of money (modular is expensive), give VCVrack a look.
This is for family and friend meetings, not for work calls.

This is all made to evoke sense of closeness.
Yup. Just need to specify the conditions of what "done" or "delivered" looks like. After that it's basically:

if (delivered) pay();
Ah yes, I remember loving that feature in Netscape at the tail end, when it was just an altered clone of Firefox.

I got used to losing it eventually after switching over, but I do remember it being a painful transition for me too.
Vendure – An open source e-commerce platform
That reads as "we agreed to send some money", not "we agreed to delay ranking changes by 4 weeks". The latter is the interesting part, as it is incompatible with the reality of needing thousands of algorithm updates per year.

Edit: ah, there's now a provision for this:

> (ii) if the change relates to a matter of urgent public interest—no later than 48 hours after the change is made; and
It's also early beta, though (although we're committed to getting Matrix hybrid client-server & p2p in the medium/long term). https://matrix.org/blog/2021/05/06/introducing-the-pinecone-... has more on the latest developments on P2P (and public beta builds for iOS & Android) from a few weeks ago :)
Like that‘s news. Dark patterns make you look slimy and untrustworth AF. Example: N26 (bank) has the plan list aligned so the free one is always perfectly outside of the browser window. When you select it they try to trick you twice into signing up for a paid one.

Yeah, I‘m sure I can trust you with my money, then.
The work was almost nothing, just a GET request for 'hello world'.

I tried 10, 100 and 1000 concurrent connections.
You might want to check out Tailscale. They create a WireGuard based mesh VPN between all your devices, enabling secure communication between them. So you have one central DB and then all the other devices connect to it.
Not necessarily true. Taste is super subjective, only you can decide whether you think something tastes good.

And of course, it takes a long time to taste something and realize exactly what it misses or what causes it to taste good, but as long as you are able to test out different recipes you'll eventually end up with quite a few dishes that taste great.
> No, if you don't use resident keys you need the files (as the keys need to come from somewhere).

Right, but I already have it on the device, I'm talking about using an already provisioned device with this new-ish OpenSSH feature; or whether it does something 'special' that means the key needs to be ('resident' or not) generated by this feature?

Thinking about it though it's probably not for me, since SSH is not the only and probably the minority of my use, since I also use the encryption key (e.g. with `pass`) and signing (e.g. git commits, for no particular reason).

> The keys aren't copied to the device, they're generated on the device, more or less.

In your blog post you say it produces two files, the private and public keys. If it generated on device it wouldn't (be able to) have the private key?
probably the 'licensed' in licensed escrow operator disallows this.
Hey, thanks for reading! I wish I could have gone into detail with more of the headers but as you probably saw that was a 13 minute read going into one of them... and that could have been repeating for at least another 10.

I can see why they allowed scripts for SVG's but I completely agree with you that scripts should never be executed for <img>. The potential for exploits far outweighs the benefit of it.
Automatically Make Unit Tests
> 30-50 year old adults outside, alone, in direct sunlight, exercising, dozens of feet away from anyone else are still wearing masks. No doubt they’re fully vaccinated by now as well.

It's virtue signalling, I'd say. It means you're one of the good people.
What material do I want/need to replicate?
You can't do this with the key underlying FIDO (thus U2F/ WebAuthn and the SSH feature the linked article is discussing)

Yubico supply a tool that lets you perform a "factory reset" giving you a random key (effectively: instantly invalidating all credentials you previously used) but not one that would let you pick the key. IIRC The relevant standard is clear that manufacturers should not offer this capability as it's obvious how it would get exploited.
Is it? Avg. transaction fee is 13$ [1] and it takes hours to confirm it.

1: https://bitinfocharts.com/comparison/bitcoin-transactionfees...
Saw a PCB with "TRANS RIGHTS" on it, is this a man cosplaying as a woman...
Showing a pass every time you attend any kind of event is a bit more intrusive. But in the end, I do agree with you that there is nothing fundamentally wrong with the approach.
Matrix's bot support should be excellent? It's arguably more robust than Discord's given it's an open API and there are tonnes of SDKs and bots building on it: https://github.com/turt2live/matrix-bot-sdk, https://matrix.org/docs/guides/usage-of-matrix-bot-sdk, https://github.com/bnjbvr/botzilla, etc.

What do you mean by 'smart widgets based on url'?
Absolutely the same. Some people just naturally improve when iterating on something (for me, coding is this way) while other just stay at "incompetent" forever - for me, most other activities such as DIY, playing guitar, cooking, and so on.

I always fail to remember this when getting frustrated at programmers who don't seem to improve
What's the Difference Between This Blockchain Rally Compared to 2017?