skysight-inc/HackerNews huggingface dataset:
You would have to write a wrapper class for an integer that can only be ever constructed with a positive integer without it throwing an exception, and then have it implement some PositiveInteger interface. The consumer would then have to trust that the provider has held true to the contract.

Needless to say, this code would be very verbose and ugly - what you would actually want is dependent typing, which solves this problem at the type system level.

Here is the implementation for Nat in Idris, for example:

data Nat =
Z
S Nat

With dependent typing, you can specify constraints on the values of function parameters, and have the compiler prove that only such values can be passed to those functions. For example, the following function only takes non-zero natural numbers, since the S constructor used in the parameter implies that the element can not be Z:

addTwoNonZero : (S n) -> Nat
addTwoNonZero = (+) 2
My mother was a billionaire apologist.

The world would get on just fine without coinbase, stripe, meta.

$100m is an insane amount of money. Enough to buy anything you want. If people sell things for over $100m they'll soon bring their prices down.
How can you, with an objective test, determine whether or not I am experiencing chronic pain, or if I'm just pretending to be experiencing chronic pain?
I remember hotline very fondly. :-)
Really? Iterating over a string should give you some kind of {char, code point, grapheme cluster} or whatever; iterating over a list of strings should give you a string. Those are not the same type, and any nominative type system should surely realise this.
Last I checked, my urine was almost entirely made of chemicals.
See also: https://www.pouet.net/prod.php?which=89362 -- https://www.youtube.com/watch?v=zprSxCMlECA

A demo, including music and graphics, written for the 1541 disk drive -- no, it is not a C64 demo, it runs entirely on the 1541 (which has a 6502 CPU and some amount of RAM in it)
All you really need is a tax, and considering how much else can be taxed trying to complain about a water tax for bulk use just seems whiny.
The Amazing Ways Nike Is Using The Metaverse, Web3 and NFTs
That blindingly obvious fact is why I wrote 'implied deficit' in the parent comment. Scotland has public expenditure and tax intake figures. There are things you need to apportion - like oil revenues and UK debt obligations - but even with generous assumptions, if it became independent it would be running a large deficit. This isn't just a random figure.

This is a good overview:

https://www.economicsobservatory.com/what-might-the-public-f...
Grafana Cloud (undocumented?) breaking change to Prometheus sources
Why Are 96M Black Balls on This Reservoir? (2019)
I agree, but it is a surface level retort still in my opinion.

What I find more insidious is the way people on HN deal with such statistics.

The HN typical person is a relatively well-off suburban CS employee. The rhetoric on HN when markets are talked about, e.g. the labour market, often revolves around free markets being good -- because it favors this typical HN's user position. They have never experienced any precariousness.

Now, comparing dating apps to a market is very slimey, but the analogy work to the extent where the focus is the HN user's expectation and how prevalent the market discourse seems to be here: like the worker offers their labour force to a company, a pretendent offers their social time and skills on a dating app. Except that the HN's user is experiencing the precariousness in the latter -- an unacceptable thing, apparently.

Except one is not owed this attention, time or privilege. Thinking the imbalance is unfair is a mark of expected privilege as they have in other space. It's a bit bonkers.

Thinking of it -- dating -- as a market is a bad thing, morally, ethically, and psychologically, but it remains the underlying tone I see in this thread.
>Where do we land when people are not allowed to pick the partner they actually want?
We land in reality.

There tends to be a bit of a gap between what people 'want' and what they can actually 'get' and I think this is where a lot of online dating falls down as the illusion of endless choice means people keep looking for perfection when in reality that person doesn't exist or if they do, they aren't going to be interested in the other person.

Most people throughout history pretty much had to look in their fairly narrow social circle or village/town etc and pick whoever they could get who would also like them. Most people knew more or less where they stood amongst everyone else and had a general idea of whether you stood a chance or not and didn't bother if you knew you had no chance.

These days you are basically competing with essentially the entire world and it's hard to know who your competition is or where you stand, does this person I swiped right on already have 5000 other matches in their inbox and how do I compare? Even if I'm the best option they will ever have, do they know that or will they keep in swiping in the hope that someone absolutely perfect might come along?

Most dating apps are now optimising entirely for the superficial things like looks, which is one of the least useful metrics of a long term successful relationship and almost everyone now manipulates their photos and is deceptive or outright lies about negative factors (usually height for men and age for women) to the point everyone is basically a catfish now and all you're swiping on is more or less how someone wants to portray themselves, which means you are going to mostly match with those who are best at deception and lies which is probably not ideal in most relationships.
US Army deploys its first floating solar array
Better use three attorneys on at least two continents, one of them in the other hemisphere. Otherwise a single medium-size asteroid could easily wipe out all your backups and what then.
I am taking it for cca 25 years and I am fine too... sort of.

