skysight-inc/HackerNews huggingface dataset:
Would I have thought that storing a massive amount of explosives next to flammable material in the middle of a city was a bad idea? Yes.

I don't claim to be a prophet, but it's hard for me to see why anyone wouldn't think that would be a bad idea.
I'd assume it's because they expect that if you are using your own equipment it could be older and by just forcing v4 it reduces support costs. 100% pure speculation.
How is explicating the prior an advantage? If the prior is arbitrary anyways you could also stick to your unknown prejudice. This shouldn't change any results and if it does you are in trouble anyways, no matter if you explicitly state your prejudice. I'm still suspecting that Bayesian statistics is just kind of a hack to make results look more convincing.
To paraphrase: unnecessary, redundant abstractions is the root of all evil.

At least this is what plagued Haskell libraries - unnecessary abstract bullshit in dependencies.

Cabal works fine without any of those.
KeepassXC is quite good if you mainly use it on your computer. I've been using Keepass(XC) for about 10 years, it's secure and reliable. But I'm looking to switch to 1password or Bitwarden as I'm increasingly using portable devices (phone, tablet…).
It was impossible to get an export (csv or 1p format dump) on a Linux system. Only way was to use CLI to request each entry individually, parse that format (different from others), figure out custom fields etc. Not fun for many 100s of passwords.
Surprisingly dense exoplanet challenges planet formation theories
Network-wise this is a feature. Having the address space reflect network layout allows for vastly simpler, thus more efficient, routing tables.
6 Reasons to Stop Using Google Analytics
> I am seeing other analyses that put the size of the explosion at about one tenth of this size.

Random twitter users are guesstimating from smartphones videos and have 0 knowledge of the actual location, so yeah, it's just guesstimates. I'm still wondering why people do that, it's kind of a weird flex and bring literally nothing of value to the table besides trying to sound like a smartass.
Why use IPv6 if you are going to hand out IPv4 addresses?

People know why. Even if a few really get 32's, it's PR. The endgame is the same.

This is a critical path item for removing the ability to have 2 party value transfers. The power at stake is incalculably valuable.
Although I’m also not expecting 1 million people on Mars in my lifetime, I think you’re assuming SpaceX never gets close to the Musk price goals.

You might be right to do that — I’m no rocket scientist — but the target price would get a million people there for $200 billion, not your $5 quadrillion.

Yes, I also expect the first few thousand to be in easily damaged domes. I also expect them to bring some of The Boring Company equipment with them, as it is part-owned by SpaceX and the stated raison d'être of TBC being pointless in a future of fully self-driving cars.
What would a scammer do in that situation?
Yeah, that's why I'm still wary of using Figma.

Great though it is, I'm worried about all my designs going up in smoke if the company gets bought and shut down by Adobe or Google or someone.
This looks flamebait since it seems you are literally asking "what are the benefits of opensource" ?. For starters, you can no longer run the extension on platforms that MS does not care for, e.g. Haiku or even ARM or RISCV on Linux. Plus the only thing I have ever modified in a C++ IDE is, actually, the C++ autocomplete component, so I do have a reason to want to modify this extension.

> It seems to me comparable to not having a source of Google, but being able to make as many queries as you want

This analogy does not work at all. This is a local component and there are no online services whatsoever involved.
I like this approach a lot too, mostly because I hate paying an expert without first knowing enough to know that I'm not getting scammed.

And on the plus side, I've found out how easy it is to fix taps and replace door handles and all the simple stuff!
Let me check and fix it. It happens in some browsers because they block twitter script. If you can please send a screenshot that would be very helpful.
> I vaguely recall the first is mostly water vapor that suddenly condenses out of the air because of the massive shockwave, while the second is the 'actual' explosion and its byproducts being shot up into the air.

