skysight-inc/HackerNews huggingface dataset:
Some good points, but a little stuck in the past.

Today, I pay less for a hosted and managed Mastodon instance than Elon wants for a blue badge or whatever it’s called this week.

It’s true that nobody wants to be a sysadmin. But cloud hosting, cheap storage, containers, and management tools mean not everyone has to. We just need one person who can make a living being a sysadmin for every ten thousand or so people that want to use the system.

(I’m eliding the difficulty in moderation, which these hosting providers don’t and shouldn’t do, but that’s the next problem that I think will also be solved aaS so scale economies make it work)
Important note, when I said "Window manager" I was actually bitching about the stupidity of X and Wayland both being pretty bad, missing functionality, or specifically for X, being so old the original ideas and ideology it was built with don't even make sense anymore. I guess that's "Windowing system" instead? Either way, I shouldn't have to know anything about any of that to use a damn computer. It should be a tool, not a lifestyle or ideology.
They're not cheap, but it wasn't until I tried other options that I realised how lucky I'd been to stumble across them.
And why isn't this build-in since the beginning like in any other sane language?

A language where you need to constantly write wrappers around everything just to get basic functionality is quite a miserable language, imho. That's like C…
> Disinformation researchers have spent years asking Twitter to remove toxic and fake posts.

Putting aside "fake posts" for a second and the clear difficulty in establishing objective truth on a topic, the first line brings up 2 big questions for me.

1) What in the world is a "disinformation researcher"? Is this a newspeak word for activist?

2) What on Earth is a toxic post and why are "disinformation researchers" focusing on removing toxic posts rather than disinformation?

EDIT: Please feel free to continue to downvote my comment if you think I'm wrong for even asking, but I remain curious, and my questions still stand.
I feel like Rust is pretty much as intuitive as C. Which is too say. Not intuitive at all. With the exception of pure FP languages I haven't even seen a language that is really intuitive.
I mean the US is just as guilty of that, with e.g. Facebook and companies using it manipulating global politics; see for example Cambridge Analytica and the list of elections they influenced [0] through nasty means. There's also the Snowden revelations that revealed the US security services have free access to social media; if you want surveillance, that's the one. And let's not even start about the psyops that the US has been doing for decades, pushing the narrative that they are the saviours of the world and all that through media and Pentagon-approved movies.

[0] https://en.wikipedia.org/wiki/Cambridge_Analytica#Elections
We do do this for other crimes.

Again, CPS isn't focused on the crime.
Which raises an interesting question...

Will changes to interfaces in nightly be handled similarly to how internal kernel API changes are handled? - i.e. if your code is in-tree then the mantainers of the Rust integration will update your code to ensure compatibility with the new nightly interface.
That’s a meaningless definition.

Does peeling carrots suddenly make them “processed”?
What you describe is how I tend to comment. At the opposite end of the spectrum we have Knuth's 'literate programming', exemplified in Tex, which has as its goal 'making programs more robust, more portable, more easily maintained, and arguably more fun' [0] by merging documentation with code. I'd bet if you counted documentation lines vs. code lines in Tex they'd be near 50/50, and I'd bet that if we asked Knuth whether the comment lines were supplemental he'd say no.

[0] https://www-cs-faculty.stanford.edu/~knuth/lp.html
People may be slow to forgive as they may think it gives something to the other, a type of concession, an admission of something, something on one side of an equation.

But forgiveness mainly gives something to oneself not the other. It frees oneself from that hold over oneself.

Apologies, if they are expected, are expected within the frame of a transaction. But forgiveness which doesn't seek something from the other can be given without an apology.

The person who is forgiven doesn't need to know they are forgiven. Even if they are told, the feeling of freedom and the actual forgiveness comes before that.
On a side note, I think it's kind of sad that we still haven't figure out (or standardized) a way to prevent these two very common problems.
<<Forgiveness is letting go of the hope for a different past>>, various authors or variants of that quote (Iirc I heard it from Andrea Gibson poet).

