skysight-inc/HackerNews huggingface dataset:
> I've said it before but Gödel numbers are a trivial technical detail.

Actually, you seemed to be saying the exact opposite before when you wrote:

> Your point about ASCII codes ignores that we don't just want individual symbols to be numbers, we want entire formulas to be numbers too.

And at this point I'm still not sure if you really understand this or not because:

> you will want to substitute the "factoring primes" routine with a corresponding decoding routine for your preferred scheme

Well, yeah, obviously, but translating between strings of symbols and numbers is trivial when your alphabet is ASCII (or LATIN1 or UTF8 or whatever). You don't need to factor, all you need to do is divide/modulo by powers of 2. This is just obvious to anyone who has even the most elementary knowledge of modern computers.

> A naïve proof via Turing Machines, to my understanding, gives you something equivalent to Godel's theorem provided PA is sound, but not just simply provided PA is consistent.

No, it is vastly simpler than that. All you need is a computable mapping between programs and numbers. Once you have that, any claim about a program can be translated into a claim about a number (and vice versa). "P is a program that halts when run on input I" has a corresponding "N is a number that describes a program that halts when run on input I". From that, Godel's theorem is an elementary proof by reductio: if arithmetic were decidable, you could solve the halting problem by translating the question of whether or not a program P halts into the question of whether a number N describes a program that halts.

Note that you essentially get soundness "for free" because the halting theorem is not grounded in axioms, it is grounded in physics. We don't have to wonder if our models of Turing Machines are "true". We can simply build a TM and observe that it behaves according to the model. And so the details of your axiomatization of math don't matter at all. Whatever axiomatization you can come up with, as long as you can use it to do arithmetic, and as long as someone can write a proof-checker for it, then Godel's theorem pops out as an elementary result.

> mathematicians actually like Gödel numbering because primes are very simple objects

Yes, I get that. But Turing machines are pretty simple too. The thing that makes TMs better than primes is that we can actually build a physical artifact whose behavior corresponds to the mathematical model of a TM. You can't do the same thing for primes because primes are not models of physical systems.
Because in this specific case they are the only party who did anything helpful to the people who were trying to turn money into a road.

I don't think he meant that you have to do labor to add value.
Perhaps because they are the ones that actually convert the plans and raw resources into a useful building? Plans for bathrooms and buildings can be easily pulled from a shelf of existing plans, tweaked a bit, and sent out, but building the actual structure can never be avoided.
>Rjecting a company outright just by nature of them wanting an NDA doesn't seem like a "smarter" default option at all

Sorry you feel that way - truly, I feel sorry for you

You've succumbed to the idea that the company is more important than you
Buying excessive housing is a huge waste, but locking in a mortgage can be a major win. Moderate inflation quickly makes high mortgage payments irrelevant, 6% inflation is a 44% discount over a decade. On top of this if you lock in a fixed mortgage today your rates can only drop after refinancing.

In the end major financial decisions have many tradeoffs, but the micro optimizations are less important than having a high savings rate. If you make 150+k and make reasonable choices more money hits serious diminishing returns.
The reason I brought up Siri and Ok Google is that they're doing the same thing as Alexa with their always-on microphones: they're trying to detect a "wake word" ("Alexa", "Hey Siri", "Ok Google"), and once they do they take the recent audio and parse it for commands.
I almost spat out my drink when they said: ... and then I went to Seattle. The light rail extension fiascos are the most publicly facing examples of this. Dear god SF must be bad when Seattle looks like a well oiled machine.
> The problem is not that the account triggered an algorithmic tripwire, but that the explanatory copy is a customer-hostile lie. It states in no uncertain terms that the suspension was further "carefully reviewed" to be found correct, and is also permanent. Obviously, it wasn't correct, and wasn't permanent.

