skysight-inc/HackerNews huggingface dataset:
Or you can just use staging to bunch up your changes until you are ready for a logical commit....

the problem with your approach is that sometimes, changes are logically grouped but cross file.
How about a sister site called notyourip.com that shows someone else’s IP address?
Although I see the benefits of SaaS, I very much like this model.
Yeah ironically Kanye is probably one of the worst examples the guys discography is pretty amazing in terms of production and cultural significance.
I previously posted about PriceTable (https://pricetable.io), where I’m the cofounder:

https://news.ycombinator.com/item?id=26855726

Since then we’ve gotten up to $3,500/mo. and will be hiring our first salesperson soon. Exciting and nerve-racking at the same time! (If you know anyone, please have them reach out to me at ege@pricetable.io)
I think this is due to the relationship with music changing. I'm in my early 40s now, but when I was in my teen/early 20s, I would buy a 1 or 2 CDs a month and I would listen to those CDs over and over again. I would study the linear notes and the cover.

Music is too disposable now. With my spotify subscription, I can still listen to those albums from the 90s/early 2000s over and over again, but there's just so much new music. Even new albums that I really enjoy, I'll listen to them a handful of times and forget about them.
I think part of the point of Zettelkasten is that by manually making the links yourself, you are forming the associations in your brain, which is part of the learning, thinking, and remembering process.

I am just now learning about it from the book How to Take Smart Notes, so I could be off, but that's part of the idea. With that said, I think what you suggest could possibly be a cool supplement or replacement.
I am highly skeptical that if you stopped a random person on the street that they would be able to identify who Kanye West is.
A problem but not a huge one in practice.

And you're neglecting the part of my statement you conveniently truncated.
I would go to the bank and get pre qualified for as much as I could. Then I would look for a house.
Luckily there are alternatives right... we're using Simple Analytics. Quite happy with. GDPR compliant out of the box and good ux
Yeah, it's an old trope that one generation hates the next's music. I was sure I would be more open minded. But I hear things like most of the past few years popular music, and I'm certain kids are just liking it because it annoys adults. It sounds like...purposefully dissonant noise. Maybe we're just getting old...
If you want a stand alone solution, Trilium Notes is a very powerful alternative.
How does a KDF add entropy to a passphrase?

I would expect the entropy to remain the same.
You would likely be surprised. There is a ton of strong software talent in the Ukraine and not quite as much demand as they’d probably like, with predictable outcomes in terms of the balance of market forces.
> Zen spirituality is just to peel the potatoes

But if you're ascribing a higher meaning to the act is it still Zen? Maybe true Zen would be not even knowing it existed in the first place.
This has been a Show HN/Launch HN before:

(Launch) Nov 2021, 85 Comments https://news.ycombinator.com/item?id=29176158

(Show) Mar 2021, 84 Comments https://news.ycombinator.com/item?id=26491764

(Show) Oct 2020, 168 Comments https://news.ycombinator.com/item?id=24898373
> But nobody ever suspecting they're the actors in the story despite the process being fairly unique?

In a past life I used to write for a local TV soap. I would constantly take personal events that my friends and family told me about, minimally jazz them up, and have them happen to our regular cast. I was there for five years and not one person noticed that their story was on the show. It's all about context.
The first part of that page demonstrates what amounts to pre/post conditions, but placed in the constructor. The range is checked dynamically, not statically.

The second part is using Peano numbers to enforce the constraint. I guess you could try and force that into some mainstream languages, probably C++. With its template programming you could get something going in this vein, though I'm not sure how well it would work if the number were calculated at runtime rather than compile time. You'd still end up with a dynamic check somewhere.
I would disagree a bit. If I bought Tesla, I would be buying it because of the visionary leadership and direction of the company and that leadership reaching into the future to build a vertically integrated battery/car/home power generation.

Each piece of the puzzle is worth money. All three parts together complimenting one another are worth all the money.

I think Elon should be able to push his board around to some degree, but more to the point, he should be able to make bets about the future. That's what Telsa is about, betting on the future.
I find new music I love on bandcamp, perhaps that's outside the data used for this analysis?

Anyway, I spend thousands of dollars on amazing music on bandcamp, and the artists get a higher percentage from bandcamp than a studio, so I'm making the best choice for me and the future of my music.
His math literally doesn't add up.
If you multi-task you need to ADD multiple multiplications, one for each task.
For example, if you perfectly divide all attention, time and effort in two tasks, you ideally get:

0.5 * 0.2 + 0.5 * 0.15 (given that the value of the first task is 0.2 and the value of the second task is 0.15)

One important point is likely, that there is overhead in multitasking, so the actual formula becomes 0.45 * 0.2 + 0.45 * 0.15 + 0.1 * 0
where 0.1 of the time is wasted in useless (value = 0) overhead (of switching tasks, getting into the zone and so on).

You may or may not enjoy spending time in this 'useless' overhead...
Using Thunderbird, create a new local mail account.

Connect to your gmail account using IMAP.

Drag & drop your emails from the original account to your local mailbox in Thunderbird. This process may require a little bit of babysitting, or work flawlessly without a hitch, I've seen both outcomes doing this for folks over the years.
I think you're going to open a world of hurt by doing that. The windows command tools don't really like .cpp, or a.cpp for files. If you _do_ have a file called .cpp and another called a.cpp in the same directory, explorer will display the asterisk as a missing character. calling `del .cpp` will delete both files too.
All the productivity cliches I needed I learned in Kindergarden.
The City got barely any quieter pre/post this 'mandate'. It was basically ignored anyway. Also it's just a rollback to plan A which was in place for months, plan B was only in force since mid-December.
> recreate it as a free regular Google account after the domain name has been removed from G Suite

How though? Create x@gmail.com and copy your old emails into it, change your domain settings to stop pointing to G Suite and forward x@example.com to x@gmail.com instead, cancel your example.com G Suite and your email should still be working....

But then what happens to apps and Android login that are connected to your x@example.com Google SSO login? You can connect this up to x@gmail.com?
Yeah I'd like to see a ban on intrusive advertising, so that (for example) to see advertisements I'd have to go to specific websites when i was actually looking for something I'd like to purchase. End direct mail advertisements completely, end e-mail spam.

We'd also probably be a politer and less defensive society if we weren't bombarded with constant arguments demanding we spend money on crap.
This is one of my favourite blog posts on the Internet and I implore every programmer to read it.

> The claim is simple: in a static type system, you must declare the shape of data ahead of time, but in a dynamic type system, the type can be, well, dynamic! It sounds self-evident, so much so that Rich Hickey has practically built a speaking career upon its emotional appeal. The only problem is it isn’t true.
Contact a mortgage company or mortgage broker and provide your w2s, tax returns and bank statements for the last two years and get a pre-qualification letter. Then go on Zillow and find houses for the loan amount and make a bid.
This feels like the same argument you'd here when electric guitars became ubiquitis. Or synthasizers.

Can you not create emotionally resonant music without vocals? You'd be hard pressed to find someone who doesn't think you can. What about with no vocals and only electronic instruments like synths. You can. So why does adding a level of "electronic" feeling production to vocals do anything different? Sure, there's _bad_ autotune. There's also bad singing without it. But there's nothing inherently wrong with autotune.
The only real way to gauge an "idea" is by implementing it and trying to market it

Ideas are valueless

Implementations may (or may not) have value

The Apple Newton was a decade too early

The iPhone was perfectly timed

The CueCat was 15 years too early

QR codes right on time

Try it and see what happens :)
Ok, but where is Zoom using a JIT?
If you have the money, in cash, for a 20% down payment then what’s the problem? If you have that at age 20 you have enough options that money is probably not your primary limitation.