Anyway, I thought the quote was in line with your "/I/ have moved on" phrasing.

Not sure I really agree with the rest of your statements about grief and forgiveness, nor that I understood all of your intend. But I love this quote and think about it sometimes, and it seems like it would vibe for your conception of forgiveness.
You can set cookies. You can store data that's required for your site to function. You are not required to ask anything when doing that.

For storing more than that and especially for handing user data off to greedy advertisement leeches you must ask for user consent.

When asking user for consent, opting out must be as easy as opting in. If the user opted out, the site must continue to provide functionality.
Silicon Veldhoven :^)
The puff pieces and damage control continues.

When you were working in Billions there is a lot of favors to call in.
What's interesting about this piece in particular, and writing from this period in general, is the absence of psychological language.

The author praises what we refer to today as the personality trait conscientiousness, although his description is grounded in theological, rather than psychological, terms:

> God Almighty, in fashioning his most useful men, often works slowly with quite common stuff. Now and then He turns out a quick job of superfine materials -- a genius who really delivers the goods. But most of His better grade line is ordinary in everything except the extra effort, and dogged determination, which have given it a finer texture and finish.
I'm sorry what? I've never ever ever experienced this, and I've used alt-tab daily since like 2006.
> almost single-handedly made electric cars cool

Single-handedly except for, ya know, all the people that actually designed and built the cars at Tesla
What is up with the rage downvotes? It’s pretty easy to look at the replies to popular Twitter users. There are waaay fewer crypto scam bots everywhere. Why deny reality?
Sure, but so long as any manipulations are kept subtle, it's hard to prove whether or not they're actually happening.
You aren't interrupted, you choose when to alt+tab to see your test results.
Plenty hardware companies are chock full of unit tests, hardware simulators in-the-loop at multiple levels of abstraction etc etc. I worked at Canon (back then Océ, ie huge pro printers) a long time ago and they had this shit all over. I’ve also seen a litho startup run load tests on the day the hardware was first in one piece, ie the software worked acceptably from day one (incl all the error recovery, edge cases etc etc) because all the hardware had been simulated in software in parallel with it being designed and built.

ASML is not one of these companies.
If the freed slaves acted like mink, this would 100% happen. You think thousands of young people, highly skilled in killing locals, easily able to wipe out almost everyone wouldn’t be killed to the last man?
To your point, we also have 'The C Programming Language', K&R, and 'The Unix Programming Environment', K&Pike.
To reuse your metaphor:

If professional chefs would constantly maim themself and each other despite extensive occupancy safety training, knives have no place in the hands of a responsible professional.

Using C is the SE equivalent of taping down one button of the two-hand control device of a die cutter.
Same flaw all the Thinkpads have had for centuries now. Garbage speakers are the norm for laptops. The first time I heard one of the newer MacBooks speakers while I had a Thinkpad was eye opening.

Work gives me an elite book and while it’s much better than most, it’s still bad. The whole case resonates and adds noise and it runs some shitty software that uses 30% cpu to make it sound decent. Disabling that software brings it back to average laptop levels.
If I had to bet Mark Zuckerberg is probably further from "normal" than Elon Musk.
You just did the same "perfect timing" just in reverse.

BTW buying BTC is not an investment it is speculation.

Also 17k-19k will probably give huge returns in 3 years or so.

Its a high risk high reward bet you cant expect 100+% gains without also expecting some periods where you will be "underwater". If you aren't fine with both, long term crypto holding just isn't for you.
That is, to a greater or lesser extent, more or less the approach taken by _every_ social network. Even 4chan has rules.
Perhaps we’re overdoing the copernican principle at this point? It’s weird how researchers internalize that to the point they can’t even fathom that anything about existence is special.

IMO that well is dry and our future breakthroughs will come from focusing on the observers of the universe.

(Thanks for attending my Ted talk)
There are 140 battery plants in various states of planning and construction in Europe, you don't have to rely on a single one.
I just use reader//req. Code is instantly easier to read for me personally and no time has been wasted.

