skysight-inc/HackerNews huggingface dataset:
A tangent on a tangent.

This is the first time I've read why Socrates didn't leave any writings. Which incidentally reminds me of a saying in Zen Buddhism of "do not establish words and letters" (see eg. https://en.wikipedia.org/wiki/Zen_scriptures ) If you squint hard enough, Zen's preferred method of teaching via teacher-student interactions very vaguely resemble the Socratic method.

So I wonder whether there's any more-than-incidental connection between the two, given https://en.wikipedia.org/wiki/Greco-Buddhism -- i.e. was Zen Buddhism a very distant offshoot of the Socratic philosophy and methods?

(Sorry, might be too much of a tangent. But hey, Steve Jobs probably held Zen in high regard :D)
>...the content itself was generated from a finetuned GPT3 on SteveJobs' biography

Was the actual dialog generated by GPT-3, or just Jobs' responses? If the former, was any of the dialog human edited/spliced together or was the entire script generated as a single output?
Based on that narrow quote, it's unclear whether you're disagreeing with the perceptions about litigation or arbitration. My position is simply that we know there are biases affecting access to the court system (especially with a class component where people aren't sure/aware of their full range of options) but also that large companies are enthusiastically pursuing arbitration for reasons unlikely to be improved fairness, especially since the end stage for arbitration is litigation.

The main thing I'd like would be chipping away at the take-it-or-leave it approach we see currently, which is in line with that article's points around choice. Expanding the range of choices and, especially, allowing people to switch in the future would go a long way towards avoiding an unhealthy power dynamic.
> Why do articles emit such obviously pertinent information? sigh It’s all just narrative.

That's because this is a press release (i.e. advertisement) from the associated university's communications department, not a news article or a scientific publication.
Jolly Wrencher SAO, and How KiCad 6 Made It Easy
Their articles were really interesting too; its sad Match took all of them down. One of the ones I distinctly remember was about the right profile pictures. Its been years, but I clearly remember for men it was something along the lines of "full body, outdoor picture, while shirtless looking away from the camera"
Covid-19 Web Archive
More Orwellian still, they edited articles that contained data inconvenient to the politically correct narrative and elite ideology.

Edit: Here's an example.

“I’m bisexual.”
REALITY: 80% of self-identified bisexuals are only interested in one gender.

People who describe themselves as bisexual overwhelmingly message either one sex or the other, not both as you might expect.

https://web.archive.org/web/20170307114207/https://theblog.o...

They presented the reality based on data, it's not subjective, it's revealed preferences. Match.com removed that section and updated the article with "This post has was originally published in 2010 and has since been updated to reflect OkCupid’s current values."
I'm curious about this as well, but wouldn't be pointing fingers at the Wayland developers. See, for example, one of the most recent comments in the discussion linked to in the parent post, by Nilvus, one of the (wise and knowledgeable) darktable developers:

> The only thing is that color management for Wayland is progressing and far from being completely done. Even if work is quite slow, things seems to go in good direction. For correct and complete Wayland color management, we just have to wait again.

Blender itself seems to be color-profile aware: https://docs.blender.org/manual/en/latest/render/color_manag....

Here is an issue tracking work on Wayland: https://gitlab.freedesktop.org/wayland/wayland-protocols/-/m....

There's a nice site which is parallel to this work which summarizes issues/goals: https://gitlab.freedesktop.org/pq/color-and-hdr

Here is parallel work on this in Sway: https://github.com/swaywm/sway/issues/1486
And parallel work in KDE: https://bugs.kde.org/show_bug.cgi?id=439135

I can't find any reference to color management in the Blender meta-issue at https://developer.blender.org/T76428. For X11, I believe applications would have to manually determine the color profile of the display holding the current window, then query colord or and X atom to determine the profile. The application would then manually do the colorspace conversion. Does querying colord and making an in-application conversion works for Wayland until Wayland becomes colorspace-aware? Or if there are more wrinkles?
And how was GPT3's Attic Greek? Did you run it by classicists?
lol until my iphone has a 40" screen, no it doesn't replace a PC. If you want to stare at a 6-7" screen all day then have at it, but your eyes aren't going to appreciate it when you're 50.
This is the first time I saw the commercial, but I can tell you I already hate him for the same reason I hate the crazy frog. It sounds catchy as first, but it's just an annoying novelty song and if everyone had it as their ringtone, it would get real old real fast (just like the crazy frog axel f song).
If you pay attention, you'll see that the NFL captions are delayed by about 4-5 seconds, sometimes longer.

The FCC doesn't mandate any realtime window for live events. And when lots of people are talking you'll run out of screen.

I wonder if a ticker would be better than the traditional caption overlay.
It could be blockchain. As a seasoned programmer (35 years old, coding since 10 years old), coding blockchain programming and smart contracts made me feel like when I first started working with PC and Internet. It is also what catches the attention of kids and teenage hackers as the young me.
So your original complaint was "being able to opt into nBC is bad uwu", and now your complaint is that you want to mix and match if a future nBC change you do like comes around?

What the fuck?
> Carry the dongle everywhere? If so, you risk losing the dongle.

To be fair, we also carry our IDs everywhere and risk losing them all the time, yet it works pretty fine in most cases. Losing your ID is painful, and so would be losing the dongle, but the security of it outweighs the risk, IMHO.

Even more if we create dongles that are shaped like cards, so we can keep them in our wallets like IDs.
If you are only looking at the current product and not the potential that comes with it then you are missing the point.
who are co-ops exploiting exactly?
Sure it is. Everyone watches stream and broadcast on their phone just like you I'm sure.
> higher resolutions that require lower native rendering resolutions, which thus run at higher frame rates. Nvidia and AMD needed two generations of their respective technologies to accurately upscale lower pixel counts; in particular, fine details like particles are now mostly preserved by DLSS and FSR. Often, the final resolved image can look better than the picture produced by native resolution and treated with temporal anti-aliasing.

Am I correct in understanding that DLSS fundamentally modifies the original rendered picture/game ? Do designers/artists compensate for that ? Do they still have a "final product" in mind ?
Please list all distros that still have a GTK or Qt version that is ABI-compatible with one that was available 20 years ago.
A very refreshing view on the importance of free software. Hopefully will convince some people who do not care about the four freedoms.
For me alcohol increased my baseline anxiety. When I stopped drinking my anxiety basically went away completely. It was a licensed alcohol and drug therapist that clued me in to that. So the experience of the therapist may matter.

I also started cold exposure and breathing exercises. Now I was skeptical of that stuff for sure at first but I think you can increase your stress tolerance and also train and reconnect your bodies nervous systems. It's a neurobiological thing.

I do the breathing exercises when I get stressed and that takes 5-10mins of effort. After which I've forgotten what I was stressed about. So it breaks the rumination cycle for me.
Yeah, I identify with the state and that part struck me a bit as well. Scott's intuition that the phenomenon involves redrawing the self line at some other place on a deep brain level checks out for me. And if one can no longer point to a self, then that will make it quite difficult to notice when it's under assault.

I personally have learned to look at my own behavior in the mirror of others' reactions in order to ascertain what is actually going on in there. I remember getting really really unreasonably angry in an elevator once with other people and not really understanding what I was doing until I saw the look in everyone else's eyes. Didn't feel like anger to me. All emotions... feel different.
Rollup 3.0
I meant regarding local vs. nonlocal, what the GP objected to.
> In what scenario can you read/modify virtual box vms on a shared system in which you can’t read enough of a user profile to compromise an active user session to compromise encrypted credentials?

Any type of shared storage, eg NFS/SMB share or even a local disks/RAID for storing VMs.

Also:

>> When Oracle VM VirtualBox has just started up the encrypted VM cannot be opened and it stays inaccessible. Also, the encrypted VM stays inaccessible if it was just registered without a password or the password is incorrect. The user needs to provide the password using VirtualBox Manager or with the following VBoxManage command:

>> VBoxManage encryptvm uuid|vmname addpassword --password filename|- --password-id ID

https://www.virtualbox.org/manual/UserManual.html#vmencrypti...
Seeing as how Hinge is also owned by the Match Group... probably not.
> Any tips on cutting out something completely and how to get out of just hating yourself when you fail?

Be careful with cutting alcohol cold-turkey. Beyond a certain point it is very much a physical dependency, and as it affects the full nervous system (it passes through the blood/brain barrier quite easily) cutting it off directly can cause physical withdrawal symptoms starting with shakes and in extreme cases possibly even stroke. This is one of the reasons the rich check themselves into clinics for rehab: having medical staff around to monitor and manage any such reactions makes the process significantly safer.

At times I drank a lot. Vodka most nights, sometimes at least 250ml each night and often litres of the stuff over Fri/Sat/Sun. This was at its worse in the year or so before being diagnosed bipolar (turns out that I was self-medicating, which had worked for a while but hit a spiral that make things much worse). I cut down a fair amount after that, but was still a fairly heavy drinker.

Cut to a decade or so later, there were a number of close calls with regard to health (including a couple of heart issues) amongst friends and family, and with a history of heart issues in both sides of my family tree I decided to do something about my condition (knocking on for 18 stone, and hellish unfit). It helps that my social life had taken a turn for the better around then, and I'd decided this Dave fellow wasn't someone I didn't mind letting rot (my main pension plan to that point was to not live long enough to need a pension, hence my significant “investments” in alcohol).

As I started losing weight I deliberately cut back as alcohol==calories and sometimes it was a choice between drink and chocolate/icecream/ete, and part way through that process I started exercising partly to burn more calories (so I didn't need to cut back on consuming them as much) and partly to get what was left of me into a better shape. I discovered I enjoyed running (I'd have never guessed!) and set myself some goals. This was the point I really cut back as it sometimes became a choice of keeping to those goals or having more to drink. The fact I've reverted to eating and drinking more while recuperating over recent months (long covid, grumble grumble moan moan) might support the suggestion that I reduced those additions in favour of another!

I never cut it out completely, which might not work if what you have is a true addition rather than a dependency, or might if cutting out completely doesn't work for your social circumstances. I just don't drink often, though I can and do occasionally drink a lot in one day/night.
Nah, that’s Open.
How about asserting that the referrer must have at least a matching origin, or better yet path?

I don’t immediately know of any sane configurations that strip a same-origin referrer, but that would cause every request to be blocked as cross-site.

Spoofing a third-party referrer to same-origin is rare, but occasionally done (I think uMatrix defaults to doing that). And unfortunately, it looks like Firefox at least (the only one I’ve checked) includes a trailing slash on third-party referrers rather than only including the origin (that is, it sends `Referer: https://example.com/` for different-origin requests rather than `Referer: https://example.com` like I hoped), so you can’t completely reliably distinguish between an actual first-party request of /, and a spoofed third-party request. But if you’re OK blacklisting the root path, it’d work.

(Actually, what about the Origin header? I’m a little rusty on current statuses and usages of the Origin and Referer headers; haven’t been doing loginny HTTP for a few years. Can’t remember how old the Origin header is, either. But is there some reason you’re not just going for it?)
I'm curious what kind of software solution there could be to this?

Some from of pattern matcher in the camera obscuring the video output when it determines its observing a number pad?
I would be interested in an answer to your question because I suspect it may be less obvious than you think. It could go either way, especially given how rare airship handling equipment/staff is, not to mention helium gas & associated supply chain.
Agreed.

I think the biggest problem is that category I mentioned: skepticism on the basis of simply not liking the scientific conclusion, because it negatively affects me.

This lazy skepticism has been suppressed for good reasons, but probably has gone too far. An extremely authoritative approach that is dogmatic and doesn't tolerate the slightest of deviations has only emboldened conspiracy theorists.

All of this in a backdrop of extreme political polarization. A perfect storm.
http://blog.amtrak.com/2019/05/why-are-amtrak-trains-delayed...
> I wonder if there is an alternative business model which would put users and the business on the same side.

Hookup apps. Apps for non-monogamous people. You're looking for repeat customers.

The only other way is paying when the couple gets into something long-term, but the fee would probably be higher than people want.
This is partly explained by match.com buying and removing competitors, to keep active dating sites in this pattern.
I was going to ask: "Is there any limit on the number of ZFS filesystems in a pool?" Google says 2^64 is the limit.

Couldn't one just just generate a filesystem per object if snapshots, etc., on a per object level is what one cared about? Wonder how quickly this would fall over?

> Backup, encryption, COW, checksums, and other operations should not be wasted on a bunch of data that no one really cares about.

This GP comment is a little goofy though. There was a user I once encountered who wanted ZFS, but a la carte. "I want the snapshots but I don't need COW." You have to explain, "You don't get the snapshots unless you have the COW", etc.
In many cases yes actually. Not sure if you've had the sad experience of your parents passing yet, but it's real work to clean up. Drawers full of documents, including a receipt for Gum next to one for the upgrades on the house (one is tax deductable when you sell their house one is garbage). Let alone the really embarrassing stuff you find in say your parents night stand or that photo album.

Now multiply that by hundreds of employees over years, add in 50 revisions and forks of documents, legal liability, etc. Yes it's a giant pile that just gets worse.

It's all tradeoffs and a problem you hit when you get older and bigger.
I found this from a quick search:

https://www.enforcementtracker.com
Pie reference docs, in case you'd skim something before committing to the book: https://docs.racket-lang.org/pie/
There are no promises but I think plain HTML 5 w/o Javascript or an interactive bacn end is likely to hold up well. (I'd be afraid of Google knocking over the chessboard though)

I'd think that storage in Amazon S3 and distribution via a CDN would be low maintenance but I'd think some discontinuity would be inevitable in 30 years. (The worst thing that happened in the last 30 years of the web was the transition from http to https, in another 10 years web browsers might quit supporting http entirely.)

The other question is how to pay for it, and the financial tool for this is a

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

You need to invest some quantity of money and then spend some fraction of it every year. I used

https://www.bankrate.com/investing/annuity-calculator/

and assumed expenses were $10 a month and the investment gets an 8% yearly growth rate and found I had to put in $1,371.92 for the money to last 30 years.
To block youtube use open dns. It interrupts the cycle. I had it set for reddit and hacker news, youtube etc.. for a long time.
Looks like Intel is pushing SYCL, a single-source CUDA-like layer built on top of OpenCL.

It apparently works well enough that Blender's cycles works on SYCL.
> Science is the rejection of argument from authority, which I think is a better way of saying it because it also includes political and religious authority.

I agree with the rest of your comment, but this part doesn't really fit with the rest of your thinking.

"Science is superficially the rejection of argument from authority" or "Science is the narrow rejection of argument from authority" are probably closer to the truth.
Er... your scenario (or something of that nature) is literally mentioned in the post:

> Of the failures, 36 (62%) were tests not testing what they looked like they tested because of bad interactions with t.Parallel: the new semantics made the tests actually run correctly, and then the tests failed because they found actual latent bugs in the code under test.

And if you want to keep your old bugs in under-tested programs, you can, that's why the new behaviour is opt-in.
it's a cool library, I've used it in my bachelor's thesis applied to a camera stream
> but Tesla's connector is 10x better.
People used to say the same thing about Betamax.

The Tesla plug and cable weigh significantly less than the standard ones. Enough so that elderly people will have a hard time using standard vs Tesla plugs.

On the technical side, the standard involves a bunch of unnecessary complexity like power-line communication ICs and TCP/IP (note, that data does NOT go over the high power conductors in the cable).

>> CCS's pins appear larger, which means that they will always be able to handle more current, and thus a CCS connector will ultimately be able to charge faster than Supercharger.

CSS is rated to 200A, and I believe Tesla is too. To get higher power Tesla is going to higher voltage battery with the same charging current - same conductors. This seems to be a trend as well.

CSS really is crappy, but it looks like that's what we're stuck with for now.
I guess this is confusing but i just think of it as capturing the reference to i, not the value of i. It would be nice if python had a nice way to deal with this as many people also trip over:

def fun(initial_empty_list=[]):
where initial_empty_list is a reference captured at function definition time, not a new value initialized on each call to the function.
I don't think AAA studios have been doing that for a while. The top cards aren't so much faster than the mid-range of the generation as to require extra effort in the content pipeline. Usually the top card can just dial up the visual effects higher (eg using more ray tracing samples per frame).
This was my take. That would be truly awful to move somewhere and be out thousands of dollars just to find you don't have a job. I suspect there is little need at Facebook that needs a human presence, yet these huge companies continue to give in to demands from middle management despite doing just fine not having on premises for 2 years.
I've been reading through this and greatly enjoy it - up until chapter 9, which is like a giant boulder that tumbled to block a nice hiking trail. The definition of replace is very weirdly presented compared to everything that has come before, and in reality it isn't even very difficult to understand! It's just a way of rewriting expressions using known/existing statements of equality, which is a very basic operation in dependently-typed proof languages like Lean. A few other reviews I've found online also mention difficulty with chapter 9. Maybe I'll write a blog post that re-writes the introduction to this chapter so others aren't stopped in their tracks like I was. If I weren't on sabbatical and had other work concerns I probably would have quit reading the book here.

Chapters 1-6 I only needed to read once, chapter 7 (introducing induction) I had to read twice, and chapter 8 (introducing inductive proofs of equality) I also read twice. Chapter 9 I'll probably read at least twice (although getting started reading it was the hard part) and allegedly the book is much less difficult after this point.

I'm using this book to deepen my understanding of the Lean theorem proving language. It's a testament to how well the dependent type checking/theorem proving equivalence works that I've used Lean a fair bit without understanding at all that I was just writing a program to construct a value whose type is the theorem I am trying to prove.
Even a modern air source heat pump typically doesn't beat gas for $/kwh. Even in europe where gas prices are sky high, electricity still costs more when you look at the seasonal efficiency of heat pumps, which is typically advertised around 4.4, but various studies show that in most real world scenarios you typically won't reach the quoted lab numbers, so expect to get more like 2.5-3.0.

Study: https://www.sciencedirect.com/science/article/pii/S037877882...
Worse!
I think I'm getting old, but I can't for the life of me get excited about this 450W behemoth. For me, there's absolutely no game that needs this kind of performance, I can just go to settings, lower them slightly, and run it perfectly on a 3060 Ti.

The only spec of this card that I appreciate, is the 24 GB memory, but that's for machine learning and, according to NVIDIA, that's not even for the target audience.
> perhaps the US is a violent society and it is doing a good job at keeping the violent behind bars?

Most crime pays terribly, being a street drug dealer barely pays minimum wage and involves immense risk. Opportunities for some in the US are so bad that they choose terrible jobs (high risk, bad pay) at far higher rates than people do in other countries. Jobs that, in addition, come at a moral/reputational cost (your family is angry at you, other careers are closed off to you once you have a record.)

> perhaps the US is a violent society

What does this even mean? Of course it is a violent society. This is just a vague innuendo that this violence is impossible to fix and intrinsic to the US; it's just question-begging.
Ecmascript had the same problem, and fixed it without breaking backwards compatibility. In javascript,

for (var i=0; i<3; i++) setTimeout(() => console.log(i))

Would print 3,3,3.
So in ecmascript 6, blocked-scope variables were introduced, but the semantics of old-style "var" declarations was not changed. You can now write

for (let i=0; i<3; i++) setTimeout(() => console.log(i))

Which prints 0,1,2 as expected.

And you don't have to go open a `go.mod` file to know what the code you are reading does.
Yeahhhhh, I worked at a big company on their CI product and I had this bug bite me and break builds for a little bit.

Luckily caught my mistake and fixed it within 15 minutes, but it's always easy to overlook.