skysight-inc/HackerNews huggingface dataset:
It has been in my TODO list for a while to explore my programmable keyboard for this task.
My ex-CTO used my resources to build something else. It was my fault that I trusted blindly.
"Ironically, I've had far more problems with Linux systems using extfs losing data or requiring very lengthy fsck'ing after hard resets than Windows 9x or even DOS on FAT, despite experiencing more hard resets and routine hangs in my use of the latter."

Your experience does not match the vast majority of users. The only OS I lost data on was on Windows when a drive crashed hard. When the same happened years later on Linux, I lost exactly nothing.
I've been using Tweetbot exclusively for several years. I've been hearing about Mastodon for a while on HN, especially surrounding the recent Twitter drama, but have never looked at it. Not even searching more on what it's about or how it's different from Twitter (again, other than what context I gain from HN discussions).

After the Twitter API shutdown (I'm heavily suspecting it's intentional/permanent), I blindly downloaded the Mastodon app. The homescreen has two buttons: Create Account and Log In.

I click Create Account and I'm presented with a list of servers that I can filter by interest. I'm thinking "I don't want to join a server, just let me create an account and start following feeds."

I imagine it's like Discord (maybe?), where you actually join a community of other users based on an interest. But if so, the current list of Mastodon servers feels very limited (i.e. no US-based regional servers, no "interest" server that interests me) -- so what do I do? I'm assuming I can just arbitrarily join a random server, but that just feels completely unintuitive.

I just closed it, and will wait to see how the Twitter drama unfolds.