It's all preference, of course.
Who is the priority here? Stopping the US who is spying on everyone or stopping the CCP who is murdering hundreds of thousands of it's own citizens.

You climb a mountain one step at a time.
(using a non-Coq notation and using a newer form of coinductive types)

Inductive types are built using constructors. An example, defining two lists:

l1 = nil

l2 = cons 1 l1

Induction/recursion principles (fixpoints + pattern matching) consume them to produce some other value.

Examples:

length nil = 0

length (cons x xs) = 1 + length xs

For coinductive types it's the inverse. Coinduction/corecursion principles (cofixpoints + copattern matching) produce them. Take streams with the destructors hd : Stream A -> A and tail : Stream A -> Stream A). By defining how it's destructors work on the stream, we define a stream blink : (Bool -> Stream Nat):

hd (blink True) = 0

hd (blink False) = 1

tail (blink True) = blink False

tail (blink False) = blink True

blink True is the infinite stream 0101010101010101... To consume the stream, you call the destructors on it (and receive the defined result).

Now, just like how records are inductive types defined via destructors, the same can be done allowing coinductive types to be defined via constructors. In Coq this is called positive coinductive types and they're the original form of coinductive types introduced to Coq (and the only one until ~2019), but they're also not exactly well behaved, which is why it's now recommended to use the negative form, though e.g. this paper still uses the positive form. If you want to know more about this, I'd recommend reading the Coq documentation :-)

>Also curious how they interact with the termination checker

While infinite, negative coinductive types don't pose any termination issue because they're lazy - blink only 'describes how to deconstruct it' and does not do any computation of its own. So if you apply a finite amount of destructors to it, you only get a finite computation.

