skysight-inc/HackerNews huggingface dataset:
> Their best response might be to just bite the bullet, but it significantly weakens their argument overall.

I disagree. To me it seems fairly obvious that it is morally correct to murder one innocent person to save 5 innocent people. Not only that, but we often as a society make this exact decision (e.g. send young people to fight in armies, send firefighters to rescue people despite potential harm to themselves, etc).

I don't know why this supposedly weakens utilitarianism - the whole point of the philosophy is exactly to point out that this is the morally correct choice.

The problem with this and the other examples in the article is that there's a big difference between the hypothetical examples often given, which assume no other effects, and the real world. In the real world, we often only allow these kinds of decisions in society-wide settings - e.g. the examples I gave above (armies, firefighters). We don't allow people to just choose on a case-by-case basis who should live or die, because it would cause far more problems (and thus, negative utility) to do so.
> result in just disrupted families

No, these families are never formed in the first place, even before people go to jail. Go look up what’s the rate of out of wedlock births these days, especially among demographics most likely to be imprisoned.

> without acknowledging the distribution of jailable offenses committed is distributed across all demographics, with a disproportionate reality of which demographics actually get jailed

What’s there to acknowledge? The demographics most likely to do crime is most likely to be imprisoned, what’s your point here?

> I’m saying another solution is likely relevant, such as how sentencing is done, how rehabilitation is done, how reintegration is done.

Last time I saw a criminal justice strategy like that implemented, “defund the police”, it ended up disastrous. What reason I have to believe that your other theories are not just as bad? I look at those places pioneering in these new strategies, like SF and LA, and from what I can tell, these are exactly counterproductive.

> Right now we dont rehabilitate people, we throw them in a hell and say “welp dont do crime” (exhibit a) and after their “rehabilitation” then (…)

If only there was a way they could avoid having that happen to them. Alas, since the criminals are just victims of circumstance, bereft of any agency, shooting other people on the street is just something that happens to them.
That would be "all the way to Plato and earlier -and from there- all the way to Hofstadter".

That said, there are probably several senses in which Douglas Hofstadter predates Plato, even more if you believe in reincarnation...
Btw, this is extremely practical. For instance, you can then easily emulate other languages (such as SQL) natively with the typesystem and get all the benefits of the compiler/IDE, rather than having to use a library with custom syntax or a raw SQL string and having syntax/semantic errors very late at runtime only.

That alone is worth it imho.
What about spoofing your GPS location to the front desk of the FB offices? Should work with Androids in Developer mode?!?
Indeed, and i'm not buying the "nothing is reusable". Sql views are in my opinion the opposite, as they make every query reusable.
Typical red tape bureaucracy where some people who propose they know better and believe they are to decide who discriminates against whom.

The last 20 years civil liberties were made into a joke with anti-terror legislation. Some overextended bureaucrats believe they can counter these self-imposed developments by being the savior of womanhood, but nobody would propose discrimination in jobs that aren't prestigious. It is a complete paper tiger an lawfare. I fully believe judges will make decisions against the letter of the law, they are a suboptimal safeguard for civil liberties by now. They just legislate an exception and these clauses suddenly have no values anymore. Some people also thought humanism must be improved by making sex and race an issue again.

Companies might like to comply so that nobody looks closer at their business models.
Any meta-study is going to be significantly tainted by papers regarding the use and effects of cannabis prior to 2018 in Canada because of the stigma and bias of researchers, funding sources, and politics of the time. Positive findings, or debunking negative perception, was rare. You needed to bolster the status quo - rocking the boat endangered funding.

Beyond the biases, there's not a good academic framework for drug use, intoxication, addictive behaviors, and so on. Neuroscience is slowly getting there, but good science is damn near impossible when you mix psychology and social behavior.

There's a reason for the replication crisis, and this paper blithely leaves validation of the input to the reader, as if the crisis doesn't exist.

This is oddly similar to some of the 2008 housing crisis debt abstractions - bundling shitty papers together into meta-studies, then bundling the bundles again somehow achieves legitimacy.