"Permanently suspended" seems both accurate and helpful -- it doesn't mean that the account can't leave that state, but that unlike most other suspensions, the account will not be unsuspended after a set period of time. The note that Ben posted explicitly says "you can submit an appeal", which would imply to most people the possibility of reversion.
After 15 years switched to Mint Cinnamon, it's quite nice now. It is easier than ubuntu because removing snap is no longer a task.

Next up need an alternative to Firefox, it's very disapointing how much has to be configured to turn off all the bullshit analytics, "colorways?", and get a blank new tab page.
I just switched to Chrome, it's available as a .deb from Google.
Ask HN: What are some free alternatives to Lightroom?
I am at that time again where I need to pay my annual subscription for Lightroom and Photoshop but I'm wondering if it's worth finding an alternative that can help with organizing and editing my photos. I'm not a professional photographer and I don't spend much time editing my photos so I feel like the $100+ annual subscription is overkill for me.
This is a good point. However some ecosystems and languages might require less maintenance than others.
MIT: Regressions, a Documentary on the History of MIT
You probably got downvoted because the war itself happened in spite of diplomacy: https://en.wikipedia.org/wiki/Russian%E2%80%93Ukrainian_Frie...
I agree, and it's a little depressing to have the same "now I have to go fix that" relationship with two OSes, Ubuntu and macOS (I guess if I used Windows more than occasionally it'd three for three). Since I did all that on 22.04, I am a little nervous that it will get clobbered if I upgrade to 22.10...
Microsoft will buy Canonical before the decade is out is my thought.

Then shall there be two distros of IBM and Microsoft, grinning at each other across a dead land filled with rottenness.
Mint also has a Debian Edition, and it could just become the main one.
> In the past few years we've had politicians on both sides killed in politically motivated attacks. I think that's a worse tally than the US as well. (emphasis added)
With special-relativistic classical mechanics? Of course. With special-relativistic quantum mechanics? No.
I don't know, every time I see a title split people start saying that's "X's job", you can't do that because it's "y's job", or I don't want to be involved in "Z".

Fewer titles can avoid these discussions.
This is really important, and I've gotten a lot of quizzical looks when making this assertion over the years: data is owned by one and only one service. If two pieces of code assert ownership of it by mutating that data or looking past the public encapsulation of that data, then that code is the same service.

If you see a queue between two services, that is usually an indication that some ownership is being transferred (even briefly), and that is a critical point where you need introspection and observation.
Is 113355 easier to memorize?
Bigdata?
> The price jump between levels is now a joke.

It has always been a joke. Now it just ain't funny anymore.
There are also many types of ADHD and also severity - a spectrum like you say. Probably everyone with it do not need major medication. But it is still probably valuable to diagnose everyone who is so they can properly develop habits to aid it.

The biggest thing I ask people about is the executive function aspect. Are you simply getting distracted because you are bored or do you also find you have tasks you legitimately WANT to do but for some reason your executive function does not allow you do it. That seems to be (as a lay person) the biggest tell for someone who actually has ADHD.
If something goes wrong at AWS, and it does. You have no power over recovery. The more of the stack you own, the more such ability you do have.

If you run a competent organization, this can be a boon. If you have serious deficiencies, it may well be the opposite.
Caffeine is a stimulant drug used all over the world. First-line stimulants used for ADHD are in a similar class. They work quickly and the side effects are quickly apparent. Stopping them isn't a risk to your health. Overdosing to the point of severe injury is difficult.

Over-the-counter pain medications are more far more dangerous in all categories: allergies, overdose, effects of long-term use, etc.
Startups offer to pay consumers for permission to track them online
argument free exposition by a dilettante

> Lately I’ve been drilling down on the difference between Proof-of-Work and Proof-of-Stake. Why does it matter?

> I used to think it didn’t matter too much.

oh what changed?

> At the risk of expending too much airtime on it here in the portfolio update, I will direct you to two episodes of The Investors’ Podcast network with Preston Pysh: [...] It’s over two hours long and it takes Lowery a long time to lay the foundation for his case. Hang in there. Once he squares the circle you’ll get it. When I finished this episode it gave me absolute clarity on why this is such a fundamental issue and why Proof-of-Work is an unassailable and superior innovation vs. Proof-of-Stake in every way. At least it is when you want to create a base layer for sound money.