If, at 20, you don’t have that money you have fewer options but you can still buy a house if you do some other things first. Perhaps the most direct route is to join the military and wait 3 years. Then you can build sufficient savings considering your living expenses can be near 0, but you will also qualify for a VA home loan that requires 0 down and no PMI. With the combination of down payment money and VA home loan qualification you have maximum options for financing and many product options in your income range after consideration of property taxes, HOA, debt to income ratio, and so forth.

If I could do it all over again I would maximize for short term equity. As a 20 year old you have almost no needs and can probably survive on a bunk bed sublet. This changes when you get married and have kids. Your needs for space explode. You will want to sell and upgrade.

For a 20 year old loaded with cash I would recommend buying garbage in a hot neighborhood and flip it. When you get older and need more space go far away from the trends. Get cheap land and just sit on it.
Congress Stock-Trading Ban Gains Steam on Rare Bipartisan Unity
90% of everything is rubbish. Most old music was rubbish too - it’s just been rightfully forgotten and we’ve only kept the good stuff.

Half an hour digging on a site like Bandcamp will prove there’s a vast amount of good new music, too much to comprehend. It only feels like there’s less good music because there’s vastly more music of all quality levels available now.

You’ve just got to steer away from the mainstream and look for it.
They are very useful for skimming; I usually only read pull quotes first and then the actual article.
> Go has a minimal type system, and is able to do much of Google's internal server side work.