It can still become addictive, after tremendous amounts consumed over long time that don't make sense unless you just want to fuckup yourself as much as possible. But plenty of folks still end up there.

But its one of the easiest addictions to shed off, compared to say cigarettes, alcohol or well anything else (I would say even sugar is more difficult to wean off since its everywhere, joints not so much for now).

It has positive effects - pain management I guess especially with edibles, but for me its change of perspective/mindset on life matters, much higher creativity, michelin star level of taste experience even from relatively cheap food, and that sweet sweet high that is just so relaxing.

But it will make you overall less patient, which sucks. For parenting, for work, for life in general. Also, morning after is much better than alcohol binge night, but mental gears running on 20% isn't something that helps produce quality in your work. Plus most consumption methods mess up your lungs pretty badly, but quality vaping is I think cca good enough to not shorten your life considerably.
Software Trial Periods vs. Software Usage Counters
Just got an email from Autodesk offering a 30 day trial of Fusion 360.
This seems mostly standard for trial periods. Next thing the "your trial has ended" email arrives. Oh well.

How about 30 hours to be used up within 3 to 6 months perhaps with reminder emails to get going.
Online banking logs out after 5 minutes of inactivity so perhaps that approach?
Better just not to encrypt anything like that.

If you have a house, which has windows, your locks do not provide security against someone smashing open the window. Key cutting schemes are a bit like this - no key offers security, only one of several access routes.

Having multiple access routes may be desirable and simultaneously a concern - a fireman smashing through your window to save your life is desirable, a burglar slitting your throat after smashing through your window is not.

Encryption is more like a lockbox or a safe room - having a burglar compromise your safe room is undesirable, and going into one during a fire is also undesirable. But you do want to use one in the event of a burglary.

A key cutting scheme may be useful in the case of mutli tenancy, but it is not a reasonable dead man switch - if your data needs to be re-encrypted either the keys themselves must be related (calling into question the security of the keys), or the encrypting party must multi encrypt the data, meaning whomever does the encrypting has full access to all the key data.

If e.g. you are yourself encrypting the data, you must multi encrypt - it would be faster just to share the key yourself, as you already have all the keys. If the third party is encrypting, this means they have side channeled your data such that they can decrypt at any point.

Again, even in the case there are e.g. two mathematically related keys, you cannot then enforce a timeout without first referencing and thus controlling the original key. You MUST distribute your keys yourself to your 3rd parties, or your data cannot be secure.
If you show up to a store with a stack of old notes, this will look very suspicious even if they are “legal tender.”

Banks usually send old notes back to the Fed when they are found. They will notice an increase in old notes being returned and investigate as well.

So you might get away with this for a short amount of time.
I'm surprised to hear that the people going on 400km trips every month aren't the wealthy ones. I only drive 1000km per month. A 400km trip+return is 80% of my monthly commute meaning it would double my fuel expenses from roughly 120€ to 240€ per month.
Spectre & Meltdown had a huge impact of the performance of cloud computing.
They are certainly putting pressure on the CPUs.

See: https://www.phoronix.com/scan.php?page=article&item=3-years-...
Joanne

Hah, first time I heard her name
Suppose I buy 3 stone, 5 pounds, 8 ounces of tomatoes priced at 4 shillings per pound. How much do I have to pay?

Suppose I use 1 stone, 12 pounds and 10 ounces in a (large) ratatouille. What weight of tomatoes do I have left?

Nah: imperial isn't coming back. The big food market in the centre of the city sells small fruit and veg in plastic bowls 'a pound a bowl' is the tarrif and the quantity in the bowl changes according to price. Larger items (cauliflowers) are priced typically by number so 2 for £1.50 or whatever.
Software Engineering is still in the stage of early industrialism - when James Watt built his steam engine, or Carl Benz built his car, they did not have specification documents. They tinkered and made it work, moving around assemblies until everything fit, then improved on the design. Essentially, they were doing some form of 'agile': small teams (to the point of only one), no specifications, high turnover. Today, this approach is unthinkable in mechanical engineering, because bad designs are lethal.

The software engineering environment is special because when it started out, everyone thought of it as just another branch of engineering, so they applied standard industrial processes onto it - and that did not work well, what worked for building hydraulic presses did not translate well to writing software. SE needed to "learn" how to tinker and experiment on mid-sized projects first, and now they are in an early-industrial-age phase (and call it 'agile').