oh nice the proof is too long to fit in the margin. ok ill go watch hours of podcasts until "i get it"
Is there an SMP version of the 386?

You may need locks on a non-SMP system (since you can still have concurrency), but without parallelism you don't need atomics... right?
Probably not realistic. On an M1 Pro MBP, Whisper runs far slower than real time. Think on the order of days for a 2 hour recording.

I’ve been doing transcription work for public meetings. Whisper is truly incredible in terms of error rate even in extremely challenging circumstances (obscure acronyms, unusual terms, unusual names, poor recording quality). I was seeing only a few errors per hour; most things that look like errors are in fact accurate representation of humans saying weird things. But I have to run it on my desktop with CUDA enabled. With the medium model it is iirc barely faster than real time. I only have a 1070 so maybe it is better with more modern hardware.

Whisper does also have some slightly strange behavior with silence and very long recordings. I might do a blog post once I’ve got more experience.
"It doesn't have to be a lot of links, if you piss off the wrong people and they massreport you you're temporarily out."

Or permanently. I once responded to an inane Kardashian tweet with a very dry restatement that she got famous for a boring porn tape and a father who got OJ Simpson off of a murder rap.

I was told that was "a threat" and perma-banned. 12 years of an account, spun into the void. I'd be angry but it's more embarrassing as an observation.

Twitter supports a usenet-on-acid model of bumrushing fan-bases on one side, and a long tail of bots and noise. It's truly strange how its become what it has.
Ubuntu still gets most packages from Debian, so as long as they don't switch to Snap, everything should be fine.
Or Dev ML Ops...
Given the permanently mild weather in the SF Bay, this number is probably smaller than you think. Whereas fires in homeless encampments are a relatively frequent occurrence.
I also switched to Arch... the only issues that I've had is that sometimes the update process breaks and needs manual intervention.
> If that is good, how is what Amazon doing so different as to be bad?

Being too big and powerful. I want to say here that if there were as many Amazons as there are grocery stores, it wouldn't be bad at all. Instead, since Kroger is about to buy Albertson's and consolidation in retail and services continues, grocery store brands should have the same questions to answer as Amazon. Hypothetically, assuming we had governments that were concerned about these issues as anything other than an opening to solicit cash from lobbyists or something to be promised during a campaign.
u/lapcat accurately pointed out to me that a new account rapidly posting links is not likely "spam" by Twitter's definitions [0]. As I said in the reply, Ben hasn't yet posted the list of rules that Twitter says he allegedly broke.

https://news.ycombinator.com/item?id=33276718
The city should create encampments themselves rather than let them grow organically. Then provide security and sanitation service. Portland may actually try this, all because the city got sued for violating the ADA. Maybe someone should try that in SF.
The Germans held meetings where they allowed partisans to make speeches and question their decisions?
> Making DevOps/DevSecOps/$BUZZWORD the responsibility of developers is a cost-cutting measure not a responsibility measure.

My background is large multinationals so my view here is a bit bias but i don't think cost cutting is the driver.

Large orgs get large change management processes and procedures. Over time, these change management teams become overwhelming behemoths with minds of their own.

I think "DevOps" was designed as a way to "bypass" the bureaucracy?

"We just use this CI/CD pipeline and no need to sit on a 3 hour change management review call..."
Original Make was butt simple: any lines that begin without tabs are a filename followed by list of other file dependencies, files whose modified date must be older than the filename at the start of the list. Than any lines of text immediately beneath that first line starting with a tab character are the shell commands to be executed in order that brings the first file up to date against it's dependencies. That was it, that is the entire original Makefile syntax. Then software vendors started adding extensions...
I have now interns that are supposed to be coding, some are close to have nice diplomas like "CS engineer" and the like but the sad truth is that they don't understand what's a computer, what's a network, what's a server and what's a client, what's the internet and what's a file.

