skysight-inc/HackerNews huggingface dataset:
However, your policy might also contain (more likely) an arbitration clause, requiring you to submit any dispute to arbitration or (sometimes) a form selection clause, requiring you to submit a dispute in a particular legal forum other than arbitration.

Note: some states do not allow forum selection clauses in insurance contracts, by statute or by case law. However, that will not stop a company from boilerplating it in. so, just because the policy might have the clause does not mean it’s necessarily enforceable.

On the other hand, I get the point that they may just pay the money rather than send it to legal to handle. YMMV.
How fast is rolling Karp-Rabin hashing?
Show HN: Run Automatic1111 on Colab without getting banned w/ my Python package
A couple days ago, we released Auto1111SDK (https://github.com/saketh12/Auto1111SDK) and saw a huge surge of interest. We've compiled the current features of the SDK into a google colab file that runs on FREE, UNLIMITED colab with features such as:

- Downloading and running any civit ai model
- txt2img, img2img
- inpainting, outpainting
- upscaling

We can't get banned because we are not hosting a gradio UI - we're just a lightweight python package that uses A111 as its backend.

We'll be adding more features once we add more extensions to create the one stop shop for stable diffusion - all UNLIMITED and FREE on colab.

Please give us a star!
Have you seen the stuff that's available in VR these days? It's not just space, too; e.g. here's a pretty engaging game that happens to explain how biological cells work: https://www.youtube.com/watch?v=Exii5RPxMH8
From "Ask HN: Did studying proof based math topics make you a better programmer?"
https://news.ycombinator.com/item?id=36463580 :

> Lean mathlib was originally a type checker proof assistant, but now leanprover-community is implementing like all math as proofs in Lean in the mathlib project

Lean Mathlib is composed of executable proofs written in Lean:
https://leanprover-community.github.io/mathlib-overview.html
Hah, I'm right there with you. I'm definitely aware of capitalist realism, and what you said about hierarchies is exactly why I claim libertarians are right wing.
Primitive and less principled doesn't imply "downsides". Go is more primitive and less principled than Haskell, yet it's useful and oftentimes better due to its primitiveness. Cue is written in Go for example.
When I was working on m Masters degree in Electrical Engineering way back in 1978, when dinosaurs roamed the Earth :) I had a prof who was really amazing, he was a Comp Sci prof and he gave me a copy of GEB and it changed my life. OK, I'm probably overstating a bit, but that first edition copy, it's one of my prized possessions. Even to this day, every once in a while I pull it out and re-read a chapter.
The default tech experience is insanely noisy. Just try turning your ad blocker off and picking the default consent option for everything, especially outside the EU.

I spent a lot of work making tech quiet: https://nicolasbouliane.com/blog/silence

It's a miasma that some people just learn to tune out. I lost the habit, and experiencing their reality drives me nuts.
Honestly as much as I love Firefox this is an underrated concern.

Firefox allows their extensions to be far more powerful than Chrome's, but that power means they are also far more dangerous.

If Firefox were to really take off (like it should, imho), are we really ready for a web full of people being attacked by the worst spyware ever?

Chrome, for all its faults, has ruined their extension framework at least in part because they were trying to prevent this threat.

How do we make this work? Endless notification spam from the plug-ins? Expensive certifications for each plug-in release?
Quite right. Google and other commercial platforms may cut features or make breaking changes out of greed, while open source projects do it because they chase shiny things and can't be arsed to do legacy support. The end result is the same.
Costco seems to have perfected it by rarely having enough boxes at the cash, so forward-thinking customers do their job for them by grabbing boxes from the product shelves.
> it seems like most readers really enjoy it and learn a lot,

I think it's one of those books which most people actually don't enjoy that much, but don't want to admit it, because it has such an intellectual aura around it.
They sell those kinds of bags here too, but these are the ones that a lot of people in this thread are talking about

https://www.northjersey.com/gcdn/presto/2019/06/07/PNJM/74a3...
“A couple years”… is that better？

I’ll even proclaim that years is an unqualified correct descriptor of 2 to 2.5 years.
Especially when things are moving that quickly.

Look, it’s not like Windows 95 came out and there were a bevy of games people wanted to play that Christmas, and I was correcting a comment that suggested it was mere months before the platform was a serious target. Oh, and not even for ‘96 either!
In October of 1995, Bill Gates is literally in Doom implying you need Windows for gaming. As far as I see it, it was just over 2 years, ie years, before that really meant anything. That short period of overlap time where releases were both DOS and Windows crucially didn’t help Microsoft’s bottom line the way they were aiming for.