Needless to say, if Mastodon is looking to replace Twitter (maybe they're not?), they need a better, more frictionless way to onboard new users. I'm sure I could spend 5 minutes online to figure out what the point of joining a server is, and how to decide which one to join. But I shouldn't need to.
Most of the funds were lost into building the product.
Economics is a strange field. True statements are “fallacies” and fallacies like the rational actor model are axioms.
Gut feeling: the work was outsourced / off-shored, and the team was a set of "outside" developers.
Yeah, and their next figure isn't any better. They show a latent space interpolation figure from DDPM, and they seem to think this is how Diffusion models produce a "collage" (as they describe the process). Of course, this figure has nothing to do with how image generation is actually performed. It's just an experiment for the purpose of the paper to demonstrate that the latent space is structured.

In fact, this only works because the source images are given as input to the forward process - thus, the details being interpolated are from the inputs not from the model. If you look at Appendix Figure 9 from the same paper (https://arxiv.org/pdf/2006.11239.pdf) it is clear what's going on. Only when you take a smaller number of diffusing (q) steps can you successfully interpolate. When you take a large number of diffusing steps (top row of figure 9), all of the information from the input images is lost, and the "interpolations" are now just novel samples.

It's very hard for me to find a reason to include Figure 8 but not Figure 9 in their lawsuit that isn't either a complete lack of understanding, or intentional deception.
I wonder if all the addiction related to internet (porn, gaming, surfing, you name it) has anything to do with our daily routine (aka work) that is so boring that we want an immediate and constant distraction
Yeah once you start thinking in evolutionary terms you see it everywhere. Like why do we have this discussion via interactive documents? The web has a sort of evolutionary fitness that lucked its way into being a popular app platform.
> People are (and should be) questioning the use of the word addiction. One of the components of addiction is: is it causing a harmful, unwanted effect on one's life?

Meriam Webster's second definition doesn't mention causing harm:

> a strong inclination to do, use, or indulge in something repeatedly

So, according to the way people typically use the word "addiction" and the literal dictionary definition of the word, it doesn't need to cause harm to be considered an addiction. I can readily admit that I'm addicted to coding. I feel a compulsion to code for ridiculous amounts of time, and that has caused a lot of good in my life. But, like with everything in life, there needs to be balance.

[0]: https://www.merriam-webster.com/dictionary/addiction
You've made some errors in reasoning.

First, there is a legal definition of a "derivative work" and there is an artistic notion of a "derivative work". If the two of us both draw a picture of the Statue of Liberty, artistically we have both derived the drawing based on the original statue. However, neither of these drawings in relation to the original sculpture nor the other drawing is legally considered a derivative work.

Let's think about a cartoonish caricature of Joe Biden. What "makes up" Joe Biden?

https://www.youtube.com/watch?v=QRu0lUxxVF4

To what extent are these "constituent parts" present in every image of Joe Biden? All of them? Is the latent space not something that is instead hidden in all images of Joe Biden? Can an image of Joe Biden be made by anyone that is not derived from these "high order" characteristics of what is recognizable as Joe Biden across a number of different renderings from disparate individuals?
> A capability is like a $5 bill.... a stand alone one time access to resources.

It's rather not like this. A capability references the resource(s) that it gives access to. Better off with an excerpt from Wikipedia:

> A capability (known in some systems as a key) is a communicable, unforgeable token of authority. It refers to a value that references an object along with an associated set of access rights. A user program on a capability-based operating system must use a capability to access an object.

The catch phrase I keep in my head is "possession is ability" and similarly ability requires a capability (token). The capability names the resources, the actions, etc. The system does not have to look up the token somewhere to see what the authorizations cover, it's in the capability itself.

There is some detail in sharing between processes, e.g. the capability being shared has the capability to share it, and use of a mechanism that maintains integrity.
It was definitely an expensive mistake but I wouldn't be where I am without learning from these mistakes.
I've never liked animations in interfaces like this. It was fun to play with when Compiz was new, but it doesn't make the tool any more useful or pleasant for me to use. At least it's not as bad as the OSX "magic lamp" minimize.
It depends so much on the app and behavior you want - to show partial data or not, to do things in sequence. What do chapters stand in for in this example?

Yeah, in this case I thought it might be nice to show a "failed to load" message for each failure. Maybe this is a chronological Mastodon timeline, or a photo gallery. Do you want to error the whole UI for one failed object? Maybe

But trying to do something useful with all failures it's a general rule that I think guides towards good thinking about UX and fewer unhandled rejection warnings.
my technique:

me: [scans resume] ... "tell me about project y here"

interviewee: [tells me a bit]

me: [ask questions, listen, drill down, listen, get gently more and more technical, back off if I hit a soft spot and find another place to drill down]

repeat, repeat.

I find its a good way to determine the candidate's strengths - versus freaking them out with a gotcha that's irrelevant to their skillset.
I am so sorry to hear that.
It's a classic system design failure, but it's 75 years old! It predates much of the learning on designing for human failure.

(Various elements and automations of the system have been created and updated, so these could have included improvements in design.)
A thought that just popped up in my head: I wonder how a priest would react if someone came to the confessional to talk about Docker and the Open Container Initiative (:
> "If I don't quit this, then I'll never do X.. and my life amounts to nothing"

I've thought this a lot and honestly? I retreat back into the internet so I can forget about it/put it out of mind for a bit longer.
Windows due to power outage and could not recover, yes. Linux, no. As another poster in the thread, your reported experience does not match the vast majority of reality.
Think of it as manual testing where your work is captured so it can be ran later in an automated fashion. There are many problems where verifying the answer is easier than coming up with the answer.

Asserting formatted output can also be really useful. A picture might be worth a thousand words, but when it comes to tests it can save you a thousand asserts. Writing those thousand asserts separately also would be so tedious that in practice you'd probably not write them all, leaving part of your output uncovered by tests.

When I wrote a LALR parser generator for fun, I added some code to print out a nicely formatted parsing table with debugging information. Besides being useful for debugging, it let me write simple yet powerful tests: I would feed the generator a grammar and then assert on the formatted parsing table. That made it easy to verify that I was asserting the right thing, and let me assert everything in one go.
> Stop using the medical word addiction in contexts where it's highly inappropriate. Youtube isn't even a single thing

You're playing with semantics in a context where

1) everyone understands what the author is saying when talking about addiction, making it appropriate to convey what they mean

2) the word pre-dates DSM, the fact that DSM defines that in a medical sense doesn't change the definition from the dictionary, which fits very much with what the author is describing (1). That's very much you getting angry at sound engineers because they are not engineers per the sense of professional colleges, whereas that's how their profession is called.

3) Give time to all the troubles created by digital products to be studied, understood, and make their way into that guide. Psychology and mental afflictions are still a very evolving field of medicine. DSM is changing to reflect that, a notable change between IV and V was regrouping AS into ADS because the symptoms and the underlying cause are similar. The is the case for what everyone calls digital addiction. I suspect there will be some forms of that formally coming up.

4) the dependency mechanisms work in the same way, people suffering from it have the same withdrawal symptoms. There's some valid criticism for the DSM not to categorize it as addiction (2)(3).

> Video addiction is not a thing. See how stupid it sounds when you say it like it is?

5) the author's struggle to disconnect is real, the impact on their life is real, their pain is real. I am not sure what authorizes you to discard their pain, and to qualify this as stupid. Show a little empathy.

1: https://www.merriam-webster.com/dictionary/addiction
2: https://www.psychologytoday.com/us/blog/addiction-in-society...
3: https://unitedbrainassociation.org/brain-resources/digital-a...
Sure. Impulse control plays a major part in both though, which is mostly why I find it funny. My ex-boyfriend had ADHD and swore off video games for the same reason, but he'd end up watching YouTube for hours if I left him unchecked. Nothing necessarily wrong with that, but I feel like the difference between both addictions is smaller than it seems.
I agree that you don't have to have a distorted view of reality to present one, and that would be bias.