Not a physicist but yeah, that's it.
To complete this post, Telosys reference site is http://www.telosys.org/
I have the same situation with Vodafone Cable in Germany. I was told it is because of 6-to-4 bridging. A customer on IPv6 must be able to bridge to IPv4 to reach IPv4-only servers, but a customer on IPv4 will probably never encounter IPv6-only servers (except when using an IPv6 testing tool).

I'm not a networking expert, but AFAIK there's nothing stopping them from making their 6-to-4 bridging available to customers with a custom router. However, getting that stuff up and running correctly can be tricky, so it would involve a lot of support burden on the ISP's side. Hence why they don't offer that, they just drop those customers down to a configuration where the customer gets to use well-known protocols only (IPv4 and DHCPv4 over Ethernet).
Show HN: Colouring – Generate colouring images easily
I think you're right, and it was more Ruby (and other similar languages) that I was abandoning rather than Rails specifically. I like Rails.

I can't speak for everyone, but my perspective comes from a place of practicality as opposed to philosophy. I (and also my team) try to push the domain we're modelling into the types, but we also write a whole bunch of tests (which includes isolated, integrated, and property-based tests). I've never understood the argument of one vs the other — it's great to have both. Programming is tough so I'll take all the help I can get.
Bayesians is a textbook example of a sect.

This is just an abstract framework superimposed on some aspects of reality and has nothing to do with its processes.

Let me repeat: a superimposed set of abstractions. Nothing more.
His own introduction to category theory for programmers is good:

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Ask HN: Do You Have Kids?
The way it's handled in France (and I guess the rest of Europe) is that such products are tested very frequently and recalls issued quickly and liberally. As a result, consumer poisoning are very rare. Overall this may be a better strategy as the presence of harmless microorganisms slow the development of harmful ones.
This is amazing. As simple as it can be. Good job!
I don't know where you got “harmless nudging” from that description of it as part of a system of violent coercion of the immediate subjects that is long-game brainwashing directed beyond them, but, no.
What happened to these five next gen games?
The quality level here is way beyond what Zoom has or needs. This is a professional tool for creative pros — knocking out an image background is too easy but video is a real challenge. And this kind of work at this resolution would be prohibitively expensive to do for live video ... you’d need a Titan RTX or similar.
Your subnet is no more uniquely identifying than a (non-CGNAT) IPv4 address; if 32 bits identifies which router you're using (whether that's your home, coffee shop or whatever) then a 64 bit identifier doesn't make that router any more identified.
yes, please enable https for this. Looks nice and simple
ReadymadReadymade Grocery app Version 2.0.0
Looks cool, this model is start of the art I believe https://app.wandb.ai/stacey/greenscreen/reports/Two-Shots-to...
My site https://5pagesaday.com/ is showing Cookie “_ga” has “sameSite” policy set to “lax” because it is missing a “sameSite” attribute, and “sameSite=lax” is the default value for this attribute.

How to fix this? Anyone any clue?
I totally agree with the thrust of this. There is one other concern, though. I actually just submitted my own blog post on how infra costs can break a business. https://questinglog.com/costs-are-part-of-scalability/

If your business model brings in $X per unit of usage your hosting costs need to be < $X per unit of usage or else no amount of engineering will make your business profitable.

One of the founders of Twitch recently tweeted about how using Amazon's new service for Twitch-like video streaming simply wouldn't be feasible for building your own Twitch.
Thanks.

I did check and it was quickly geo-located -

https://twitter.com/N_Waters89/status/1290688278094647298
Thank you, I'm planning to extend this library to include structural segmentation of the music, aiming for fully automated DJ'ing.

Your logo idea is pretty neat, I might update the logo soon.
Is a /64 really an end customer? How common is that?

Both of my ISPs hand out new ISPs hand out new /64 prefixes every so often. One does it every half-hour, the other is comparable but I don't remember. I think they do it to encourage business customers to get more expensive connections, but the effect on my connections is that each device's IP address changes every few minutes, within the ISP's /32, and doesn't repeat in a year... and I do wonder how many IPSs do this.
Oh the poor SRAM on those ASIC's.
In the typical IPv4 setup, your network gets an IPv4 address. Everything in your network is trivial to group.

