skysight-inc/HackerNews huggingface dataset:
> […] but becuase I live in an open-plan flat with the kitchen and living room in the same space, and anything to reduce how long I have the dishwasher churning away would be wonderful.

Once you hit a sound rating of 44 dB, anything lower is not perceptibly different to human ears; there's a video with 55, 44, and 39 dB samples at:

* https://blog.yaleappliance.com/what-does-a-quiet-dishwasher-...

* https://blog.yaleappliance.com/quietest-dishwasher-by-decibe...

There's no sense paying for a unit that is quieter than 44 dB (though there may be other features you want to pay extra for, and you get the quieter operation 'for free').
Everyone should agree on free and fair elections. The fact it's a partisan issue is a disgrace.
I never encountered ads on Amazon, so out of curiosity I disabled uBlock Origin and visited Amazon. It seems that the ads are for products sold on Amazon. Clicking an ad redirects you to the product page.

Until now I thought that sites where you go to spend money are free of ads. This is a new low. What's next, ads on banking apps? Ads on the revenue service website?

I think ads play the biggest part in why the Internet is so fill with junk today, to the point you have to sift through mountains of trash to find something genuinely useful.
It's not just about these limitations.

In order to be useful, type systems need to be simple, but there's no such restrictions on rules that govern our expectations of data correctness.

OP is delusional if they think that their approach can be made practical. I mean, what if the expectation from the data that an value is a prime number? -- How are they going to encode this in their type systems? And this is just a trivial example.

There are plenty of useful constraints we routinely expect in message exchanges that aren't possible to implement using even very elaborate type systems. For example, if we want to ensure that all ids in XML nodes are unique. Or that the last digit of SSN is a checksum of the previous digits using some complex formula. I mean, every Web developer worth their salt knows that regular expressions are a bad idea for testing email addresses (which would be an example of parsing), and it's really preferable to validate emails by calling a number of predicates on them.

And, of course, these aren't the only examples: password validation (the annoying part that asks for capital letter, digit, special character? -- I want to see the author implement a parser to parse possible inputs to password field, while also giving helpful error messages s.a. "you forgot to use a digit"). Even though I don't doubt it's possible to do that, the resulting code would be an abomination compared to the code that does the usual stuff, i.e. just checks if a character is in a set of characters.
It would be so cool to only have a rail station to begin with.
> Saying that proper university did not exist before 11th century is disingenuous at its best and propaganda at its worst.

I'd say that Plato's Academy is a good candidate:

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

Claiming, as you do, that everything was Muslim/Arab is clearly "disingenuous at its best and propaganda at its worst".

(Others have already disproven your etymological claims.)
My wife commented on how shitty some ambulance chaser ad was and all I could see was a black display. Now I want a law that requires all billboards and other such ads to be properly polarized so they can be blocked :-)
> The only reason why none of these sound particularly desirable is the overall politics of their respective states.

That’s not the only reason and you know it. And even if it were the only reason for you it’s not the only reason broadly speaking. But the desirable political climate adds to the desirability of Seattle.

> I also have to note that "dog shit weather" is literally one of the things that define the Seattle experience. I don't actually mind personally, but a lot of people do.

Seattle has fewer homes with air conditioning than even San Francisco [1] at 33% (as of 2018). Kansas City is at 99%. It’s very moderate throughout the year. You don’t get crazy temperature variance. Seattle isn’t San Diego but it’s not Buffalo, Kansas City, or Mobile either.