There are decades of reefer madness nonsense to weed out of any cannabis science. Until we have a few decades of legal use, academia isn't going to have a lot to say worth listening to.
You could say the same for some crypto firms
That website has such a great design and color scheme. I feel like I walked into a VR party populated with characters from an arcade machine in neo Tokyo where a couple of school kids were sinking quarters before Akira was exhumed to battle Tetsuo.
Ouch. If Troy Hunt of all people can make this mistake, it can happen to anybody. HIBP is an awesome service funded totally by donations, so it's too bad this happened. Of course Microsoft is happy to hide behind their confusing pricing model and let customers overpay for Azure without alerting them.
Are these documented YAML 1.2 JSON incompatibilities listed / linked to somewhere?

I assume these are something related to non-ascii string encoding / escapes?
FLOSS advocates are the best kind of customer -- both loyal and proud.
I'm someone that prefers the zero/no sugar stuff for it does not leave sticky residu on my teeth. I also did not do a side-by-side comparison but in my opinion the aftertaste of (specifically pepsi zero) is better than the sugary version.
Interesting question for you hn people. My email domain is my website domain and I just use Google’s email servers. If Google ever nuked my account is it trivial for services to resolve that my email pointed to a new provider?
Considering I have the exact opposite, this is highly personal not fundamental.
This is been my anecdotal experience.

In the UK, I note that politicians extolling the efficiency of the private sector rarely have any substantial experience in big companies.
I don't like these things, except perhaps for lemon juice in moderation (and even then, I prefer it in desserts).
It would be really classy if MS forgave that debt, especially considering the service is a public benefit.
I'd say High-NA EUV
Pesticides released into Brazil’s Amazon to degrade rainforest
Ask HN: Do You Think the WW3 Is Coming?
Have you contacted Azure? On one hand you owe the money “fair and square”, but on the other if I were them I’d waive an unexpected $10k bill to a good faith actor that was incurred without any proactive notification by Azure.
Every supermarket in New Zealand has pre-made bagel chips, including Marmite flavour!

https://kiwicornerdairy.com/abe-s-bagel-crisps-marmite-150g
Exactly this. I still remember all of these pain points. It's one of the main reasons why my team moved to Go.
Can't confirm, have been running stuff on Hetzner for almost 10 years.
They will indeed auto-block you if any application is spamming the private subnet - happens e.g. with IPFS running in its default config.
But this always comes after warnings and with an exact explanation of what happened (log of IPs the server attempted to connect to, timestamps etc). I always found support responsive, even in the middle of the night.
It may be that I was lucky all the time, despite interacting with various support staff in various of their data centers. Or it may be that your issues had other reasons...
I feel like I should bookmark this page, to use as a reply to every person who says "Why use C when C++ is available?"

The cognitive overhead of figuring out when "bits are moved implicitly" vs "bits are copied implicitly" vs "bits are used after free" can be quite high in a mature codebase.

After all, all those problems above disappear when using C.
I think phone OSes just do DPI scaling better, because they've always had to deal with highly heterogeneous physical screen sizes. Desktops were firmly in 96DPI land for quite a while.

I'd wager that if your screen pixels are "too small for comfort" you or your graphics setup hasn't gotten scaling right yet.
I fully agree. Over the years I've been reading about people being locked out of their Gmail accounts, and the YEARS of pain they had to go through to try to regain access to the countless connected services. You don't realise how many hundreds of services require access to your email account until you lose access. The final straw was reading the heartbreaking account of someone who lost decades worth of personal pictures, critical emails, and access to everything that mattered to him. Google's response was worse than "get lost."

So I bought my own domain and have spent the last year slowly migrating everything over. I'm still only ~30% of the way there. My whole life was centered around that Gmail address, and I could have lost it in an instant for any and no reason at all. It's horrifying, and happens to perhaps thousands of people every day. As we continue to SaaSify everything this problem is going to come to the fore sooner rather than later. Our entire lives live in the cloud now and it can be deleted without cause or notice.