In the typical IPv6 setup, your network gets an IPv6 prefix from which client devices use randomized and rotating IPs. Everything in your network is trivial to group.

How long the network-identifying address/prefix is stable is purely an ISP design choice - some keep them as long as possible, others force a change regularly.
Measuring to learn vs. measuring to control with John Cutler and Janna Bastow
My ISP is still refusing to implement IPv6 :-(

I don’t have it on 4G, either.

edit: am I missing something? The graph shows total IPv6 is 29.86% (which is clearly less than 33.33…%)
China is aiming for 100% in 2025 according to APNIC, so they've got some ways to go from the 0.53% seen by Google.

Is the great firewall ipv4 only perhaps?
What do you mean by " Even if a few really get 32's, it's PR."?

The vast majority of IPv4 connections get an IPv4 IP (= a /32), CGNAT is pretty much only used by providers that don't have another choice and has various downsides for users too.
It depends. 1Password lacks some things I'd really want (like configurable matching, having everything on a subdomain that's not on the public prefix list match is cumbersome). The Windows client is also extremely laggy and doesn't use Windows Hello half the time.

1Password X, which is almost a must-use on Windows, also has desyncing issues.

So I guess if you don't mind the above and are on macOS, it's better.
I agree, used to be cheap digs / preaching to the choir style humour; Has become more informative.
I don’t get why you’re being downvoted. You’re right, a while ago that was a major headache. The good news is that it’s now much better!

- Bundler makes keeping track of gems trivial

- Rails defaults are explicitly version-bound. E.g. you can update to Rails 6 and keep using Rails 5 defaults.

- There are now extensive official guides on how to update.
Okay, a site that was announced less than 24 hours ago. That's not what a typical site looks like that demonstrates your claim that most of these bloated sites are only bloated to provide advanced functionality that they can't otherwise. Did Buzzfeed or the typical news site just start offering video editing?
> Has anyone heard of good resources that teach you "when to use X" instead of "why you should use X"?

One of the goals of a podcast I started last year was to answer that type of question and more.

It's mainly a podcast where I talk to someone new every week to get a better understanding of why they chose a specific tech stack to build their app but it also goes into the "how" since we talk about how they build and deploy their app, lessons learned along the way, etc..

A list of episodes can be found here: https://runninginproduction.com/podcast/

Each episode has a "Motivation for using ..." time stamp so you can jump to that part of the discussion. It's usually within the first 5 or 10 minutes.

The goal here is to have a bunch of real world examples of why and when someone used X and they usually spend a few minutes talking about why they chose that instead of something else too. There's episodes ranging from solo developers working on a side project to high traffic services handling billions of requests per month.

The idea is to have loads of practical examples instead of trying to theory craft hypothetical scenarios.
the problem is that its fine if your doing this on your own

its when you force that mentality on others because you don't know how todo it a different way that's wrong

e.g. If I only use Laravel why should my decision of only using a larval dictate that the next project has to be done in laravel, it might be something that can be done in 50 lines of code

But I only use laravel, there for you have to use laravel to solve the problem
Now that's a pretentious dismissal if I ever heard one.
If I understand it correctly, you agree to buy something at a market price at a given time. Then you sell until that point, driving the price down and essentially exiting the trade at the same time.

Matt Levine from Bloomberg explained it.

Here are some excerpt

> One fairly technical explanation that we discussed was the “trade-at-settlement” mechanism. In oil futures, you can do a TAS trade in which you agree, at some point during the day, to buy or sell oil futures at that day’s closing price, plus or minus a few pennies. So at 11 a.m. you can agree “I’ll sell futures at 2:30 today, at whatever the settlement price is then.”

...