You seem hell bent on convincing yourself that nothing of interest happened in 96 and 97 on the gaming front. Yes the period of time may not have been that long, but the flip side is 96 alone was a hell of year.
grocery bags are made from newly produced plastic (sametimes clean recycled ak highest grade, because food requirements).
Garbage bags, on the other hand, are made from the lowest possible grade recycl, which can't be recycled.
People keep hacking up YAML with templating to produce a configuration language which is a bad solution (see for example https://leebriggs.co.uk/blog/2019/02/07/why-are-we-templatin...). The problem is that the people who are using templated YAML don't really want to learn a full-blown language since the vast majority of them never, ever want to write a compiler or a highly concurrent HTTP server. They definitely don't care about functional programming or want to know what a monad is or want to have to learn about first class functions and closures or async/await. They just want a pretty trivial language that you can learn in a weekend or two. The kind of necessary complexity that you might 'add' to such a language before anything else is making it side-effect free so that you can't alter the running state of the system in the language and the purpose is to render a YAML/JSON/TOML config to feed as declarative config into tools like terraform. That focus is much different from a programming language which gives you the ability to execve() arbitrary commands and comes with concurrency primitives that templated-YAML users just don't care about at all.

When you look at it from the perspective of someone who already knows a computer language well it doesn't seem useful, but the point is to address the users who don't know any computer languages particularly well.

And 24 years ago I thought we needed to just use general purpose computer languages and turn system administrators into programmers (or fire the ones that wouldn't learn) but that has clearly never happened, and we're retaining the less-technical-than-SWE roles who manage infrastructure, although its now DevOps people managing k8s with YAML. If just using a general purpose language met the social needs that we have then it would have happened already. The existence of templated YAML and its overwhelming success proves that there's a need that has to be met. I'm still skeptical that any of these configuration management languages is thinking clearly about what need is driving templated YAML though, but its nice that there's an explosion of them so that hopefully sooner or later one of them will really stick and become popular.
They went too extreme. Maybe let people buy the device but it still needs to be manufactured to regulations.

However I don’t know enough about CPAP to judge whether you should need a doctors cert or some kind of training cert on the device. Can a CPAP harm you if you incorrectly use it / use incorrect settings?
The DSM-V is about clinical diagnoses. Mental disorders are understood as something everyone experiences to varying degrees. You're considered to have something clinically when it impairs your daily life, something psychiatrists have defined as being 3 σ away from the average number of symptoms someone would report.

In this example struggling with things like math wouldn't qualify as a disability unless it impaired you in a statistically significant way
For those who are looking for a cpap now in the US (maybe for other countries - haven’t tried) - https://cpapx.com/collections/resmed/products/airsense-10-au...

You can order one for 450 before taxes there.

You will have to email your prescription though before they process the order.

Ordering a backup one (or more) is very useful to leave in your travel suitcase etc
>it had zero day exploits as recently as 6 months ago

That not a measure of security.

How many malware exists for MacOS compared to Windows.
Does that mean MacOS is safer?

You could easily argue the other way around that WebP and say has more undiscovered exploits.
Phalanx: “is it for me???”

https://www.reddit.com/r/NonCredibleDefense/comments/13kd6m0...
I'm so excited about the malleable software / local-first / local-AI crossover, I feel like we are at the dawn of a new era of software. If we play our cards right, we can bring back control of our data from the large corporations, have ownership, and more control of how we work.

I'm particularly interested in how general purpose CRDT toolkits like Automerge and Yjs could become the backing filetype for local-first software with interoperable sync/collaboration backends. The user can then have direct access to the underlaying data via standard tooling. Files can be linked, embedded within each other, forked and merged.

We could have a new hypermedia platform built on this, where all documents are possible to be shared, forked, edited in realtime...

Basically, love what you are all doing at Ink and Switch, excited to see what you publish next.
Oh is that what the online/offline stuff in their docs mean? I’ve never heard of that technique being used before, that’s really interesting
You have proof in sarcasm quotes, but it counts https://en.wikipedia.org/wiki/Proof_by_exhaustion

In my university math departments putnam problem competition (they'd just be on the wall, prize was a $40 giant pizza each week) they would accept the most elegant solution, so if nobody else submitted something better I'd get a pizza for just running a few lines of python.
truth is stranger than fiction

in my experience thats true, its less familiar
From the article this was an employee in Hong Kong on a video call with people supposedly in the UK.

Power distance might matter, depending on nationality of participants.

Also if English is a second language, then perhaps the sound quality of the synthetic voices wouldn't need to be as good - we are surely better at recognising voices in our mother tongue.
> Me and many other restaurant workers I knew were annoyed by his sensationalizing this. But I've never met any of them that didn't happily forgive him

I know at least one professional chef who didn't. They also supposedly ran into him in the city a few years before this article was written and said that he was, to paraphrase, not an especially nice person. ¯\_(ツ)_/¯ I've only ever been on the periphery of the industry so I can't really judge. I have, however, worked with enough intensely-talented people to know that intense personality traits are sometimes par for the course. If you can't separate the art from the artist at least _some_ of the time then you'll run dry of things to enjoy.
> Indeed, Ulysses is almost nothing but "unnecessary detail", to the extent that it makes the book all but unreadable

I was always apprehensive of reading Ulysses… until I did. And then I read some basic analysis of it and then read it again and now I’m slightly baffled why people find it _that_ difficult. Yes it’s not at all typical but it’s really not that hard and it’s definitely no Finnegan’s Wake. Now that’s a challenge!
It is a good book, but it is a shame that so many pitch it as being a portal into a new and transcendent plane of understanding. Especially with it being a rather difficult read it leads to people trying to get more out of it than was in it to begin with.

To quote one of my professors from back in the day: “Life is short and you don’t have to read it if you don’t want to”
At a high enough level; science, math, software; anything that requires super human focus basically.

Speaking for myself, I had to learn everything about human behavior from the ground up, which paradoxically makes me very good at reading and dealing with other humans IRL since it's all conscious for me.

But, it's super important to remember that it's a spectrum, some people are seemingly seriously disabled by it.
I have Kaiser and when I need a new CPAP or supplies I just order from CPAPMan or whoever, and pay out of my HSA account. Not all plans allow HSAs though.
This is just nonsense. Depending on the severity, autism makes a person completely dependent on other normal people (neurotypical is just a pc term) to simply survive. There's no degree of "normalcy" that, the more "severe" it gets, the more dependent on others you become.
Then buy a M2 instead, or a Thinkpad or something.
The point is that you aren't reusing them. Comments like this are after they banned people smoking indoors, complaining "all this did was make us walk outside, which is a huge waste of time."

The point is to change behavior. If you're choosing not to change your behavior, that's fine. Most people are changing their behavior.
I took the book with me on holiday and I couldn't put it down, almost literally reading right up until lights out each night. I was surprised and somewhat disappointed to be done in short time. The literary writing combined with the deep mathematical/philosophical meanings is entrancing.

I don't often get to meet people IRL who have read the book and wish I had more opportunities to discuss it. One (of the many things) that stuck out to me was the idea of foreground and background. Prime numbers to me is background that remains when you construct all the composite numbers, so technically they're 'non-composite' lacking the property of being a product of distinct numbers.
There's a fair few FOSS projects that have a bus factor of 1 or 2, it's one of the things I check these days before considering adoption.

That said, having multiple core contributors isn't always a guarantee either if they're from the same company, that's another bus factor of 1, especially if the company's core business isn't selling software to others, they'll usually end up neglected or abandoned.

Great examples are Robinhood's Faust library, and Shopify's stewardship (or lack thereof) of Sarama. Not their core business, so eventually, the devs get moved on to stuff that makes money directly.
It doesn't matter. Everything has security holes.
Consider it the Lisp equivalent to _whys poignant guide to Ruby.
>I don't think most of the readers on HN understand the level of sacrifice required from everyone to avoid the worst of what's coming. It's going to require a lot more from everyone than using reusable bags while shopping or avoiding straws/using metal ones.

To be frank, I don't think we will avoid the worst of what's coming. Because a lot of it isn't in control of consumers but from business emissions.

e.g. wouldn't mind the ability to stop using my car tomorrow if I had reliable bus schedules that weren't separated by an hour per stop, but I have no faith that the transportation for my city will ever fix that in a timely matter. There's also negative inventive from stuff like ride-shares to want to fix that. WFH is another way to cut down on emissions to compute but instead companies are hunkering back down because they gotta justify their sunk cost on buildings.

That's 2 of some dozen problems that could prevent the worst but whose cards aren't completely in the hands of the person. It just feels so hopeless.
A bit of greenfield NIH is damn fun through sometimes :-)
Please explain to a foreigner, what the hell happened to make her enemy #1?
I’ll preface this by saying I’m neither a vegetarian nor a vegan.

The meme about vegans being this way exists for a reason.

Mostly this is due to people who eat meat being unwilling to be faced with the actual impact of their choices, and in turn hamming up the existence of this attitude.

I'll grant that maybe 50% of vegans aren't raving lunatics. But the ones who aren't raving lunatics need to distance themselves from the raving ones.

No they don’t; you need to learn not to apply broad brush strokes to a large community. It’s a you problem.

I’m sorry you have an asshole relative. But the overwhelming majority of vegans don’t give a shit about you or your choices - certainly on a personal level.
My first child called cemeteries “zombie farms.”
https://en.wikipedia.org/wiki/Orphans_of_the_Sky
Being at an event is very different than watching on a screen,
from a not-so-recent hockey game experience:
during the breaks certain song snippets or chants caused thousands of people to stand up, move in a seemingly synchronized movements and speak / yell, sing whatever..

You may feel compelled to stand up when others stand.. to move a bit.. you feel it's normal to move and make noise, it's okay.. you expel energy.. if you go enough you learn the songs, the words, you jump at the chance to exclaim..

which is not normal in most people's day to day I think / feel..

There is an energy, and an expelling of energy in these group gatherings..

Something that is not allowed in our normal day to day - that I appreciate exists with these sporting things.

I often ask, what spaces exist in our modern society where it is okay for men to (and yes others not just men) shout, cry, touch each other, to cheer, to (word for opposite of cheer? - express sadness / loss).. together or even as individuals..

Some of this can be done with associates watching the game at home / sport bar, etc to a lesser degree and depending on your local conditions -

Yet there is something about being in the group place where everyone has to be a certain class to be there, and others are expressing..

I guess it's similar to some church type events, where being there can make you feel empathy easier then just watching..

I'm also wondering what other types of experiences / places / events allow for these expressions in modern day life.. perhaps there are more of these outside the US? or outside what I know to be 'normal' ?

Closest I've seen is bonfire / drum circle kind of thing maybe.
Are helically-polarized emissions more likely to have higher S/N at range and through e.g. plasma? https://news.ycombinator.com/item?id=39119248#39132365
Yes, it's my impression that the submission link should be https://github.com/alexzielenski/Mousecape/issues/219
iOS has the paying customers who respect developers by actually paying for their apps. This makes hackers rage and bite the hand that feeds them.
I love Ulysses and metafiction in general, but when people apply this kind of writing style to philosophy it drives me a bit up the wall. Philosophy at the end of the day is about arguing a point; it isn't about producing an aesthetic experience.

So why would you abuse your reader by making it a pain in the ass to figure out what you mean? I know there are some fancy arguments around stretching limits of language, but none of them seemed all that sensible to me. The only advantage I see to obscurantist writing is that it makes it impossible to critique the philosophers work. Any critique will just be met by the response that you didn't fully understand the author's argument. The Searle/Derrida debates are a great example of this. The upshot is that people spend all their time debating what you actually mean. Which I guess is good for the philosopher's brand, but doesn't advance knowledge much.

This isn't to say that you can't have beautiful writing in philosophy. I think Gaston Bachelard is a great example of both an elegant writer and a clear writer.

That being said, people really really love GEB, so it probably is worth reading regardless of these misgivings. One of these days I'll get to it.
Hmm, is it possible that this could be partly caused because the water gets sucked not just directly down the pipe, but around the lip of the pipe opening... and one edge of the pipe opening is further away from the center axis of rotation (of the whole sprinkler) than the other end of the pipe opening. I'd think that whether or not this would have an effect could be easily tested by varying sizes of the pipe opening or how far away the opening was from the center to see if it made a difference -- even if the bends in the pipe were the same (the authors seem to attribute the whole effect to the bends in the arms).
Does anyone know how to make game? Im trying to make a bunch of video game titles (I got some through different means) but without computer, Nintendo, console, game etc its been tough
Your 'raving lunatic' sort of vegans (I wish you weren't so pejorative, but hey, I'll roll with it) are probably expressing deep frustrations about the meat and dairy industries (many of which are completely valid) at the only people they think they can influence: family and friends.

Sorry to hear you've got such a grating relative, but I assure you most vegetarians and vegans don't make it a point to piss people off (unless first provoked); they're just trying to live with the choices they have made.

I personally believe in leading by example rather than trying to outright convince anyone that my choices are better.
Recently, as an experiment, I've begun compartmentalizing my digital tools.

I've set up different system accounts for different tasks, then I configured each account with its own privoxy proxy that blocks websites that are not related to that task. The proxies are there basically as a reminder, since a lot of these tabs tend to open without thinking of it.

So for example, on my work account, I can't use social media and news; on my social media account, I can't access github, access dashboards, or check my mail. Phone's on the work privoxy too.

The idea being that distracted context-switching, e.g. opening a hacker news tab any time there's a moment's pause in what you're doing, a moment of frustration, of boredom, any negative motion; that this is a major part of the problem.

This doesn't prevent me from checking up on social media (I'm doing it right now!), but it does mean I can't do so while supposedly working. To use social media, I need to log off the work account, closing anything I'm doing, and log into a different user. That's a lot of friction, and as a result, is something I do maybe once or twice a day for ten to fiteen minutes. I usually don't really find much to engage with and then log off.

I do find myself needing to make active choices a lot more. Like if I find I don't know what to do next, I need to decide on something. I can't just default to grabbing my phone and start cycling through the usual tabs. It's taken a while to get used to reading these moments as cues for getting off my ass and doing something, but it's also incredibly impactful.

The critical part of the regimen is that it does not have many of the drawbacks you get with going offline completely (or using a dumbphone), where you can't park your car because you need an app for that, or people try to get ahold of you and messenger isn't working on your brick.