So the cloud 2.0 is all fine and dandy, not having to care about IPs addresses and NAT and storage space is great, however don't forget that all abstractions leak and at some point I'm not sure you can escape going through "from NAND to Tetris" and having built a LAN with a couple of RaspPi to get shit that works done.

That was my old hat rant :)
I'm running 4 monitors without any issue…
The hot new thing its Blazor the WebAssembly framework. They are pushing it everywhere, even inside Web widgets on MAUI.

Then you have MAUI, which is basically the rebranding of Xamarin Forms, but it does required a bit of rewriting, and apparently there are some bugs still. And on the Mac they have taken the shortcut of building on top of Catalyst to reuse iOS Xamarin.

Then you have the WinDev team pushing WinUI 3.0, still behind UWP capabilities and moreso behind WPF.

Currently on .NET your safest bets are Windows Forms, WPF, the 3rd party projects like Avalonia and Uno, or if the use case is possible, Web.

I would wait for MAUI to mature a bit more, consider WinUI a implementation detail of MAUI on Windows, and ignore it for everything else.
> The problem is most engineers don’t want to do operations work.

My experience tell that most engineers don't want to do any work and it's ok.
We're using persistent connections for Python/Gunicorn as well. See the Methodology section for more details.
I'm interested to know: What made you choose Arch over Fedora?

I had a somewhat similar experience to you and tried Fedora first and it works well. Fedora seems to follow the same "just work" direction that Ubuntu aimed/aims for, minus some aspects I wasn't a fan of. Since Fedora worked for me, I never bothered checking out any other distributions. Was there a big draw to Arch over some of the others, or was it just the first one you tried out and stuck with?
Litigation is the enemy here. I’ve been in this from top to bottom and it’s always legal precedents that fuck everything up. Governing bodies, be they local or regulatory, are forced to broadly interpret legal precedent established in high profile situations, or small, specific legal settlements which have occurred at a local level. Lawyers then take this case law and work with bureaucrats to craft regulations and ordinances which have zero possibility of running afoul the case law, and these can become so odd and counterintuitive when broadly applied that they have wildly negative effects on the whole. A high dollar project can spend the money the develop legal justifications for getting a code variance and ignoring the precedent set by case law, but the 95% of the rest of us are forced to design, construct, and accept the baked in laws to gain the privledge from the city to operate under their purview (which ultimately puts them on the hook for any lawsuit in their jurisdiction - as they always come after cities before individuals, and the cost of fighting these always exceeds the cost of settling them). So contractors are left constructing shit they know won’t work, engineers are signing off on shit they know won’t work, and cities are authorizing construction on shit they know won’t work, all to avoid taking on the responsibility doing your job right, and to avoid the horrendous consequences that would result from the people willing to go along with this system being in the position of making actual design decisions themselves, with no legal safety nets when they fuck up. It is the very definition of a broken, unsustainable system, and there are even more levels of red tape around environmental reviews I didn’t come close to getting into. It’s a lawyers dream, the most profitable contractor in your local jurisdiction is so solely because they are the best at exploiting loopholes in the system to overbill clients, it drives away anyone who has the skill or desire to fix it, and its and civilizations worst enemy.

Edit: Pardon the typos, I’ve got gig to go do as I was stupid enough to try to address a small part of this on behalf of a city’s residents, and boy have I suffered.
Even in 2022, hijacking the scroll wheel still isn't cool or 1337.
This reminds me of one party in UC Berkeley hosted by my extremely Democrat-voting, racism-fighting friends. All their friends and acquaintances were there. 20 minutes in, I noticed something was different... every single person out of ~100 attending was white. This is statistically unlikely, given that >50% of the students are (or were?) Asian. And I'd been to plenty of other parties not like that.