> Here is one really dumb simple way for that to work. You buy 1,000 futures via TAS during the day. You conclude that a lot of people are selling and no one is buying (except you). You think, well, okay, I have to sell 1,000 futures before 2:30, because at 2:30 I am going to get 1,000 futures at whatever the price is then. So you start selling. You sell 100 futures at $10, and the price goes down. You sell another 100 at $5. You sell another 100 at $0. You sell another 100 at -$5. Et cetera; you keep selling—into very thin liquidity, because there are not a lot of natural buyers—and the price keeps going down. By the time you are done, it is 2:30 and the price is -$37.63. The average price that you got, selling your 1,000 contracts, was, say, -$15: You started selling at +$10 and finished at -$37.63 and averaged your way down. But then at 2:30 you buy 1,000 contracts—the contracts you prearranged to buy using the trade-at-settlement mechanism—for -$37.63. You paid people an average of $15 to take oil off your hands, and people paid you $37.63 to take oil off their hands, and you made an average of $22.63 per barrel moving the oil.

[0] https://www.bloomberg.com/opinion/articles/2020-08-04/some-p...
Why count oil as the energy source for liquefying oxygen? Why not PV? Why not use natural gas instead of cracking oil?

Also, separate point: Starship return flight to Mars requires large-scale manufacture of methane from atmospheric CO2, using solar (or technically nuclear, but I don’t see that happening in this case).

It’s the only way of getting back — their tanks are empty when they finish landing on Mars — but it works fine here too.
Only 1 woman speaker out of 15 isn't an amazing look for a conference in 2020
Can someone let AWS know? I was annoyed to find out that lightsail does not support IPv6, in 2020...
Helicopter Airfield action operated by Soldiers
Oh Common, the point is just that any individual reducing their meat intake, will reduce total meat consumption less than the amount that individual consumed.

That's hard to argue against.

One counter argument would be that his/her analysis doesn't take into account any other effects of reducing consumption, such as one's friends and family also reducing consumption as direct consequence.
Ask HN: Stuck in your job because of your team, what to do?
Hey HN,

Throwaway account cause my real one can easily be traced back to my identity. Early 30's, a developer in the same company for over 8 years now. When I joined, I was put in a newly-formed team in charge of building an in-house system, similar to Firebase, from scratch. Though most of us were not experienced enough, we did a very good job - there are some technologies I would have avoided and used others instead but I wasn't in a position to make calls then. Still 8.5/10. I've had plenty of job offers and for much better companies and compensation. I've declined all of them for a single reason: we've built an awesome core team. We had our biggest release(+300,000k lines of code changed) post-covid-19, during wfh, 0 problems occurred, and we've spent a total of less than 2 hours in a zoom meeting organizing and discussing what needs to be developed, modified, updated and tested: 0 issues. Really, we are much closer to each other than our families and our efficiency is absolutely astonishing.

And while within the team, this is picture-perfect, higher up the company... The management was changed and as a result, the new people are desperate to show how capable they are. No one is supposed to know about this but someone misspelled a name in their address book and their plans ended up in my inbox. Their plan for us is to merge us with another team which is impossible: different technologies, work ethic, goals, views and characters. A fight will start immediately. Plus they slack A LOT. For weeks I've been unable to apply for any job, knowing that this will be the end of the perfect team. I've been wanting a new challenge, which also goes for the rest of the team. But we stick around for the same reason. Entrepreneurship is not an option - neither of us is in a position to blow a hole in their pocket, especially that we have families to provide for. I'd really appreciate some advice here.
I read Notes on the Synthesis of Form and I loved it.
Then I read A Pattern Language... damn son.

I recently bought The Battle for the Life and Beauty of the Earth. Within the first 2 pages I was already hooked. But in fairness, It's because I think we are two minds alike so I hardly disagree with him... which I think it's bad.
Here's a reminder about some of the fun complexity of this with Safari:
https://www.chromium.org/updates/same-site/incompatible-clie...

It's worth noting that as well as 3rd party tracking cookies - this has impacts for things like SAML Browser Post Profile.
Good to hear, thanks! Maybe i'll try it again as it was quite nice outside updating/upgrading.
interesting idea. I wonder what the minimum you need for a 2FA-only device would be.
whilst I don't disagree with your first part of that statement,

