skysight-inc/HackerNews huggingface dataset:
This also happened to me in the US.

IRS flagged me as deceased. Institutions acted on it. Closed accounts. Condolence letters. Clerical error at local office it was deemed. No culprit. No repair action.

Took 2 years of bonkers discussions with copious notes and pain on a biweekly follow-up basis to resolve.

You are the only one who can fix your problems with a spaghetti mess like this. You must lead it to the finish line.
Yeah, judging from the MuseScore owners' behavior towards musescore-downloader, the situation with Audacity will only get worse from here.

https://github.com/Xmader/musescore-downloader/issues/5

https://github.com/Xmader/musescore-downloader/issues/42#iss...
>but I’m not sure a CRUD app will.

Considering most corporate websites are CRUD apps, and they keep getting pwned via some bug or vulnerability and millions of private user information stolen and pawned off in the black market, I don't think that's an assumption we can make anymore.

That said, full-on formal methods may still be overkill. A web framework built in a language with a strong type system and input sanitation via type-checking and similar safeguards may suffice.

But that's closer to formal methods than most of the web dev industry is accustomed to.
Why do you need to collect IP addresses for what is an offline audio editing tool?
> Why are there so few natural decomposers of plastics?

Because plastics weren't naturally occurring. Give it time.
I went down this rabbit hole a few years ago. I bought an X220 (tablet edition) when it first came out. I still have it; with an i7 and 8 GB of RAM it quite frankly can still pull its weight despite being released in 2011 or so.

Anyways, when it was new I kinda-sorta became obsessed about battery life and I tried all the tricks: Screen on minimum brightness, wifi and bluetooth disabled, SSD installed, all the options toggled in PowerTOP and tlp-stat[0], I could get that i7 down to just 6 Watts or so at idle, but of course even the interrupts from the keyboard would cause the power consumption to spike upwards. At 6 Watts it would last something like 9 hours, which is great when you're traveling. Pre-download a bunch of API documentation and man pages, and you can hack away on the plane.

Powertop is a great tool that's only been getting better.

I of course do not use that laptop any more; I gave it to my 4 year old daughter and taught her how to launch emacs. She plays a game where she makes fun letter patterns in the scratch buffer and I use a macbook pro as my daily driver. The battery life is substantially better, and I can't wait to try an M1. My wife's XPS can't hold a candle to the macbook as far as longevity is concerned.

[0] https://linrunner.de/tlp/
Is it possible to get better than Windows power management with this tool? How?
TIL that pulse oxymeters can read over 95% in the presence of carbon monoxide poisoning.

https://pubmed.ncbi.nlm.nih.gov/8037391/
This amount? I really doubt it.
Holy cow!

I'll leave it to AOC and American progressives to get the government to engineer those for humans and give every ICE car or truck owner a quota - say 20kg per year!
You haven’t been looking hard enough. All the Mac sites review these things, and multiple companies have competing products in this space.
It's not just density, though that's part of it. A big part is walkability (and otherwise making the city not just car accessible). That can be done without increasing density, by for example, adding wide sidewalks and bike lanes, eliminating maze-like cul-de-sac-heavy street layouts, and decreasing speeds in commercial areas (i.e. enforcing a stronger divide between low speed streets meant for people and high speed roads meant for cars). Another part is mixed-use zoning, where small businesses are intermixed with homes instead of people relying on driving to megastores in shopping centers far from where they live. By decreasing the necessity of the car you decrease the cost of road maintenance and by making places more walkable you make businesses more accessible and therefore more successful.

I would suspect that many neighborhoods could be kept at the same density and be significantly rethought in line with the Strong Towns ethos to be more comfortable places to live.

Density increases might be necessary in high COL areas because those places are in high demand, but there's plenty of bad city design in places outside uber-expensive metropolitan areas. And there might be strong demand for missing middle[1] housing if only it were legal and frictionless to build it.

[1] https://youtu.be/CCOdQsZa15o
For those unfamiliar with Strong Towns, here’s a best-effort summary of what they do:

Strong Towns is a non-partisan non-profit that advocates for governments to build financially solvent towns. Many cities are perpetually broke because they owe more money in maintenance burden (fixing roads, pipes, etc) than they bring in through tax revenue.

This happens because towns in North America tend to build out large neighborhoods all at once (think: suburbia). At the start, the developers pay for all the infrastructure, and then “give” it to the city to maintain.

At first, everything seems fine. The city gets plenty of new tax revenue! But come 20 or 30 years later, it turns out that the tax revenue of the new development is not enough to replace the roads, fix the pipes, and so on.

And so to pay for the repairs, the city then builds yet another neighborhood in the same strategy to collect the initial tax revenue and use it to pay for the repairs of the previous neighborhood. It’s effectively a Ponzi scheme (as referenced in the article).

The gist is that many low-density spread-out suburban neighborhoods with expensive infrastructure are a huge cost center for a city. And since most North American cities build this way, we have a lot of cities that are “functionally bankrupt” or will be soon.

If you're a systems thinker who lives in a town that can't seem to fix it's potholes, you may want to check out the book they've published with the same name: "Strong Towns".

(Adapted from a previous Strong Towns post)
Democracy Fund Voter Study Group: Exploring Data of American Voters
I tried giving it one of the prompts from copilot.github.com:

def strip_suffix(filename):
"""
Removes the suffix from a filename
"""
return filename[:filename.rfind('.')]

def test_strip_suffix():

It completed the test function like this:

# test stripping of a suffix
a = strip_suffix("I_am_file.txt")
assert a == "I_am_file"

Compare this with GitHub Copilot, which gives:

"""
Tests for the strip_suffix function
"""
assert strip_suffix('notes.txt') == 'notes'
assert strip_suffix('notes.txt.gz') == 'notes.txt'

GPT-J also gave a bunch of explanation on how to use the generated code:

So this goes in a file called my_file.py and when you run python3.4 -m my_file.strip_suffix you should get the following output
C:\Users\user\Desktop>python3.4 -m my_file.strip_suffix
'strip_suffix'

C:\Users\user\Desktop>

So the strip_suffix function which strips the suffix from a filename is called as part of a larger code that uses some functions from the file. To tell Python what functions are available in a file you just need to put #-comment characters on the first line and then the functions that you want to use, and the first line will be taken as the function documentation:
#-*- coding: utf-8 -*-
#comment
def func_one():
'''
Documentation for function one.
'''
print("This is the doc for func_one
Interesting, I was just finishing his biography and it was repeatedly mentioned how he was inspired by his trips to Kyoto and the Japanese Zen mindset in general. Also, his daughter and his son also wanted to visit Kyoto when Jobs asked them to pick a location upon graduation for the very same reasons.

Personally, I loved Kyoto when I was in Japan for a week. It carries in itself an air of calm and serenity wherever you go. I remember I was walking around the homes and alleys outside of Fushimi Inari and it was as magical as the shrine itself.
OpenAI has allowed certain customers to finetune GPT-3 for specific datasets.
The thing is, it's one thing to have a hard procedure to correct an erroneously issued "death": "You need evidence A, B, and C". This might be hard, but okay, fair enough.

But in this case, it seems there is no procedure at all. She is never asked for evidence A, B, and C. She's essentially asking "this is an error, what can I do to fix it?" and the answer is essentially "nothing."
Linking to a Reddit thread is a lazy substitute for writing a blog post and submitting that to HN instead. This topic is serious and deserved better. One coherently presented viewpoint essay would have meant a lot more, and had a lot more impact, than this incoherent Reddit discussion.
Yeah that would be the thing to prove that prime95 is going through more instructions so the cpu runs hotter
> how do you opt out? Is there even a way to do it?

Yeah, don't post your code in the public for everyone to read. If I am musician, and I play my song publicly, people will hum it if they like it. I can't do anything to stop that, except not play the song to anyone.
So this is all based on what privacy statement?
Ask HN: What are some use cases of block chain? 2021
it's been 10+ years since blockchain was launched... yet to best of my knowledge only 'product' made out of blockchain is that facilitates speculation.

I've seen pro blockchain cultists argue all day, but the arguments were the same 10 years ago...so no mental gymnastics..

what are some examples of some successful current uses of blockchain?

Successful = The firm abc uses blockchain to do xyz.

Not Successful = startup built another facebook "BUT ON BLOCKCHAIN"
Study That Impregnated Male Rats Stirs Controversy
> Well, consider: someone who is documented as dead appears with a birth certificate. Do you a) assume that this person is the (presumably) deceased person, or b) assume that a living person is trying to steal a deceased person's identity?