And yet Go is adding generics in 1.8. And I'm sure its type system in another 5 years will be much more expressive than 1.8's. The community has long been saying that the minimal type system isn't enough.
Old music is just better. Try listening to the UK/YS top 40. I dare you.
I recommend Science News. It tends to follow conference proceedings and journal articles, and seems to weed out most of the crap news.

That means that the top news is often not all that important -- it's not as if earth-shaking discoveries happen every week. But it means that what they report is true and given the appropriate emphasis. They're trying to inform you rather than thrill you.
I've been reading people on HN talk about how Google is burning their goodwill and there will be Very Serious Consequences for a literal decade. Over that time Google stock price has gone up 10x.
Limitations from AWS SSO SCIM Specification
> The radio stations will only play songs that fit the dominant formulas, which haven’t changed much in decades. That’s even more true for the algorithms curating so much of our new music—the algorithms are designed to be feedback loops, ensuring that the promoted new songs are virtually identical to your favorite old songs.

"Programmed by a sucker in a suit — a slick back hair / And he don't even live here" https://www.youtube.com/watch?v=iiGOXmSmf9E
If you want to restart with someone to do the grunt work let me know :P
My Pixel phone (and the wife's) uses that account. Well this is going to be a fun choice.
WHO Chief Scientist: 'No evidence at all' healthy children need boosters
The reset part seem superfluous, most of this can be handled via rebasing. In fact, this is exactly what we do at <day job>.

Much like the thesis of this article, the goal is to have a set of well organized commits so that when it comes time to do a PR review, you have 1-3 logical units of change and it also improves the ability to do reverts.

But you can very easily do this just by rebasing instead of resetting and re-committing.

In particular, `git commit --fixup <ref>` and `git commit --squash <ref>` are extremely useful for this during the "WIP" stage as well as when handling PR comments, and these are things that I only learned about in the last 6 months. I would recommend doing a google search on "fixup commits" to learn more about them. I enjoyed this article: https://www.mikulskibartosz.name/git-fixup-explained/

Yes, rebasing is scary if you're new to git, but it does everything in this article in a way that's much cleaner and once you learn how to use it effectively you'll feel like you have super powers. It's worth taking the time to learn.
Your contempt is absolutely justified. I went through something similar myself. These people, who have absolutely no voice, are the victims of the virtue signaling, moral crusading army of idiots who are very happy to tell people like us that it’s wrong to want to die or to help someone to die. They sell today for tomorrow. They trade in the suffering of thousands so that they don’t have to confront reality or say something unbecoming. It’s truly infuriating because this results in real and profound suffering. When someone is in need of death, and is writing letters to god for a merciful death, what societal/cultural mechanisms are there to fall on? None! It’s a fucking disgrace and a stain on the human race that such conditions are allowed to go on. Truly on a stain on us.

It just boggles my mind that the moral crusaders scream endlessly about ending the suffering of these people or those people… and yet they do nothing to end the suffering of millions who are right in their back yard and who’s suffering can be ended relatively quickly and easily through very simple legislation, awareness and education. It’s the lowest hanging fruit and yet it goes unpicked.

And there is a large skilled nursing industry that is very happy to profit from it all…
>you would know this if you actually tried instead of telling me it's hard before you've looked

I did. I speak from experience, not conjecture.
I wrote a similar suggestion in 2011: https://sandofsky.com/workflow/git-workflow/

As far as I could tell, this was the recommended workflow from the earliest users of git. Look at the Linux kernel's public history.

When git gained widespread adoption, it was sold as "Subversion, but with cheap branching." People don't realize that this power requires discipline, otherwise you end up with complicated history that makes change management a nightmare.

In code review systems like Gerrit, you have to approve every single commit, and you can also enforce rules like "fast-forward merges only." It sure makes Github's pull-request model feel like an anti pattern.
Try adding Linkz.ai previews on your blog posts, and get another round of feedback :)
With discovery being AI driven and no credibility connoted by knowing bands - the music industry is in trouble as it has become commoditize to a certain degree. Listeners no longer have as much value or identity to who they listen to as there isn't any real effort to find music (by the majority of people).