Then I realized, that entire friend group is distinct from my other groups, with almost no overlap.
Actually, given that the current model tortures and kills people to a greater extent - long prison terms in squalid conditions being worse and more dangerous than flogging, and there is no evidence that the current model is better than my system, you (or the status quo) are the one, by rejecting alternatives, proposing we torture and kill people without evidence. Following your logic what makes you better than a murderer or violent criminal?
"All the words are meaningless if twitter says otherwise. It’s really like living under a medieval king who is a law unto himself."

That's every company policy, ultimately. C-Suites and the like exist partially to do "exception handling" (or for all y'all Papists out there, "special dispensations")
Heh, don't think that ever made sense. When a machine is 5 years old you don't particularly care if it's the low, mid, or high end CPU, they are all slow. However not buying ram is a killer and often results in replacing a perfectly good machines.
That's such a good idea that SF already does it! They're called "navigation centers". As you might guess, where to site one is an intensely political process.

Oakland tried doing one temporarily. Three months turned into nine with major drug abuse and violence problems. Further, they couldn't actually manage the shrink-the-encampment goal, so eventually they had to clear it.
Is Cheese Good for You?
>I don't mind paying $5-10 to say I 'own' a cool profile pic, for example

I'm with you on this - I don't mind spending a "little" to say I "own" some digital asset

I've bought services on Fiverr and the like wherein I not only get the output of the purchase, but rights to using the output in derivative forms

Likewise, I've paid the extra couple bucks to get the copyright release when purchasing photo shoots of my family

But with the background of DMCA, etc...I'm not even sure it makes [economic] sense to say you "own" some relatively-cheap NFT-based digital "asset"
I've lived in several cities around America, and nothing really compares to how poorly run SF is. There is corruption in every city on earth, so SF isn't special in that regard.

There are much better run cities in the US, but most of the really functioning cities are smaller. The sweet spot it seems in the US are the 100k-250k sized cities, which typically are run much better (I'm sure there are many outliers).
As long as folks don't think it's an NLE, because that's the one thing it isn't.

(Even though half of its users try to use it for that, get stuck, post on the forum, and then get the other half yelling at them because "it's not an NLE". 17 and 18 took things in the right direction, but it's still going to take a few more versions before people giving it a shot because they think it's a free Premiere or After Effects get burnt)

Edit, because people seem to not understand how Resolve is fundamentally different from a "normal" NLE like Avid's or Adobe's (suggesting they don't actually use Resolve, which is fine, but downvoting because you disagree is kinda weird when it really isn't like normal NLEs):

Resolve has NLE functionality, but it didn't start as an NLE, and its main focus wasn't to "be an NLE". This is first and foremost grading software, born out of wanting the best tool for grading cinema/broadcast video, the thing Black Magic sells cameras for. And of course, the best grading software needs a minimally functional edit view because you can't grade clips if you can't work with clips. And so it had that.

And while BM has been steadily improving that view and wants to morph Resolve to a more general purpose video editing suite (and in the processing become more like a real NLE rather than software with NLE functionality) you're still in a node-graph-based grading suite, just with NLE bells and whistles. A lot of what you'd do to your clips or layers, you still do in the "color" view in Resolve.

If you think you downloaded an NLE, that's going to be weird and unexpected. If you know you're working in grading software that also has a pretty great NLE functionality at this point, things make a bit more sense. Of course, the cry for "real" NLE behaviour is strong, and if many of your users want something (and your name isn't Adobe) you start adding what users want, to the point where BM now wants Resolve to become a full video editing suite, so we're getting there. But slowly. And it won't truly "be an NLE" until probably several version from now.
But, I'd also like to point out that much of the southern tier and western NY is a lot like Appalachia economically. We have much higher poverty rates compared to the rest of the state. The town in which I live is double the state average at around 30% poverty.

And despite the fact that we have double the poverty rate of NYC it's nowhere near as apparent.
I think the problem isn't making it idiot proof, but making it malicious user who really wants to do heroin in there proof