My understanding and take is that bias is basically synonymous with error, either explicit or by omission. Claiming that a conclusion is biased is the same as it is wrong or incomplete.

My question is rather can someone be biased and correct?

If I'm paid to advocate for something, does that mean that everything I say is biased, and therefore incorrect?
I sorely miss tiling WMs when I use MacOS; Amethyst and yabai just seem to big out all the time, lose track of windows, get confused by native tabs, and deal poorly with windows that force maximum/minimum sizes. I've concluded that MacOS's window model just really doesn't mesh with tiling.
My current solution, after much experimentation with tools like Rectangle, Hookshot, and Spectacle, is to use Swish[1]. It feels sort of like an inside-out version of how I use Sway on linux. With Sway each window that I open is tiled onto the current desktop, then I re-balance the split or reposition the window with my mouse, and set the window to float if it doesn't cooperate.
With Swish each window opens as floating, but by swiping on its title bar I can tile it into whatever position I want. This defaulting to floating works better on MacOS where the frequency of uncooperative windows is much higher than on linux. The killer feature of Swish for me is that it keeps track of the grid you make by swiping windows into place and maintains it even when you resize or reposition windows relative to one another, much like i3/sway.
It's still quite frustrating though that I have to pay $16 for an app to make window management bearable. This is a basic OS feature that I've come to take for granted.

1: https://highlyopinionated.co/swish/
I guess Mastobot didn’t quite sound right
Please tell me someone has the original archived somewhere. The comments just.... I have to read this.
I would assert (with no legal backing, since this is the first suit that actually attempts to address the issue either way) that the trained model is a copyright infringement in itself. It is a novel kind of copyright infringement, to be sure, but I believe that use of copyrighted material in a neural net's training set without the creator's permission should be considered copyright infringement without any further act required to make it so.
Check out https://github.com/ianyh/Amethyst I’ve been using it for years and it makes MacOS window management a dream.
We're comparing what you get for the money.

A $100 developer account from Apple allows you to sign software so that there will be no scary dialog boxes when a user downloads your software off the internet and opens it.

An ~$100 code signing certificate for use on Windows will allow you to digitally sign your Windows application, but users will still see a scary dialog box from Windows SmartScreen when they download your software unless you spend a good bit more to step up to an Extended Validation certificate.

If you don't want to pay, you'll just have to accept that users are going to see a scary dialog box, and take care to warn them that it will happen on your website.
I think what startups truly need is patience and a good mentor who have done it in the past. Most startup want to break things and move fast, burn capital. Instead, startups should move slow initially. Spend the first 5 years in the build phase and the next 5-years should be the growth phase.
Well, I've done a number of ABX listening tests (apt install abx) and to my chagrin simply could not tell the difference.

I challenge everyone who feels strongly about this to actually bust out abx and do some listening tests comparing flac to LAME-encoded extreme MP3s and prove to yourself that flac matters at all on your equipment. And then share your results with us if you want!

https://manpages.ubuntu.com/manpages/xenial/man1/abx.1.html#...

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

But yeah I should put the command to encode to flac there for people who prefer it!
In [0], Carl and Moroz give an explicit polynomial in 3639528+1 variables such that: a well-formed formula is a theorem in the first order predicate calculus if and only if the polynomial parametrized by the Diophantine coding of the formula (a single natural number) has a solution in N^{3639528}.

From this, they get an explicit Diophantine equation such that: the Godel-Bernays set theory is consistent if and only if that Diophantine equation has no solutions (and thus the same is true
for ZFC, since NBG is a conservative extension of ZFC).

[0] https://link.springer.com/article/10.1007/s10958-014-1830-2
Yeah and selling apps on Apple hardware will surely be top priority in such cases.
It'd be nice if people who insist on distributing software with Docker at least made sure their images worked with rootless Docker. An ecosystem that worked with rootless Docker and that didn't leave large stray image files behind silently eating up disk space wouldn't be that bad.
I never understood that either, maybe redbook doesn't have a strict error correction like data CDs have? That's the only thing I can think of but that seems weird though.
It might not be the CTO's fault at all - maybe they inherited it, identified the issues, and are getting them solved.

Probably not in this case, but you couldn't assume for every...
Like a cloud created by a UAP?
The lede reads, verbatim: "The computer failure that prompted a halt of all US flight departures was caused when a data file was damaged as a result of a failure to follow government procedures, the Federal Aviation Administration said Thursday."

It is clearly implied that had the rules been followed, the corruption wouldn't have occurred.

Your blame-the-FAA scenario where the rules were incomplete or flawed isn't ruled out, but I don't see value in asserting it without evidence. I think it's perfectly plausible that someone just cheated a bit. That's hardly a rare situation in any IT environment, and so it seems like Occam favors the article's interpretation.
Try yabai.
How many did you hire?
Great reference. Thank you. I think simulation is underused as a thinking aid and pedagogical tool.