That and artists needing to make big singles too monetize their work - so the approach to making music is different. Getting a movie/show themesong or leveraging another artists popularity to drive song plays

Musical instruments becoming quite inexpensive increasing the competition while the market place is increasingly fragmented. Former gate keepers don't have that much cloud [record labels].

As a former music head it really sucks to look at music from a business market perspective - but it really does frame what's going on.

There's a confluence of forces making new music difficult that and you would also think a lot of the items i posted above would make there being more higher quality music.
If you like content about old school tech check out Technology Connections on YouTube.
I agree with the thesis here 100% but isn't this argument prey to temporal bias? Its easy to compare the current moment with a much longer period of time (all other past moments), and have the current moment fall short.
Nah it’s actually a real issue, but concentrated among South Asians generally. Nobody cares in the generation born in the US but immigrants still have that mentality unfortunately
Sounds like a topic that would make an interesting blog post. If you do expand on the subject please share it!
I don't know how hold "older people" are - but I'm twice your hypothetical person's age

And I'd buy a house the same way today I would have 20 years ago - have enough of a downpayment (or be willing to accept PMI) to get the intetrest rate I want on a payment I can afford in a place I want to be

It's not rocket surgery
bye bye google; thanks for all the fishes
Why would you lose purchases? Can't you continue to log in with the same email@domain just with a different provider for mail / calendar / etc.?
What new music? Everything is hip-hop, rap, or r&b nowadays.

I just can't turn on the “new songs” radio station in Apple Music because 90% will be hip-hop & rap.

I imagine how modern music producers are fed up by an endless stream of demo records from ‘new hip-hop stars’ - my condolences.

If streaming services will add the button “Do not propose music of this genre”, then new music will be more discoverable. But right now the only two things I saw in Spotify and Apple Music are “I like this genre” and “I love/hate this song”.

I hope it will become a killer feature of some new startup.
But those imperfections are incorrect as opposed to correct variations
This looks really cool! Nice job.
The people who buy music, as opposed to just streaming it, skew older and what is bought reflects that.
+1 That's a great point to make for people who are building side projects. Make sure you list your side projects in an exception in the IP clauses of your employment contract, like I did.
I think the key is the following:

> It explicitly does automatic global analysis

They appear to think that the borrow checker isn't achieved with type theory, but with some other technique ("global analysis").