Eventually, SE will return to something more organized, something more reliable - after all, we are learning that bad design choices can be lethal. We are seeing the first steps today, trying to capture agility with frameworks, with dedicated test methodologies, ... Naturally, this will cause frustration with the tinkerers, and it will take time. And while some aspects will resemble mechanical engineering processes, some things will be completely new and untranslatable to other engineering disciplines.
Many more possibilities if you want to go outside the law...
> antiscientific religious pressure

I find it really weird that this phrase is used when talking about things like abortion, but never gets used when talking about infant circumcision.

Isn't the only reason that infants are allowed to be permanently mutilated along with lifelong loss of sensation due to intense lobbying by antiscientific religious pressure?
It feels weird to let people own something
yeag. i feel you

i dont feel like calling this personal failure though. (ya i know, it is what it is but i dont like that term: it's not my personal fault my brain works the way it does)

feels more like "weather". like a system of moodclumps that fight for their turn to blend my view of the world with their specific "flavour"... (think "inside out" but them little mood-guys hate each other and joy is probably lost somewhere in the depths of the memory library getting railed or something...)

i might get up early tomorrow and get stuff done on personal projects before heading to work, but a week later tops, i wont be able to get out of bed that soon and almost miss work at 7am.
and in the evening im mentally to pooped to do anything but game or watch something to pass the time until i pass out in bed again... and most probably far to late like 2am, so getting up at 4am to get stuff done prior to the toil becomes a nonoption...

i guess i could force myself to go to bed early, but my partner consistently stays up longer than me and i miss going to bed together and cuddle... maybe im jealous of her having consistently such a good time with friends online and that might be what drains me... but on the other hand, im not that interested in goofing around with strangers on the internet: most of the time people dont get it and it gets awkward, so i'd rather doomscroll twitter than actually try to talk to people and get told im an idiot or whatever. i know i am. all humans are idiots at varied degrees, and i am one too so.... shitpost with me or fuck off pretty pls

i used to have a couple of close friends that were also interested in the things i was intrigued by and helped me maintain my drive and focus (though back then i was lacking a vision). but life is what it is and some friends go missing, others die and a third group simply starts to avoid you because you told them you are bisexual.

so, yeah.

oh yeah, a little PSA for all the (mild) homophobes out there: just because someone tells you they are bi or gay, does not necessarily mean they want to fuck you (or get fucked by you). they most likely just wanted to tell you to make things less awkward in case they feel the need to talk about a potential partner.
Missing the point. I don't hate Musk. (Anybody who does probably was fired during one of his tantrums.) I do recognize him as a grifter, for reasons. Can you understand the difference?

This isn't the place to explain Gates's failings, or Putin's; that's easy to look up.

I don't think you are using that word "reactionary" in any meaningful way. Have you ever looked it up?
Try to get everyone in city in USA to go to bank and withdraw money... See how many get anything...
Ive heard the term for a lack of a better word and find it fair enough. But the point im making is that there are people that refuse to participate in the bio-industry due to ethical considerations, yet hunt for their own food and do so scarcely.
The limits really are pretty low...

Is the UK government really worried about someone with a fake ID converting £800 of old cash to new cash?
Why is that any weirder than expecting to get paid just for owning stuff?
> How is the platform not a total failure based on this? Doesn't everyone of the guys not in that top 20 percentile turn around and tell everyone it is garbage?

Yeah it is total garbage. Even when you put in all the work to get matches and arrange dates (which takes a ton of work), it's still basically a blind date, so when you actually meet there's still only a small chance that you will actually match.

And you always get worse matches, as a man, through the apps compared to real life. You will pay a price for that convenience of swiping.

There's an increased risk for women when they let men bypass that filter of being sociable and brave enough to befriend people in real life social situations.

If a woman can already go to a bar and easily pick out a guy, and easily judge the men, why would they use a dating app? It only makes sense if they somehow would get better matches there, so the men will have to lower their standards as a result of that convenience.

I just see online dating, and classified ads in the paper before that, as a way for people who don't fit the social norm to meet. And that's fine. But I don't see any reason for everyone to start doing that, and people who are normally sociable will just have a worse experience.
How the pandemic has changed what we wear to work
Whether you’re the boss, the deputy or on your way up, we’re shaking up the way the world works. This is the podcast about doing work differently. Join host Isabel Berwick every Wednesday for expert analysis and watercooler chat about ahead-of-the-curve workplace trends, the big ideas shaping work today - and the old habits we need to leave behind. Brought to you by the Financial Times. See acast.com/privacy for privacy and opt-out information.
Should we expect more from a company that specializes in monitoring/reporting?

An update on https://status.grafana.com/ would have been nice.
That’s great if you are in the UK, which I am not.
Color me sceptical of the in depth knowledge of this author, if he insists on writing "BitCoin" which isn't the way the entire industry writes it. This leads me to believe that the author isn't well-versed enough in the industry to be able to make claims such as these.
some medical trials. Surgeries, for example, are tough. And these longitudinal nutritional studies, as I mentioned, are another.
Okay, you can "Buy it now" for $500...

But I suppose you'd need an OS license from IBM to operate the thing?

Or does Linux boot bare metal on z/Systems?

(Initial Program Load, sorry. One does not simply "boot" an IBM mainframe.)
Eg system requires rehypothication of private debt to sustain itself.
Some people simply look better with hair than without. If you have no side effects, and it's dirt cheap, why not just take a pill a day and be done with it?
“All the time” is quite a vague non-quantitive phrase though.

How many startups successfully pivot? How many fail? What is that as a percentage? Personally I think that’s a more useful indicator of risk when deciding.
It takes me more than two minutes to fill my car up.
Show HN: Questmate for Startups
Prices dropped 15% from the peak to the trough.

The S&P is down 20% in the last 3 months.
"you're independently wealthy and doesn't need to work"

Not independently wealthy except in the sense that I belong just above Branko Milanovic's 85th percentile of wealth. I have a small fixed retirement income derived from wealth accumulated over a 40 year working life. I have the good fortune to live in a country with a stable financial system and institutions that maintain continuity over time.

Taking your wider point, yes, perhaps my behaviour is shaped by the practicalities of my circumstances. But that shaping is largely unconscious so I don't have a sense of constraint.
Haha, where's your "cash" sitting? I'm in the same boat, but mine is in equities, which have already lost 25% of their value since January, and there's probably more pain to come.

Of course I could have kept this cash in a bank or under the mattress, but not only would I have missed out on massive gains over the last few years in the stock market, I'd also now be losing 10% per year to inflation.

There is just no refuge in our modern financialized economy - we're all forced into the casino.
and explaining crypto to your non technical grandmother in law who needs some cash to pay some bills in a foreign country
One major thing I like about having to implement a defined interface is that it forces people creating an API to actually define what that interface is. And in typing out that interface there's a fair chance they'll actually write doc comments.

IME a lot of libraries that do duck-typing (for instance Python) make very little effort to explain what methods I'm supposed to implement or what the contract is supposed to be for those methods.

It also forces users of the API to explicitly state in code that they're intending to implement that interface, as opposed to just implementing a handful of seemingly random methods whose purpose will not be immediately clear to readers.

Also, AFAICT duck typing is incompatible with the approach taken in Rust or Haskell where the definition of a type can be decoupled from its implementation of various interfaces (called traits in Rust or type classes in Haskell), and where methods or attributes in different interfaces implemented for the same type can have the same name and not clash, because the object isn't the namespace for its methods. I strongly prefer this approach.
> Should someone be able to dig a well in their own land?

If that connects to a shared aquifer which can easily be depleted, then not without regulation.

> Draw surface water from a river, stream, or creek that passes through it?

I wouldn't expect to be allowed to reduce the flow of one of those, comparing how much enters and how much exits my land.

> Grow crops in their own flood plains, estuaries, marshes, ponds, and lakes?

That seems fine, probably.
> IIRC the consensus is that a fetus likely starts to experience pain in the second trimester. Over 90% of all abortions happen in the first trimester.

Isn't that just a different way of saying that 10% of abortions are painful to the fetus?

To me, that seems like a significant number. Why not just legislate that those 10% fetuses get some pain relief? Is there any opposition to this?
>Oddly, I had never heard of Patterson. How is that possible given his apparent cultural dominance?

If he writes in a genre you don't read, then it's not that surprising. Most men have never heard of Nora Roberts, who comes close to matching Patterson in sales.
If you ask someone to describe something generally anthropomorphic, the description would only tangentially fit a human newborn. “The weather is angry”, “trees strive to the light”, “this car is pretty demanding” are all examples of it. Not only newborns can’t express clearly what they strive to or angry of, they (likely or arguably, whichever) have no concepts of that in their minds, but we tend to attribute these to them either way.

Idk if it’s commenters here are nitpicky or not, but I recognized the sense of gp’s terminology without a doubt.
Too bad, so sad. You should have invested in something that has actual fundamentals instead.
Surely if you think the author isn't well versed enough in the industry you can explain why from the content they've written, rather than nitpicking on the capitalisation of a word. This just seems overly dismissive.