The fact that they're dead hardly seems relevant. Right now today you can give my birth state $20 and pinky promise that you're me, and they'll mail my birth certificate to any shady shell company you choose. You can bootstrap that document into the rest of my identity. If that's the standard of evidence for impersonating living people I don't know why we'd go through so many hoops to make impersonating dead people hard.
A verified proof is a very convincing argument.

I am not against including a human focused discussion of a proof, stepping through it in human terms. A verified proof is more like the final step or output.

I agree this is not how maths is done, there is a huge exploration stage. People do not just crank out a proof even though sometimes it is written in a way to make you believe that. You can spend days, weeks, months exploring. But at some point you should try to formalise that into something coherent.

Amendment: this seems to be a very controversial discussion with wildly swinging upvotes/downvotes. I hope people would elaborate on their viewpoints.
The outcome of WW2 was extremely favorable for the US. WW2 is not happening again.

If the US is going to remain being as prosper as the period immediately after WW2, some economic miracle would need to happen. AI and robotics could be that miracle.
Any ideas how to make the generated text end on punctuation? All appear to cut off randomly during the last sentence rather than more naturally at punctuation like a period.
What is Window?
How does this jive with say the Van Ness expansion in SF? It’s taken way longer and gone way over budget because the work is being done in a high density corridor with numerous utilities and such that have to be relocated. Apparently they’re finding stuff they never knew was there.

The same road widening would be cheap in a less dense area.
that also has a thread

https://news.ycombinator.com/item?id=27724389
https://twitter.com/pragmaticml/status/1411113232048218119

So yeah, sorry for those who believe that it's going to return some "purely algorithmic" code and won't just randomly copying code.

Also, https://twitter.com/mitsuhiko/status/1410886329924194309

Wow, just wow... this has to be regulated FAST.
Ah, I think I see the disconnect. In the post you replied to, they said “copilot itself” (ie. the copilot model plus code) should be GPL’d. I missed that your reply was about whether the code specifically needs to be GPL’d. I agree with you there, but it’s also a bit of a tangent from the original point (which was that if copilot can regurgitate GPL code then it’s necessarily a derivative work.)
Doesn’t this tie in with the recent YouTube video by the guy who critiqued music composing programs? And Audacity hired him to clean up the UI which added telemetry or something?
From my understanding, you can have productive low-density areas.

The problem comes from places building "big-city" infrastructure in near-rural levels of density.
I appreciate you taking the time to write thoughtful responses. I’m on mobile so I’ll be brief. (Edit: Hah! Apparently not.)

In a nutshell, I didn’t find your arguments convincing. You weren’t able to express how your initial idea (don’t take property from people who don’t pay taxes) would work. Instead, you made it “work” with another, grossly impractical idea that we replace taxes with service charges. Your rebuttal to my concerns about that idea (inconvenient, regressive) was that other things are also inconvenient and regressive, as if that somehow excuses an idea from being inconvenient and regressive. You could have at least tried to argue it would be less inconvenient and regressive.

The cherry on the cake, though, was your championing HOA dues. Not only does that show a profound “let them eat cake” lack of awareness and empathy for people who struggle to make ends meet, it’s functionally equivalent to a tax! It’s a fee paid by a community to support the common good of the community. And do you know what happens to people who don’t pay HOA dues? Go on, look it up.