Although, to be fair, my understanding of making a practical affine type checker is that things get kind of wonky if you do it purely logically. So practically you do some data flow analysis. Which is, I believe, what rust is doing. This also explains why MIR was such a big deal for certain issues with borrow checking. They ended up with a format that was easier to run a data flow analysis on, and that allowed the borrow checker to handle things like non-lexical lifetimes, etc.

[I've only read about such things. So I might have mis-remembered some of the details. However, this is my take on why someone might not call rust's advances purely type theoretic (even if they can be handwaved as type theory at a high level).]
> But in practice developers misuse features, so adding a feature actually leads to worse code.

Is that really a problem on the language's side, though? Devs are capable of mis-using any feature, even extremely basic ones that almost every language has (variable names, for instance (although I'm laughing in FORTH)). Code standards and code reviews are necessary tools in the first place because it doesn't matter what language you give a programmer - they're perfectly capable of constructing a monstrosity in it.

I argue that preventing programmers from doing dumb things with well-designed language features (so, hygenic Scheme macros, and not raw C pointers) is a social and/or organizational problem, and it's better to solve that at that level than to try to solve it (inadequately) at a technical level.

("I keep dereferencing null pointers", on the other hand, is an example of a technical problem that can be solved on the technical level with better language design)
Are you talking about Antares Auto-Tune? Or are you talking about pitch correction with Melodyne or in-DAW pitch tools? Or do you mean finer-grained pitching with vocal track slicing and pitching? Or do you mean splicing together tons of different takes to create the perfect vocal track?

As a producer, my sense is that people who refer to "autotune" generally don't know what they mean when they say it, but they really want to identify some point in the history of music where things became "artificial". That's not how it works. Plus, people don't just throw a vocal track through some magical automatic tuner and get a perfect result. There is an unbelievable amount of manual work involved to produce a high quality vocal track.

This stuff has been going on since the beginning of pop music. Most pop hits since the 70s have had spliced vocals where ideal takes are combined. Since advanced sampling began in the 80s, we've had manual pitching and adjustment of tiny vocal clips. That became easier in the 90s with computers. In the 2000s, when full-featured DAWs and plugins became practical, we've had more automatic pitch correction, like the auto-tune vocal effect you heard from T-Pain and others. But there's always something manual involved, and there's a lot of work from the vocalist to make this happen.

Max Martin, the producer of countless pop hits starting in the 90s, has detailed many times that he combines dozens of vocal takes and corrects pitch throughout the entire vocal tracks. This is normal. People actually want this.
Then you haven't been paying attention. Wright is continually spouting literal gibberish and technobabble, he's technical inept to the point of hilarity. For example, when asked to explain some C code he claimed that the line declaring a double-type variable were doubling the values.

Beyond his ineptitude, Wright has repeatedly claimed he would provide proof, but then when his 'proof' is exposed to expert analysis it turns out to be a provable forgery. Not just once, but over and over again. Forged emails, forged pgp keys, forged digital signatures, forged invoices, forged whitepaper drafts. Not merely falsifiable but actually falsified.

It's certantly possible that Satoshi lost whatever keys he had-- but if so he isn't saying anything about it. The idea that Satoshi would lose keys and then make a clown out of himself is just not parsimonious.

What is parsimonious is that we know for a fact that Wright has been selling his "fortune" to suckers for a number of years now-- the setup of a classic Nigerian scam: I am a prince in exile but with a small advance from you I can access a vast fortune which I will gladly share with you. At first his excuse was that he couldn't touch the coins without risking the AU government seizing them (due to stealing millions from AU with fraudulent rebates), then his excuse was that the coins were secured by a "bonded courier" (think of the end of Back to the Future 2) and wouldn't be delivered until Jan 2020, and most recently he claims that in Feb 2020 hackers entered his home and hid a 'wifi pineapple' to penetrate his network and steal his coins (of course, the coins haven't moved on the blockchain)...