At the very least I would like to see governments issue people a free state email address which can be hosted anywhere. Email is now a necessity.
Yes it is. A professor of mine might even have considered it an appropriate toy network, the kind where you can solve it in your head to develop an intuition as to how it might scale.

In this case, however, it is no toy, this is serious survival of the species kind of stuff. And I for one am eternally grateful that it is a no-input two-output deterministic optimization.

Hail to our new robot overlords!
While I agree with you about the observation that many non-fiction books seem unnecessarily padded with filler, I think it’s because otherwise the book looks physically inferior and/or would be expected to cost less. And they’ve decided that this is the page count that optimises sales, instead of optimising reader satisfaction.

If someone’s at the book shop and see a bunch of one-inch thick books and a small 20 page pamphlet, they’d expect the pamphlet to sell for a fraction of the price. Or be tempted for the thicker book because “the author clearly did more work.”
Every cloud makes this mistake easy! You have to manually activate billing alerts for everyone because they want you to spend more snd more each month.

I am still waiting for a cloud without these dark patterns. But that will never happen because it‘s leaving a big amount of money on the table by not being hostile.
Do you happen to know something about the graal python implementation? Based on other comments here, the often used C FFI can also hinder the work of Python implementations, and the graal project solves it by JIT compiling C code as well (from llvm ir)

From what I’ve seen last time I heard about graal python is that it is seldom faster than the pypy approach (AST-based vs tracing JIT), even though in case of TruffleRuby and TruffleJS it is insanely fast compared to the maturity of the projects.

Is your mentioned example of stack frame inspection make it map much worse to Java primitives (which happens behind the scenes of the truffle languages)?
yes, i love the thing - i've been thinking of setting up klaxon from themarshallproject for the web diff/watching stuff i have - but still haven't looked in to it deeply (and not sure i like their ready-to-go deployment without flexibility)

Examples of what i do with huginn:

1) twitter watching for peaks in activity in keywords around my home country (this one is hard, football interferes with it)

2) pulling in data from an API and storing it (where i jury rig a grafana dashboard to read from a view over the huginn data)

3) stuff that sends me push notifications on certain events (a bit of a rube goldberg machine, but: homeassistant zigbee device action is to hit a webhook on huginn, that webhook sends a push notification through huginn + alexa notifier event)

4) I have a zigbee panic button outside the house (again, attached to home assistant) in case someone is locked out without a phone and without keys that will then hit a webhook on huginn that will call the other adults of the house with a message

5) keep an eye on the job pages of a few companies i was interested in, filter out for roles with keywords in the title, and email me the details.

6) I'm waiting for certain products to become available, i have huginn watching those pages and sends me an email if it becomes available (if the manufacturer doesn't have a 'let me know when available' function) - this is unfortunately quite custom for each site, but do have a common chain afterwards

7) there's an english language news site that doesn't have rss or any form of notification, so i scrape their headline ticker and send myself push notifications

It's not necessarily as flexible as i'd like - but it gets enough of the job done often enough, for anything else i can feed in webhooks from custom scripts, etc.

If you get used to thinking in huginn, you will also be able to remove a lot of duplicated work and create common chains/funnels for events, that way you'd only need to add in one new agent at the top of a chain and you've already done the rest of the work.

edit: formatting
So I guess one method would be to set spending-limits when you setup your account. But that'd lead to constant moments of having to bump your budget (or worse, get approval to do so from Accounting) when you're trying to work.

There are both spending limits and alerting that you could use, but would be impossible to predetermine from Azure's perspective, so they rightly ask you to.
If they put this much effort into planting some backdoor that's going to get burned the second it's used or spotted in the openly published source code they can have it
I would go as far as saying that the hosting for such a service should be entirely sponsored by Microsoft.
There is a nice steep hill near me which I would "enjoy" once every week or two. Since I got my e-bike I'll ride up it two or three times a week.