it would have been very difficult for him to have been a PHP programmer before being C programmer, since he invented PHP by writing it in C, which is why most PHP functions are almost exact syntax as C
It's funny, I would have expected the countries who got the lion's share of IPv4 addresses to lag behind in IPv6 adoption, but it's the other way around.
Afaik, specifically cultivation of plants that require fertilizer might be lacking, but that farming animals (cow, sheep) is significant
Gold price rises above $2k for first time
Nigerian ride-hailing bus service startup secures pre-seed investment
It's not really about trust, not even about skill.

I submit that this sentence:

> Ruby allows for a lot of non-local effects. Whether that’s monkeypatching, writing to a database or creating new types at runtime, Ruby isn’t designed for a team of 200 programmers

can and should end there, full stop.

The bigger your team, no matter how skilled, the more often someone somewhere will make a mistake and cause side effects they didn't intend. And when these side effects can manifest in unfathomable and hard-to-analyze errors in a completely different part of the codebase, you're in trouble.

Obviously, this can happen in any language, but some enable it a lot more than others, and some make analyzing weird behaviour a lot easier than others.
> * (or "we can put a couple humans on Mars for 3 days for $100 billion")*

Is there actually a NASA proposal like that? As far as I know, orbital dynamics don't allow for this. One has to wait for a Hohmann transfer orbit window to return home.
I can't mirror that experience, half the time the shortcuts (Ctrl+Alt+| or Shift+Alt+|) don't work for me, or are so slow in opening the application that going to the tray is faster.

I loathe the 1Password Mini interface because it doesn't have editing and wish I could just default to something that does.

There's also a lot of polish issues. For instance, if you have your taskbar with tray on a secondary screen, it still renders the context menu on the primary. If they are different sizes it might do it offscreen.
Google is blocked in China. So I guess not a lot of traffic is coming from Chinese IPs.
TMWL July’20 – image detection and type safety
There is always a prior only if you really care about computing probabilities. The implicit assumption in Bayesian data analysis is that you go first to "best possible estimate of probability", then to "decision based on that". My point was that you usually need not do the first step.

Example: I wear a bicycle helmet because it costs me next nothing and it possibly saves my life. I don't do any Bayesian analysis implicitly or explicitly, because on one side there is an outcome with value minus infinity, so it hardly matters what probability I multiply it with.
> Well, this shows one simplistic partial syntactic solution to a few common problems.

It's not just syntactic - the different cases genuinely do implement a common interface.

> Partial because it does not handle errors in the continuation example

Nor does the non-monad version, so it's a fair comparison.

> simplistic because it only works at the function level, it's not clear how this would look like when 'distributed' through a large code base, like cross-cutting concerns typically are. Not to mention, it's not clear how to compose all of these separate solutions - how will the do notation work if you have a list of continuations that can each return optional values that return errors if something is not authenticated?

Sure, but again, a problem that exists even more strongly if these are implemented as (non-monad) language features (e.g. if my language has both continuations and exceptions, what happens when some continuation-based code throws an exception).

The point is that you can get rid of a whole bunch of complex language features and language keywords, and write everything in terms of plain functions and values (in particular, the result is that you can refactor fearlessly because everything follows the normal rules of the language). You don't have to look at anything large scale to see the benefit of that.
Check out Wave, a new social media app for first years
> Quite how it took two decades to knock the Cold Store down isn’t clear but one factor seems to have been the cost of demolition.

With their 3m thick walls, several Nazi towers have yet to be demolished: https://en.wikipedia.org/wiki/Flak_tower
Sounds about right. Lance could basically sit down in the rocket and take the fame, while thousands of other people did the work to make the rocket and have it go to the moon and back.
> As far as exporting goes, you can simply generate a CSV file (or plain txt)[1] as well.

There is (was?) no way to do that on Linux.