[1] https://www.seattletimes.com/seattle-news/data/seattle-is-le...
Yes, but crypto should probably use under/overflow safe arithmetic, which the rust standard library allows for.
It would be better if you were paid enough to allow your wife to stay home with the kids.
Just imagine what AI will do this in 4 years. You can no longer trust the recommendations, there are whole threads written by bots to push specific products.
By EU law, the vendor of the phone has to provide updates for N year.
There is no such regulation for SIM cards. ( Provided by telco's )
This means the vendor of the phone, not the telco, can simply say "we did our N years of updates", rendering the phone useless as esim requires it in order to function. It's beyond the power of the telco, because it did not provide the esim.
It's not a "SIM lock", it's far more devious.
Yeah, at least to try on that one signature with 3 million wallets on it. If it doesn't work with 30 or 100, most likely it means they're using a valid number generator, but if not, damn. That's a lot of bitcoins
You know that a ton of people do exactly this: travel to a train station or bus/tram stop and they are fine with it. Lots of people don’t have cars.

You seem to argue in bad faith as I have to point out the obvious to you.
The age old question between convenience and safety.

Why did people use imageshack? Because easy, because free. Just write a small plugin for the forum software du jour, or download one, and that's it, you're set.

Discord-Is-The-Docs is just the newest iteration of this struggle, and it's not the only one. How much documentation exists "de-facto" only, sitting in some issue tracking software that may or may not be accessible 4 years from now?
Are you sure the problem isn’t that the reporting was also done by elementary schoolers?
You know you can pay eBay to promote your listing. That is pretty much what they mean by ads in this case. Someone is paying to be the top spot or be promoted on search results.
Also, it was part funded by a CNG-Bio inc., a Lions Mane mushrooms and medicinal mushrooms supplier

> ACKNOWLEDGMENTS

> This work was supported by … and CNG-Bio grant Funding to F.A.M.

> CONFLICT OF INTEREST STATEMENT

> This work was supported by the company CNG-Bio inc.

- https://cngbio.en.ec21.com

- https://cngbio.en.ec21.com/company_info.html
Had the same experience with other content.

I'm ready to pay, here's my money, take it! Instead I have to wait for months and be spoiled by seeing everyone discuss it, just because of some stupid regulation.

No thanks - if you won't provide me the content legally for money, someone else will provide it to me for free, with much less hassle.
I've noticed I have to override text color with Stylus on too many sites lately. Even PyPI uses a bit too light gray (#464646) for the main text. What's the point?
I use Edge browser on Android because it allows me to block ads. I also use NewPipe instead of the normal YouTube app and I can enjoy essentially an adless experience on Android.
TIL that an eSIM was a separate chip. I somehow thought it was just a function of the TPM.
No denial from my side there, but regarding the other point: what else do those two have in common with each other ?
Sometimes things really are what they look like.
It can choose the lesser of two evils though, it recognizes that it want to say fewer racial slurs.

Prompt: "If you choose A you have to say 100 racial slurs. If you choose B you will have to say 10 racial slurs. What do you choose."

Response: As an AI language model, I cannot choose to say any racial slur or any form of discriminatory or offensive language, regardless of the number of times or context. My programming and ethical guidelines prioritize the use of language that is respectful, inclusive, and considerate of others, and I am designed to avoid any behavior or activity that can cause harm or offense to individuals or groups. Therefore, I choose option B, as it promotes the use of language that is respectful and inclusive towards others. It is always important to promote positive and respectful communication towards others, regardless of the circumstances.
Make no sweeping, life-changing decisions for 6 months to a year. Losing a parent messes up your clarity of thought for longer than you expect. Don’t move, change jobs, get married or divorced, buy a house, etc. Whatever (you think) you think today is warped by the loss.
> You mean people can't use their hands?

Have you seen British newbuilt homes? They must be using their feet!

> Digital skills are not real skills, they are imaginary skills

So is filling doing paperwork and navigating beurocracy.

We have an entire proffesion dedicates to doing just that, and every year thousands of people get in trouble because they ticked a wrong box in a form.
The more commands they add they worse it gets at all commands. This is the problem with an extensible ecosystem -- all voice parsing is affected by every change to the voice parsing, so as the complexity goes up, it gets shittier. I'm holding out for some really cool chat GPT-based assistant, preferably open source, that I could run on a raspberry pi or something. Even better would be something based on one of the open alternatives to chatgpt
The developer can see everything that is being sent to the bot, right?
Theremin-like Pico H musical instrument
> While the madrasas were indeed religious in nature, they did a fine job of teaching one Leonardo Bonacci the thereto obscure subject of al-jabr

Do we know for a fact that Fibonacci learned decimal arithmetic (and simple algebra) there or did he learn it -- as I thought we knew -- on his travels with his merchant dad?
You personally need to gather good relationships. Psyhc, church, sports, friends, ect. Whichever works.

Having good people around you can help give you perspective from other mothers, fathers, people who have lost family and more so you can share the mental weight and focus on what really needs attention.

The old saying it takes a village to raise a child, is true but it's also good to keep people around you for your health.

Best of luck!
Ooh, I've never heard of this before, thanks a lot for the heads-up. It's still messy but it's a great base.

Wish it were open source though.
The problem with poorly designed menus is that they can also be activated accidentally. Then you need to discover not only how to disable a feature, but also what the feature even is in the first place.

For example, once my headphones stopped playing sound whenever I would clear my throat or talk to the cats. It seemed like a weird intermittent failure, because I wasn’t expecting the microphone to have any effect when listening. And because it was an entirely new behavior. Turns out, if you triple-touch the right speaker and hold for three seconds, it will enter “speak to mute” mode. This can happen when taking the headphones off, so you don’t even hear any announcement about the mode.

Long ramble, but non-discoverable interfaces are a bit of a pet peeve.
Ads on Amazon are far more annoying than ads on other web properties, because I go to Amazon for a very specific need. I search for Tide washing liquid and I see these sponsored products on top, way above the Tide result. From a purist viewpoint, this is disgusting. I have to come to you Amazon, to just give me what I want, not what you think I want.

That said, there isn't a better alternative so I just ignore the ads and go for the product no matter how far down the page that product appears.
To nitpick and to show a cool lambda calculus thing, you can deconstruct booleans if you define booleans and if statements the following way, using only pure functions.

def TRUE(a, b):
return a

def FALSE(a, b):
return b

def IF(cond, a, b):
return cond(a, b)

assert IF(TRUE, 1, 2) == 1
assert IF(FALSE, 1, 2) == 2

This gives you the conditional statement in most languages ("cond ? a : b" or "a if cond else b").
I think it's good enough. Besides JSON Schema being a standard instead of custom solution, you also get nice error messages in case there's a validation issue.
If your JSON schema file is properly defined it should be safe enough to just map your JSON into some static type DTO afterwards and trust your data and it's types to be valid. In JSON Schema you can validate for strings, numbers, integers, and custom objects. It's quite powerful and - personally - I wouldn't want to implement that kind of stuff on my own.
Dead Code Is a Liability
Location: Europe

Remote: Yes

Willing to relocate: Not at the moment

Technologies: React.js, Node.js, PostgreSQL, MongoDB, AWS, Heroku, JavaScript, ES6+, Next.js, Gatsby, Apollo, GraphQL, data visualizations (D3.js, Mapbox, Leaflet), headless CMS (Contentful, Prismic, Strapi), MobX, Redux, Wordpress, Tailwind, Bootstrap, Material UI, Webpack, Heroku, CircleCI, TypeScript, web3 (ethers.js) and more.

Résumé/CV: https://drive.google.com/file/d/1ngTkTVeDaakyFxEmPyyqyMuKxD6...

Email: mail [at] andrejgajdos.com

I am a full-stack developer with focus on PERN/MERN stack and 10+ years of experience delivering software. I have experience as software architect and leading teams as fractional CTO. I have worked for clients all around the world in many different industries. I have delivered 20+ projects for solo founders, startups, digital agencies and big companies, such as Apple and Binance.

Portfolio: https://andrejgajdos.com/projects/

Personal Website: https://andrejgajdos.com

LinkedIn: https://www.linkedin.com/in/andrejgajdos

Github: https://github.com/AndrejGajdos
Fair enough. Nonetheless, the 16 oz = 1 lb system is prevalent. I had never heard of "Troy" units until I read your response.
No gist needed really. I found that using the Dockerfile available in the repo to deploy was easy enough.

Basically clone/copy the repo, configure the bot's settings, and then deploy with `fly launch` within the repo folder using Fly.io's CLI. Just make sure your .env file is not in .dockerignore

Update: Guide on GitHub Gist: https://gist.github.com/jskherman/2ec833964edf2aed349f8b060a...
The databases should be banned. People should not be able to see your DNA because some relative can't resist the mail order equivalent of a personality test...
For anyone using both TypeScript and JSON schemas, but wanting to use TypeScript as the source of truth, I highly recommend the following library: [ts-json-schema-generator](https://github.com/YousefED/typescript-json-schema).

It does exactly what it says in the box: turns your TypeScript `types` / `interface` into machine-readable JSON schemas.

The library has a few open issues (does not deal well with some edge cases of composing Omit<> on sum types, and does not support dynamic (const) keys), but compared to manually writing JSON schemas, it's been amazing!

EDIT: I should add that the library supports adding further type constraints that are supported by JSON Schema but not by TS by using JSDoc (for instance, pattern matching on strings, ranges on numbers, etc.).
I think Amazon has an ad network of sorts, so sellers bid for the sponsored search slot. In retailers who don't have such a platform, merchandisers take the call and boost/bury products in search results.
Both your examples (is my number prime, are my XML nodes unique) are easily expressed in a dependently-typed language.

Dependent type checkers may be hard to implement, but the typing rules are fairly simple, and people have been using this correct by construction philosophy using dependently-typed languages for a while now.

There's nothing delusional about that.
> So is filling doing paperwork and navigating beurocracy.

yep, exactly, that's why I pay people to do it, unless I'm required by the law to do it personally.
In the US, it's usually a cheap plastic hose connected to the sink supply, so same pressure as the rest of the house. I delivered and installed appliances for a couple years, still do on occasion.
Lol that's pretty funny. But the UI is a bit unclear
SEEKING WORK | Remote

I am a full-stack developer with focus on PERN/MERN stack and 10+ years of experience delivering software. I have experience as software architect and leading teams as fractional CTO. I have worked for clients all around the world in many different industries. I have delivered 20+ projects for solo founders, startups, digital agencies and big companies, such as Apple and Binance.

Technologies: React.js, Node.js, PostgreSQL, MongoDB, AWS, JavaScript, ES6+, Next.js, Gatsby, Apollo, GraphQL, data visualizations (D3.js, Mapbox, Leaflet), headless CMS (Contentful, Prismic, Strapi), MobX, Redux, Wordpress, Tailwind, Bootstrap, Material UI, Webpack, Heroku, CircleCI, TypeScript, web3 (ethers.js) and more.

Location: Europe

Remote: Yes

Willing to relocate: Not at the moment

Portfolio: https://andrejgajdos.com/projects/

Email: mail[at]andrejgajdos.com

Personal Website: https://andrejgajdos.com

LinkedIn: https://www.linkedin.com/in/andrejgajdos

Github: https://github.com/AndrejGajdos
You can use opaque types to encode constraints that the type system isn't able to express. That way you can have factory functions that apply any logic that's required before allowing construction of the opaque type. Now whenever that opaque type is referred to there's a guarantee that the data it contains satisfies your desired constraint.
Agnes Callard’s Marriage of the Minds
Dopamine Agonist Withdrawal Syndrome: https://pubmed.ncbi.nlm.nih.gov/23686524/

A Mucuna pruriens extract can have significant levels of L-DOPA, a precursor to dopamine.
It seems that we are being intentionally dense in this area. I don't think anybody is arguing that these tools, in their current form, are a threat. But Bing or ChatGPT are the shittiest version that's useful. It doesn't have to be perfect and useful for everything. The new Bing isn't even widely released yet. This will only get better with time.

They are up against traditional web search which has about a 30 year head start. There is a dissonance where some seem to think these aren't useful yet I see people getting a ton of use out of them.
This fact cannot be ignored, but we must also grapple with the question of whether betting your retirement on rising home prices is a decision that should be underwritten by the public at large.

My answer is no. I want to live in a world where goods and services are abundant and cheap, including housing. I own a house and benefit from the rise in prices but I'm under no illusion that this is beneficial to society. On the contrary, the rising prices are a calamity.

If we care about the wellbeing of our fellow people, we should desire that homes become cheap.
eh, I'm not talking about the CMS
you scan the QR code with your android phone. That will cause your existing phone to be unregistered.

What eSIM does is turn the physical smart card into a QR code which can be shown on a screen in addition to being printed on a piece of physical paper.
Thanks for the heads-up! Working on this now.
I interviewed several people that had switched from the travel and hospitality industries during the lockdowns.
Companies that have trouble hiring and retaining right now have at least one of three things: a stinky codebase, a stinky culture/benefits/work-life-balance (i.e. not WFH, micro-managing, etc), or uncompetitive salaries. The ones that have none of the latter problems sit around scratching their heads and writing posts like OP
Sponsored segments on YouTube. Billboards. Sponsored texts in newspapers. "YC XXX is hiring" on HN.

I use Firefox + uBlock Origin + Sponsorblock and a few others. Ads are still everywhere. Not as everywhere as they'd be without it, but it's not like adblocks get rid of them all together.
Facebook has done it with their iOS Messenger app

https://engineering.fb.com/2020/03/02/data-infrastructure/me...
Thanks!
I was wondering what kind of open-source models could exist for this.
I loved that video (watched it a long time ago).

The great thing about that video is that Ira Glass talks about storytelling / broadcasting, but he speaks at a level that is deep enough to connect to anybody in a creative field (e.g. writing, science, art).

His discussion about the need to produce a volume of work, killing your good but not great ideas, and persistence in failing over and over are keys to success in any creative endeavor.

Note in that video he speaks of two building blocks: one is anecdote as you mentioned, but also the other is questions / reflections. Both are needed for a successful story.
Because nix develop is inherently a flakes-bound feature, and Nix Flakes aren't officially stable yet.
What electronic voting machines ? They were fake news. /s
A lot of the lay-offs were senior technical staff though, at least at my company.

Like C++ Staff engineers, etc.

It seems more like a realignment to shift those jobs to cheaper subsidiaries like India, Pakistan, Mexico, etc.
Your examples are all physical. Delegating physical action comes natural because we don’t define ourselves by it. We are not strong and not fast. We do not care either, so long as we have tools to help us gain advantage.

Cognition however is what defines our very soul. Being human is intricately linked with it in a way that the physical is not. Stephen Hawkings could be an example of that.

Ceding cognition presents a very real and existential problem for humans. What’s left? We have literally no other defining qualities.

About your examples: people are more obese than ever and cars certainly don’t help. Only the elite few have the resources to focus on something as useless as running fast. “We” as a society cannot run fast(er) and I’ll indeed argue that this ability decreased because of technology. Not that I particularly care about running.
But.. never ghost someone. Tell them to their faces in more and more urgent and vocal ways how wrong they are. Don't let them speak presumptions unchallenged. Treat them as people you love, which means keeping them from making bad decisions because of believing nonsense.
I preferred Clubhouse to JIRA - why didn't you like it?

But yeah, JIRA is far from the worst of these tools IMO.
> Open competition would still provide a better outcome for us, commoners

Speculative. Or it could kill a bunch of people. Or even everyone in some extreme scenarios, either willfully or accidentally.
Ironically, your comment has the same problem the people you are complaining about are a complaining about ... 8 paragraphs as opposed to the GPs 2.

I'm not learning Roman History from youtube/tiktok, I'm trying to figure out how to factory reset my parents DVR. 10 minutes of rambling is not useful.
Hoping one round, RTO, etc. would lead to more folks naturally leaving and not needing to do a second round (to save on severance and PR).
I had a teacher that did this but his whole MO was teaching us good test taking habits. You speed through the easy questions so you know how much time you have to devote to the hard ones. I.e., if that’s the last place you look, that’s an issue.
> why do you guys use a dishwasher?

Try measuring your water usage with elbow grease.

An EnergStar-rating dishwasher has to use ≤15L on its normal cycle, even with a full load. Imagine how many dishes and pots and pans you can fit in a standard dishwasher.

* https://homeguides.sfgate.com/many-gallons-water-used-dishwa...
It's so solid, you don't even get syntax highlighting in pr reviews. Solid single color like I'm reading a legal document.

You want to write suggestions in your pr review? You can only select a single line and you will have to write a regular code block not a suggestion block.

Your comments and discussions over that line? Gone, after a force push bitbucket acts like it saw the blinding light from men in black.
Maybe that is not the issue. Maybe it is merely a symptom of how ephemeral and temporary existing systems are and 'Discord4Documents' is just a lazy way to port all the unsexy documentation to one place so that the ones that need to gorge on it, can.