Yeah, you’ll get sued and your house could get foreclosed.

Your HOA is a just like a small government. If you have kids and they inherit your house, they will be subject to its rules, just like you are subject to the rules of your country. If they don’t like those rules, they can move out, just like you can. They might take a loss, just like you might.

Anyway, again, I appreciate you making an account and engaging civilly on this. I can’t imagine we’ll ever agree, so I’ll let you have the last word.
Did you misspell peaceful protester?
This only enforces it where you have the hook installed. And it cannot be pre-installed on people who have newly cloned the repo.

Which makes it nearly useless. Not totally - the people who know about it benefit - but it's extremely far from safe. The only way to really enforce this is to add this kind of thing to your "main" remote repo that everyone pushes to.
That's more because you're coming into an established site with an established topic that's been discussed for years. It doesn't really make sense to introduce every topic from scratch every time, because the assumption after a while is that the people reading have at least some prior knowledge or at least an interest in looking up what they don't know because they're there for a reason.

In other words, not every site is designed around link aggregators like HN, and some things will be assumed, just as if you open a book to some random chapter.
Portuguese did not retain the Latin nasal vowels, it was an independent development after the Latin nasal vowels had been lost.
Too late to get started in UX product design?
how will forking situation play out?
It's sad to see "telemetry" getting infused into everything, and disappointing that developers are happy with --- or even encouraging --- this behaviour. I think Microsoft really started the trend, before that it was just called "spyware".

I have a very old version of Audacity, that I still occasionally use, and see no reason to "upgrade". Now I'm even more convinced not to.
It's an operating system. https://www.microsoft.com/en-ca/windows
On Windows I use henrypp/simplewall. It is lightweight UI on top of Windows Filtering Platform. My only complaint is to all the self-updating programs that keep changing its binary and I need to re-enable them periodically...
GPL is an open source license. Please read the ancestors to understand what’s being discussed here.

Edit: I was clearly making a distinction between open source (as in covered by an OSI-approved open source license) and only source-available, rather than treating source-available as a superset of open source.
Not if it was published about decades prior, e.g. https://archive.org/details/critica_xxx_1995_00_1144
What's your best setting look like?
From the notice: https://www.audacityteam.org/about/desktop-privacy-notice/ It looks more like they want to get basic analytics info abut users, which means legally they need this notice, and also of course the govt may come after that data. I don't know if the feds can force you to collect info about users if your software didn't already.
Having an AI convergence day, so I married my tinkering with VQGAN+CLIP with GPT-J with the following experiment. Prompt is in standard font, response is in italics.

----

I started messing around with image generation with VQGAN and CLIP. It is really cool, but I ran out of things to prompt it with, you know just short phrases that describe a scene that could be rendered. I shortly thereafter saw an article about GPT-J and thought it would be cool to use AI to generate the prompts. So I go the demo up and running and asked it to generate a prompt by typing this into the notebook. The computer responded with the following:

Three cats chasing a balloon with laser beams shot at them from the ground.

I did not type in "three", so it really was just a blue-print of the problem. But this got me thinking. I had seen in different contexts that we humans will generally enter some rules when generating a creative response and act as that request for the request. For example, when I am writing a resume I am usually very mindful that I do not include any errors in the use of personal pronouns. I know that when I write "I will go to the fair", I know that I could come up with the following but not the former.

I will go to the fair

I then noticed that the prompt actually contains two main requests.

Three cats chasing a balloon

And this is where things got really interesting. I have noticed that sometimes I will be able to play the two requests against each other.

The sun shines on three cats chasing a balloon

In this example I was able to generate a response that contained two unrelated requests that were both fulfilled from the prompt. This isn't a requirement, if the AI or its creators want to keep a loop from being possible, the loop will likely be re-rolled if it is present.

----

I then took the phrase 'Three cats chasing a balloon with laser beams shot at them from the ground.' and generated an image with VQGAN+CLIP and it came up with the following:

https://imgur.com/KpAdZ3W
This whole copyright thing reminds me of way back when Google bought Youtube. I remember at the time, my boss (and many others) were certain Google was going to get themselves into a shit storm by hosting copyrighted material. Well, it turns out a company with as many lawyers as google had/has knew plenty about copyright law and put automated systems in place to keep themselves out of legal trouble.

To think that Microsoft isn't thinking deeply about license/copyright issues for Copilot and working on solutions seems pretty naive.
Mastering dealing with completely artificial stress isn't a substitute for real work experience. In fact, it gets in the way because as a manager you have to actively coach them into unlearning those unhealthy habits.
Yes. The 6502 processor in the 1571 could run at 2 MHz (as opposed to 1 MHz in the 1541) so it has the potential to generate higher fidelity video and audio.
I thought Timidity would be a good name for a fork -- but it turns out that's already been taken by another, more appropriately named, audio application: https://en.wikipedia.org/wiki/TiMidity%2B%2B
I'm not sure how that would help; you're still going to have to show your ID to get stuff with the government done in whatever Schengen country you are. You may be able to get away with some things before your ID and passport expire, but after that you're screwed (and from the looks of things, her ID and passport already expired).
What is the difference between /dev/ttyUSB and /dev/ttyACM? (2013)
While using Linux itself as my desktop OS isn't a problem for me (I'm quite comfy with Arch + KDE, also yes the obligatory I use arch btw :p), my problem so far which has always caused me to just go "f it, back to Windows I go" has been productivity.

Basically what I'm missing is an equilavent to Visual Studio for my line of "work" (game modding and reverse engineering with IDA + x86dbg and working with the win32 API). Writing and especially debugging windows binaries with mingw + winedbg has been painful for me so far, also I simply couldn't find any IDE/editor I could get comfortable with (I've tried VS code, kdevelop, qt creator and vim so far). Contrary to that VS simply let's me create a new project with a few clicks which lets me immediately get to work, gives me premade Release / Debug configurations with (mostly) sane defaults, an intuitive GUI for managing compiler + linker settings, running and debugging with the click of a button with multiple views for resource consumption, local vars and what not, the ability to easily debug dump files, etc. etc.
Essentially in the time I tried to get basically anything done on any of the other toolsets I've probably already done some actual work on VS. It just works perfectly for my use case.

The last time I've tried running Linux I actually went through the effort of setting up a KVM VM with dGPU pass through + intel gvt-g to drive the SPICE display (I have a laptop with an integrated + dedicated gpu and that seemed like the most intuitive setup) and - while it did work fairly well - the refresh rate was kind of off (even after patching QEMU to allow for more than the hardcoded 30Hz) and there was some weird stutter that I couldn't resolve (I've tried setting up virtio devices + installing the corresponding drivers, enabling hyper-v enlightments, changing the amount of vcpus, core pinning, static hugepages, etc. already, nothing helped in my case unfortunately). Those along with the realization there isn't much of a point of not simply running it in bare metal if I'm going to be in the VM most of the time anyways, brought me back to where I am right now: running Windows out of necessity / comfort.

Not sure what to classify this wall of text as (a mixture of rant and search for suggestions?) but that's essentially the cause of the "dilemma" (nothing short of a first-world problem basically) I'm in right now: I want to run Linux as my desktop OS and regularly try to do so but as soon as I want to be productive I just have to reach out to Windows again.
And it really irks me that most diversity initiatives don't even mention persons with disabilities. One exception is Microsoft, which will always have my respect for considering disabilities in both product design and hiring.
Your point makes sense. But I find it difficult to figure out what SaaS I could offer, because:

1. I get new client maybe once or twice a year.

2. I solve very case-specific problems for my clients.

So, very few clients with very different goals.

Thanks for suggestion, I guess I didn't think about this hard enough. If I'm already in a very warm contact with people who is capable of spending thousands of dollars on software every month, they must be interested in some kind of SaaS.