This has been the general pattern since I got the e-bike, my mileage has trippled over my road bike. I ride further and faster than I otherwise would.
oh aw i got confused; the projector is doing 3840 x 2160 (while the display is at 1920 x 1080)
Well of course, just not right now
It’s not for everyone, for sure. The larger implication is “live a good, comfortable life rather than an exceptional one”
As opposed to all those other customers who are not good faith actors?
Chinese people eat jellyfish so that's at least a billion people.
> If you end up working with C++, don't try to "fix" it (or "boost" it). You'll just add more layers of complexity. The most productive approach is to accept the problems and try to write simple code which people can easily follow.

I don't think this is specifically a C++ problem. It's true of any language, especially in a team setting.

Reminds me of the post from yesterday, where some people where adding decorators in python to 'unmutate the mutable default argument' instead of just setting it to 'None'.
I know a few people who make movie props - for their use case, 3D printing has basically displaced other ways of making practical props.

I think it has also revolutionised the industrial/product design/small batch manufacturing processes.

Another huge potentiality is metal 3D printing. Many aerospace companies consider 3D printed parts the future of rocketry/aircrafts.
I dislike it for a completely different reason: As a diabetic I've drank diet versions all my life. The taste difference between regular en the older diet versions is big enough to taste which comes in handy when you get a non descriptive beverage somewhere. With zero versions this advantage is (mostly) gone
Seems at least a little unethical that cloud companies do pay as you go up to infinity, instead of some model where you transfer money in and if you use it all up your service gets cut.
Nice graph! Would be good to see dates on the x-axis, and a historical date of ingesting a drug input and then to see now how much is left your body today for example.
>export your Google Photos sharing settings and import them into a new account. I have hundreds of GPhotos albums, with many of them shared with various people, and if I migrate to a new, regular Google account, I'll have to manually set up all those sharing settings again.

If you think this is bad you should check out iCloud. They're all as scummy as each other about locking in users so the friction to leave is sufficiently high.
Intro to Couchbase for Oracle Developers and Experts:Part 2:Database Objects
If Microsoft doesn't show the decency to forgive that bill, i'd be happy to chip in!
Hint: https://webamp.org/ -- have fun with Milkdrop :)
Thanks, I havent seen that before. It took me 10 minutes to go through and it is very clear (took a moment to realize whitespace also alllows no character).

A couple of years ago I looked at tutorials and found it very confusing, but the spec is just great.
That would be discrimination if there are people that have the qualifications and want to apply them.

Where is the goal of DIE reached? Is there are limit when "discrimination" is gone? A certain percentage that needs to be reached? I would be completely surprised if that were the case and I believe this will only end in a bureaucratic hell hole.
Apilytics API
Yeah super annoying, kinda seems our US friends might have been prioritised first for communication. Also another "busy work" job on my todo list that I'd rather not do.

What's your approach? Just go ahead and make the move away (or pay)?
You can argue as must as you want about the legitimacy of my comment. "Regulations" and "free market" are mutually exclusive.
As I spent a few hours to successfully get cf cache b2 files. I'm curious about the part of support Cloudflare requests due to caching issues.

It's time for cf to work a bit on its UX
I guess it is about different implementations of some not properly formalized parts of the JSON spec.

There was also an article here some time ago but I cannot find it right now.
Regarding Lean I would recommend to check Lean4[1] instead. They rewrote it in Lean itself and now it has much cleaner design[2][3][4].

[1] http://github.com/leanprover/lean4

[2] https://leanprover.github.io/papers/lean4.pdf

[3] https://leanprover-community.github.io/lt2021/slides/leo-LT2...

[4] https://leanprover-community.github.io/lt2021/slides/sebasti...
Tabs are not valid JSON
Long-Running Requests
Situation seems very tense in the eastern Europe - the whole maneuvers thing around the world even add more heat - looks terrible
Could be that IP Address/ISP reputation is also a factor for the variation in results.
It’s also at the center of Jihadi activity in Africa and the situation is only getting worse every year.
Spatial Finance aka Geospatial ESG:
Measuring the environmental impact of companies from space to assess how green a company is. Sustainable investors need this information to overcome the problem of greenwashing. Here is some more information on this topic:

[1] https://www.wwf.org.uk/sites/default/files/2022-01/Geospatia...

[2] https://www.cgfi.ac.uk/spatial-finance-initiative/

[3] https://www.oxfordeo.com/post/near-real-time-water-stress
Get a VPS from linode for $5 a month and it costs $5 a month.
That was my thought exactly though with younger kids this can be less simple due to size and response times of different parts of the digestive system. Though raising the blood sugar levels of non diabetic even by a few mmol/l can have significant effect where diabetics can have far larger swings an notice it less.
At this point I pretty much just read histories, mostly written by academics, and fiction. Most popular press books are simply garbage and almost anything written for the business community is likewise garbage.
I haven't written enough dependently typed programs to know what's best, but just an argument in favour of the OP version :):
I agree that your version is easier to understand. But with the other version the types at least guide you in the implementation of the compress/uncompress. In your version you can return any `List t`.
Comparing Kubernetes Security Frameworks and Guidance
I've seen DVDs of some of these.
Not from the US, but then you need to hold these institutions to account. Difficult with a non-informed public about these issues, but it will hit them if you take legal action against them directly. Nobody wants to have dirt on their vests and you have to make some of it stick.
>Every cloud makes this mistake easy!

Funny enough...Oracle (OCI) makes it better, you can buy oracle"coins" 1to1 with $ and load your account just with what you think you need.
It is worth mentioning that the alert itself costs money. So if you're evaluating the alert every 5 minutes on the past 24h of data it can burn a small but surprising amount of money.

From TFA it looks like that would be 10 cents per "time series". Or what I translate it to, is 10 cents every 5 minutes (*I think, but I havent used Azure in some time*). $1.20/hour, $28.80/day, almost $900/month. Not too hard to drop that by making the alert less frequent. (edit: I think I saw AU$ there, so maybe it is AU$900.)
> Yeah, I think it's because nobody sat down and methodically created it.

I think it's the opposite. There isn't a single config file that suits all needs.

Especially when you realize config isn't a single thing.

http://mikehadlow.blogspot.com/2012/05/configuration-complex...
First thing one should always set on any cloud account is billing alerts. Set > 1 and set first to ~ 80% of what you think will be your normal cost then add extra alerts all the way up to 100%. That way you'll usually get an early warning with some time to act before it becomes really expensive.
Interestingly, Troy says that egress is expensive on Azure at $0.014 AUD/gB (~$0.010 USD/gB), but that is the same price as additional egress for Linode and DO, and Linode egress has never struck me as expensive. In fact, I’m kind of shocked (as an AWS user) that Azure egress is the same price as Linode.

Actually, wow it seems AWS is also the same price as Linode and DO for egress. While Linodes and DO do come with decent free bandwidth, this is a surprise to me.
Or hetzner, or Vultr.
Normal transactional mails. Password resets. Ticket Notifications (think JIRA) etc.

>As long as it sends my emails everything is good.

Lol ja it was good until it stopped sending my mails. They closed down our free account after 5 years when we wanted to upgrade to paid tier to get better analytics. EXACT SAME mails (content,recipients, amount etc) we just wanted to give them money and get better reporting. Boom closed down our account over the weekend. No access to our data or account. No recourse !
As a kid I used to love playing this game ("Bang Bang") in Windows 3.1, I'm glad that someone else remembers it.
You’re trying to be snarky to GP, why exactly? Yes there are bad faith actors that might try to get some free cash out of cloud refunds. And other customers can also be good faith actors and included in the assertion.

The post applies to everyone and I’d second it. Ask nicely for a refund in these situations, the worst that can happen is they say no.

Where did they say that “only Troy Hunt shall receive a refund, for only Troy Hunt is a good faith actor, so say we all”?