(positive coinductive types are a bit more tricky - there's a special productivity condition for them.)
While I was pretty sympathetic to the EU law, I am very strongly against this for India.

The reason many of the lowest end phones don't have USB-C is because switching to usb-c would make the phones more expensive to produce. Forcing producers to switch will drive up the cost of low-margin smartphones, hurting many Indians for whom affording any smartphone is an issue.

It is simply insane to make a regulation that drives up the price of the cheapest phones, such that the richest people of India get a slight convenience.
> But Rust builds on top of that 50 years of experience

Is it? Rewrites only succeed if the original people rewrite the original code, because code is just a serialization of someone's thoughts. That's why it's the people who are the most important assets in a project, not the code. When the original people leave, projects typically fail.

Rust is not being written by the same people who made GCC. It's a different group of people who are trying to do better than C. I wish them best of luck, but to say that they're "building on top of 50 years of experience" is implying that the software they generate is as good as software that has been battle tested for decades on numerous architectures.

> I don't think it's fair to blame the issues that code written in C can have on incompetence.

It's not a blaming game. Code written in C has issues because C has issues, but are you then saying that Rust has no issues? Will never have any issues? What's the bar here?
Correction: `setxkbmap fr`.
Also, does adding fertilizer makes vegetables processed. Processed is vague.
The main problem with C++ is it's insistence on being an almost-superset of C. Rust has no such hang-ups
Well, aside from:

The opacity of the algorithm, plus the degree to which the content is auto-curated;

the asymmetrical content optimization in exported and domestic versions;

the time-limits imposed on domestic, but not international youth users;

the government-business-CCP nexus in china, partial government ownership of TT, and the human rights record of the CCP;

the refusal to allow western social media and news into China;

I dunno, not much?
> Most of what's difficult in C stems from the realities of dealing with computer architectures

This is patently untrue. What do malloc and free have to do with computer architecture? Most of C's difficulty is deficiency of the language unrelated to its low level nature.
I have a mattock for breaking up the clods on my allotment.
What you write in your first para is so self evidently true, at least to me.

I simply cannot comprehend the mindset that views comments as unnecessary. Or worse, removes existing useful comments in some quest for "self-documenting" purity.

I've worked in some truly huge codebases (40m LOC, 20k commits a week, 4k devs) so I think I have a pretty good idea of what's easy vs hard in understanding unfamiliar code.
Cooked is not processed
No, the SEC maintains oversight of private institutions as well. The example that comes to mind is SEC’s investigation of Theranos.
I'm not sure how we can tell whether we do have freedom or if it's illusory. It's not clear how much we are biologically and socially determined. Imagine being in a river with a strong current. Everything you do is still subject to the current. You can't stop the river. You can't swim upstream. The bigger problem is that we can't see the river until we've been in it for a while. It seems we're mostly swimming blindly.
The sales numbers for these devices were very good for at least a couple of years. They ran the current Windows (Vista) at the time very badly, partly due to the CPU but mainly due to not having much RAM, so MS extended the life of XP for them as it was scared Linux would win more mindshare otherwise. Linux and OpenOffice (IIRC this was before the OpenOffice/LibreOffice thing) perfectly well. Web browsing was OK too as long as you didn't overdo the number of tabs open (things were mostly not as bloated as they are today in that area, by quite a margin), and of course tasks like email were fine.

My little netbook running Debian was a bargain and did sterling work for a while, and I know others that found that form factor and other properties to be rather convenient.

Sales numbers did fall off precipitously eventually, partly due to new models being hobbled by restrictions from MS (they wouldn't sell them XP for higher spec models IIRC, so no models got much of a RAM upgrade, and as that became an issue market share was lost to tablets (and to a small extent smarter phones) and higher spec laptops).
It's not a "culture" issue imho. The mainstream basically decided to promote those staged "apologies", signaling to other celebrities that they should act like that, and they did.
Do people not consider parallel key shifts to be key changes?

(btw whoever invented the name "parallel key" for majors and minors with the same tonic did a terrible job)
Surveillance isn't the issue I don't think, it's influence. It was easy to underestimate the affect of misinformation back in 2016, but I think by now, after a few political sojourns and a pandemic both riddled with division and information chaos, we should be taking it seriously.

It's not that China would try to convert Americans to communism, but I think we should be worried that they could attempt to sway election results via TikTok. TikTok is the most efficient algorithmic feed based website to date, it's ability to take a human and just pour bite sized information into their lives is unmatched in my opinion. It makes you feel like you're part of a group that doesn't even exist, get enough talking heads talking about a topic and you get grass roots cultural movements as people imagine extreme ideas are widespread when they're not.
It's possible that the word "hoe" is rarely written down in this context. I wasn't able to find "putlock" in this context on the web, although I found a blockchain protocol where the name clearly linked the words "grave" and "putlock"
Well yes, obviously (although you can structure your tax scheme to target the quintiles you prefer). UBI is not about giving everybody free money, but providing a universal safety net and removing the absolute need for people to work to survive.

If it where me designing UBI, effectively only people in the bottom 2 quintiles would get to keep 100% of their UBI after tax, and people in the top would get to keep 0% of their UBI after tax.
Nowadays, these goats would be called influencers.
Missing context here is that humans bring goats to islands and the goats wreak havoc on the ecosystem there, and then they are very hard to find and remove.

Goats are inherently social, and so a lone goat will find a new group to interact with. What you end up with is a single, ultra-traumatized goat repeatedly finding a group of friends who all get murdered by a flying machine. I suppose it's worth it because otherwise the whole island ecosystem collapses?

There was a wonderful radiolab episode about this in the galapagos[0]

[0] https://radiolab.org/episodes/galapagos
> That is, forgiveness is how I see the other when I see them not as an enemy or friend, but as a tragic part of nature.

This is the Christian conception, and I think it's a very helpful way to think about forgiveness.
I think the genocide of a people concerns us all.
Freshly cooked chicken or steak is processed? I don't think that is the generally accepted definition but maybe I'm mistaken
grace or forgiveness?
> Just use wireguard. It really isn't that hard.

In many situations it's not just hard, it's outright impossible.

For example, how would you connect two Raspberry Pis between two CG-NATted internet connections using Wireguard, without resorting to setting up a publicly reachable VPN server?

If you have a public and at least semi-stable IPv4 address and control your firewall/NAT, great. But unfortunately less and less people do, these days.
Doughnut – Podcast App for macOS
I remain baffled at how presumptuous Microsoft is about OneDrive and its behavior.
I agree it's not ideal, but I can tell you why I'm excited about things like[0] Tailscale, Cloudflare Tunnel, ngrok, etc.

They enable you to move your selfhosted services from expensive, slow VPSes you don't control to fast devices in your own home[4]. IMO this is strictly better than a VPS in terms of privacy and data control. It's a step in the right direction, back towards the initial intent of the internet, but also forward with the lessons we've learned in the real world.

The reality today is that selfhosting is way too hard[1]. It shouldn't be any more complicated or less secure than running an app on your phone.

I think services like Tailscale are going to enable the first generation of selfhosting that approaches that level of simplicity. Once the market is proven, the second generation is going be designed for selfhosters and have features like end-to-end encryption, domain name integration, and simple GUI interfaces.

The other key pieces are strong sandboxing, which is now possible on all major desktop OSes through virtualization (mobile is coming[2]), and dead-simple cloud backups.

The technology for all these things exists, it just hasn't been integrated yet.

[0]: https://github.com/anderspitman/awesome-tunneling

[1]: https://moxie.org/2022/01/07/web3-first-impressions.html

[2]: https://twitter.com/kdrag0n/status/1584017653269958656?lang=...

[4]: I concede that the network upload connection is likely much slower, but expect that to improve over time.
They're obviously trying to curate the supply side of the knowledge marketplace.
You're assuming that the code was written exception safely. E.g.

mu.Lock()
foo := bar[baz] // <- throws exception / panics
mu.Unlock()

Go is sold as a language without exceptions, so people don't write exception-safe code. Which is fine, except when exceptions are actually caught.
Sure, but that's with TikTok still around. Outlaw TikTok (essentially killing it), and there's no more stickyness keeping people from doing their dances on YT Shorts or whatever alternative would win.
grinding leetcode to prep for interviews takes a lot more time. how can you have a CS degree and a career and have no personal projects? i graduated in CS with 4 programming projects done.

all the arguments you give are the same for leetcode prep. the difference is that if it is your own code that you walk through you need to prep a lot less. and that is good because in your situation you would not be able to grind hundreds of irrelevant problems in your spare time for each interview.

as far as your cottage industry argument… you can tell if someone did not write his own code and the system is being gamed right now anyway by people taking interviews for others and so on. and this thread shows people are medicating which is the worst.
Yes, I think that liberators of slaves who have no regard for the well being of the slaves after liberation and who are purely focused on economic damage to the slavers and generating media publicity are immoral.

Which is not to say that safety has to be guaranteed, but reasonable efforts to make sure that most of the liberated will survive are a absolutely required or your "liberation" is actually mass murder.
Less money however, at least in the short term. It had a lot more revenue!
carnage is carnage. The site is still up.
The answer is: A lot. When looking at fusion processes that create carbon, if the strength of the electric force (quantifiable as the fine structure constant) were just 4% different, our universe would never have produced enough carbon to create life as we know it. The limit is even tighter for the strong nuclear force - less than one percent. If you pick arbitrary constants, you'd very likely just end up in a universe that contains only protons and no higher elements. And it gets even weirder when you start looking at gravity, because most universes should actually have collapsed again long ago or expanded so fast that no elements could form. Some of these fine tuning problems can even be looked at in the absence of intelligent life, because even for a liveable universe they seem ridiculously fine tuned to support what we actually see in the sky.
Could a blind person use any of these? Are there any that a blind person could?
Yes, and audiences love performance art. They don't even really hate the actor for what they did, they enjoy the vengeful feelings i guess. Everything is molded to please the public.