In statistics Andrew Gelman has been championing simulation lately.
>fighting the last war?
Why? What is different now?
Yes, a company has the right to do whatever they want with their products.

It is up for the customers to validate their business decisions.
I like #7 very much. One should talk a lot about your concept before building it. Don’t worry about anyone stealing your idea.
I have to wonder if it's like doping in some sports, where cheating isn't easy to detect, and then people feel obliged to cheat to keep up with other cheaters, making cheating common.
Distributing software is inherently not a zero cost process and it suggests an amount of ignorance in the space to say that it is.

I’ve been paying the $100/yr to sell my iPhone apps since I was 15. It’s really not very much money, even to a high school kid.

I think this is the first time I’ve seen someone dig in so passionately that the fee is unreasonable. Most people just pay it and keep building.
What extensions have you tried to limit your usage?
JPMorgan says it was duped by founder who made up 4M customers
In London I always prefer the underground to a cab after a night out.

The car is driven by someone tired yet in a hurry, on busy roads with (usually) lots of turns. There's not much space.

Way outside the peak times, the train is spacious, brightly lit and there's almost zero risk of an accident. 10 minutes walking at either end is probably a good idea after N hours in a bar.
This is the first time I am submitting something like this on Hackers News, so wasn't sure if I am allowed to post about the company details. But I can share more details if I am allowed.
The title “I lost over $200k” shortly followed by “do not trust your team” creates an implication that somehow they stole or swindled it from you, whether that was your intention or not. I think it would be good to add some clarity around those two key pieces of information. If all that happened was that you paid your team, then where does trust tie in with this story?
ah yes, the artefacts of the good old web
This could be great for university.

Suddenly thousands of mediocre low effort papers are no longer sufficient to get a degree.

Many students will have to put in real work. Others won't graduate and have to look at trade school or alternatives.

College degrees will go back to meaning the holder has an advanced, specialized education and no longer be required for low end jobs as a bad filter.
I actually do have an (adult) ADHD diagnosis, though I've always been a bit sceptical of it. It seemed too easy to get and I really didn't think the testing criteria were very good.

I have wanted to try medicine to see if it helps me at all, but I've never been able to do so. My GP was willing to perscribe me something, but decided my BP was too high and that was that.

There are definitely anxiety issues at play as well, but I don't know to what degree.
I love how people talk about not using electricity with various groups and how they did it for hundreds of thousands of years.

Completely missing that their own ancestors did the same thing until at most 150 years ago. In fact, i know my father had no electricity for the first part of his life and he lived in Alberta, not exactly the middle of the congo.

Not using electricity is not the exception, its the rule. Until very recently in human history having grid power was impossible.
It is true now. Fifty years ago, not so much. The first crackdown on chemicals was - I think but could be wrong - the precursors for quaalude manufacturing…it came even before the US got serious about drunk driving…around 1982.

Oklahoma City made explosive precursors an area of concern, but meth precursors are a 21st century prohibition/restriction.

Anyway, your local police are likely to have live access to security cameras in area businesses in addition to real time license plate readers in cruisers.
Since when did epoll got better than Solaris or Windows alternatives?
I see your point and identify with the frustration, but at the end of the day that's kind of the entire point of Mastodon and the main distinction that makes it stand out from Twitter. It's decentralized. There is no one server, and there can never be a complete and up to date list of all servers. Discord isn't a perfect comparison because even though they separate communities and sign-ups, it's still all hosted and operated by Discord.

The most frictionless way to join Mastodon is when a friend or group of friends invites you personally to theirs, or if you discover a community online that really jives with you and you want to join.
I agree, I write JS professionally.

But there is a _qualitative_ difference between interactive development between JS and a Lisp like Clojure. And "pretty much" is also qualitatively less expressive than "everything is an expression".

I write expression based, simple, mostly functional JS and I use tools to make that as interactive as is practical. But there's still a lot of friction and differences between that and development with a Lisp (in my case Clojure).
Are you unemployed or millionaire?
> when I asked it who was “President in 2022,” it responded (inter alia) with “My training data only goes up until 2021, so I am not able to provide information about events that have not yet occurred.”

> Notice that it goes off the rails in its answer because it wrote me that in 2023!

This is not a mistake. If the bot is trained with data only up to 2021, then for the bot 2022 is in the future, no matter when you ask, in 2022, 2023 or in 2030.
YouTube is addictive, as is much of what the internet has to offer. It’s hard to fight the algorithm, which is always finding new things it knows will pump the dopamine cycle.

If the internet has you so addicted that it’s wrecking your life, it’s time to see an addictions specialist. I don’t think there’s any easy trick, just as there is no easy way to quit smoking or drinking. The causes of addiction are various and it doesn’t make sense to try to figure this out yourself, just as much as you wouldn’t be well advised to fix your own cancer.