skysight-inc/HackerNews huggingface dataset:
> Why bother with docker for a home server other than for the fun of it?

As others have alluded to, mostly for having everything in code. I went from Docker --> Docker-Compose --> Kubernetes. The latter is 100% overkill, and was mostly done to assist learning. Still, it's very nice to have as close to HA home services as possible (with the exception of a dedicated failover WAN connection, and me needing to manually fire up a generator for power - UPS will last ~15-20 minutes).

Scheduling aside, though, yes you could accomplish all of that with systemd and something like keepalived.
it depends on how much you already know about computers...

I'm very very curious about the concept of 'suspend disbelief'.. which from my ongoing analysis, is all about how any fictional story is connected to reality.

I just watched the Moonfall movie and the most impactful thing for me is just how bad it comes out. While it's clear they've studied what's supposed to make a story work; and the dialog and exposition waste NO time, it fails to get me to suspend disbelief.

On the other hand, considering stranger things which does a better job, without being really good (it's just ok), still manages to get me to suspend disbelief much better than that awful movie.

Anybody have anything on suspend disbelief from a narrative (the technique of storytelling) standpoint?
> The only close competitor is Foliate

Only as a reader. For everything else? Not at all.
Oracle considers null to be equal to empty string.
Human competition is not lower if competing is socially wasteful not beneficial
I would think things like roofs. If you're flying over Florida, make it "culturally appropriate" by making the roofs look like they are made of that tile rather than regular shingles.

Edit: There's a Florida joke in there somewhere but I'm not going there.
Not to mention Kovid is also the developer of the excellent kitty terminal.
https://archive.ph/MHMrv
> there are some serious flaws with ... its maintainer.

Such as?
I'm kind of curious what the source of the outage is.

It looks like most of their services are down, including their incident status page¹. The number of things I can think of that so many different services & are not a massively catastrophic failure is pretty small. Though that may be a lack of imagination on my part.

1: https://status.protontech.ch/incidents/195
Website says it in the footer?
Arguably a lot of pre-existing, accredited institutions are now pretty overtly not a traditional degree program (not even in say, English, or History) but a religio-political indoctrination program designed to create warriors for a particular political viewpoint of a theocratic faction…
I think this was more of a joke on those tourists since the English is so similar to the French in that case...

A bit like "the French have no word for entrepreneur" (-- George w. Bush, alledgedly)
The problem is that back-sql is unmaintained (e.g., see [1]) and only security bugs are addressed.

[1] https://lists.openldap.org/hyperkitty/list/openldap-technica...
The bar for companies to lie is ridiculously low. Especially the bar for SONY to lie.

If they're not legally obligated to tell the truth about something, they'll bullshit around it even if the difference is a fraction of a percent positive.
It would seem that the Ukrainians disagree?
In addition, it might be difficult to empathize with a group of organisms which tend to verbally and/or physically abuse and socially ostracize the neurodiverse.
He was asking about heaters, not seat warmers. LThey are two different things entirely. Heated seats aren't going to be nearly enough if stuck in a blizzard or whatever.

I'm all for EVs but think hybrids are far more practical for anything other than simple work commutes.

Also, why does everyone assume charging and electricity prices won't surge as soon as the utility companies have enough of the population under their thumb?

Electricity prices will become the new gas prices.

We need to stop this shit at the source and start capping profits.
If my ego were so large that I’d rather present my own work than let the POTUS do it for me, I’d probably be running Tesla.
It depends on your column. If you have a products table and a certain handmade product has no upc, it’s correct to use ‘’ as its value rather than NULL because you know for a fact that its non-existent. Some people respect NULL too much.
> Once you get to that situation there's no system that will not cause most everyone to be unhappy.

There are three negatives in this sentence, and I'm having a very difficult time telling what it is saying (and I tried several times to track through the parity flips required). Anyone mind translating it for me?
> But how do you color match your drives in your spiffy NAS?

haha, pimp your ride!
And yeah, all three times, totally out of reach of mere mortals on mere mortal salary. :(
It's not entirely accurate to describe US elections as FPTP, because we hold elections in two stages. Primary elections are often multi-candidate, and it's exactly when they get the opportunity to say things like "I'm pro-gun and pro-immigration and anti-abortion".

In the end, there is only one winner of the general election, and if anti-abortion is the most important thing to them, they'll have to compromise with other people who agree on that. During the primary they have the opportunity to make the strongest case they can for their other agenda items, but once they and their fellow party members have picked a candidate for the general, their choice is clear to them.

So it's not true that they have no options. They have options, during the part of the process that gets less attention. They may be constrained after that, but any election by any rules has the fundamental constraint that there is exactly one winner.
I used the Terminus bitmap font until a year ago because I found it really clear and sharp even on small sizes. Since bitmap fonts are not that well supported anymore, I switched to JetBrains Mono for both terminal and IDE. I started using JetBrains Mono in my IDEs as soon as it came out.
I'm on it now, must be back up?
I'm seeing their status page up now.

But they are down hard otherwise.
Yep[0], and if you really wanted to, you could use that syntax to express the monadic interface:

putStrLn :: TheWorld -> String -> (TheWorld, ())

main :: TheWorld -> (TheWorld, ())
main world = (part3, ()) where
(part1, _) = putStrLn world "Hello"
(part2, _) = putStrLn part1 ", "
(part3, _) = putStrLn part2 "world!"

It would be a frustrating user experience, but it's a valid and equivalent encoding to Haskell's `IO` type.

[0] I'm ignoring lazy evaluation for now, but `f` could be implemented such that it returns before `g(x)` is evaluated. This is generally not relevant for purely functional code, but it can affect performance and exception-safety.
Chelsea Manning is free yet Ross Ulbrecht is in prison. It doesn’t seem right. He can be punished, but give him a chance at life. I don’t believe that he tried to have people killed, but even so, no one died.
I wouldn’t know for I’ve since let my 15y account get hijacked by Facebook due to IP-based phone numbers.

That said, I didn’t use it much because I wasn’t able to view my friendss’ posting on their wall due to crazy preemptive algorithms in favored of paid accounts.

No loss for me there.

I am however thankful for the option to download everything from my account that was provide by Facebook before this clusterfuck occurred.
I'm not sure how sucessful the games were as a recruiting tool, but Americas Army 2.x was a well received game. Pipeline and Bridge brings back some good memories. I believe theres still an active community for it.

Its popularity tanked once Americas Army 3 was out.
> Despite the godawful UI

Simple is beautiful. It's also not that hard to use.
I agree, choosing a single answer at all is a bit weird here.
Lockheed Martin just doesn't want to be in the "video game" business. They'll still gladly take your money, though.
I didn't add a link on power transmission. Actually building stuff in the US has issues that have little to do with cost.

Individual UHVDC links are in the multiple GW range. Exact numbers depend on a host of factors but something like 1c/kWh per 1,000 miles for long range is a reasonable ballpark. (Upfront costs in the billions.) Though it’s much higher for underwater links, etc.

A link sending power 24/7/365 at maximum capacity is significantly cheaper, conversly geographic barriers can quickly increase prices. Also those costs aren't constant with distance the transmission lines cost far less than the equipment at either end.
The problem with the French is that they don't have a word for entrepreneur. Apparently it is a false quote, but I still like it!
I'd settle for "if they take it away from you, they have to refund it". But the problem with either regulation is the response will be just to stop selling things. Instead they will grant you a 99 year lease or some other such fiction.
They have another status page that currently reports everything is up (it isn't).

https://status.proton.me/
>>The pound is also down to $1.19 which is amazingly low. This might be due to the European malaise mentioned in the article or from the ongoing Brexit disruption...

Just Europe shooting itself in the foot again, to please the US.
If it's the place at 800 Sorella Ct Suite 940, the reviews appear to be back to normal.

The question is; did it take the article for someone at Google to fix it, or did their algorithm finally kick in?
Agreed. I'm back up too
Compilers are often implemented as a front-end/back-end split.

The front-end compiles your input language (C, C++, Rust, etc) down to a low-level language called an Intermediate Representation. Then the back-end of the compiler optimizes the IR and compiles it into object code. A family of compilers will usually share the back-end.

This kind of split allows for deduplication across different compilers in the same family, and also makes it easier to design a new language without having to fully re-implement everything about the compiler yourself.

In GCC, these are bundled together as a common project afaik. In Clang/LLVM, these are split into the front-end (clang) and the back-end (LLVM).
A lot of the "type libraries" are missing (you can make your own).

Some specific processors are noticeably unsupported (you can fix this yourself by writing definitions).

The extensions for analysis of mobile applications and debugging mobile targets are missing.

Parts of the debugger are still missing (eg: syncing debugger with disassembly/decompiler).

Some features are extremely poorly documented (eg: importing source code).

A lot of bits that otherwise seem missing are likely proprietary scripts and extensions/tools that probably can't be released due to either being classified or owned by a defense contractor.
Did People Used to Look Older?
That has approximately zero legal value in Germany. The only enforceable terms would be terms the customer expects to be in there.
ngrok Inc. | Engineering Managers | US Remote/Seattle/SF | REMOTE | Full Time

ngrok is the programmable network edge that adds connectivity, security, and observability to your apps with no code changes. You're probably most familiar with using us to expose a local test server with `ngrok http 80`. We do a lot more than that and are growing quickly. We need leaders to serve as

- connective tissue

- boat rowing directors

- mentors

- wheel greasers

- high EQ listeners

If you want to work with a team of skilled software enthusiasts delivering a better developer experience for over five million developers (and counting), hit me up at my work email (in profile) or check out our careers page and apply directly: https://ngrok.com/careers
I believe Perpar3D powers the Redbird simulators [1] some of which are accepted by the FAA as AATDs (Advanced Aviation Training Device), meaning they can be used for a portion of the training requirements for the Private Pilots Cerficate (often called a license), Instrument Rating, etc. I've trained using one and while they're not perfect, they do save you some money and time with certain procedures. They're also great for more accurately simulating subtle systems failures.

[1] https://simulators.redbirdflight.com/
https://www.snopes.com/fact-check/french-lesson/
I get what they mean, though. Computers have made every "making of" for FX-heavy movies super boring, except the few that still have some notable practical work, too.
It's shocking to me that this type of email change swapping still works. I might have to write up a blog post explaining how to fix it permanently.

It's a fairly simple process though.

1. Create a table that tracks every email address change on the account. It can't just be a single field because once compromised, people have learned to just change the email address twice.

2. That table should contain fields for: user_id, email_from, email_to, confirm_key, reversal_key, created_at, confirmed_at, reversed_at, created_ip, confirmed_ip, reversed_ip

3. When an email change is initiated, an email should be sent to the new email address with the confirmation_key to have them verify the new email address before making the change.

4. Once verified, an email should be sent to the OLD email address notifying them of the change and including a link to the reversal_key to use if they did not make this switch, including the IP address and approximate geolocation of the IP address for some context.

5. If the user clicks the reversal link it will clear the confirmation and reversal links of every email change that came after the link that was clicked, ensuring that the original change can always be reversed no matter how many changes were made afterwards, revert the email address change and force the user to update the password. This password change screen should warn them that their account was likely compromised and strongly recommend they enable MFA (if available on the site) to prevent it from happening again.

I spent a year working on a site that dealt with a TON of fraud and phishing against the user base. This was one of the biggest issues that we dealt with, but this approach completely resolved the problem.
Why should he bother when it's done in bad faith.
> You can perceive something, but what you perceive is not necessarily a comprehensive and accurate representation of what may be there.

I don’t understand what point you are making here. Please clarify.

> True, and the fact that this is true has little bearing on whether the underlying proposition is objectively true

Agreed. But if you offer the explanation “magical pink laser did it”, then I say, “going to set up some lenses and sinks and mirrors to study this phenomena”, then you say, “nope, it’s magical, your dorky science equipment can never contain it”.

Then what?
And the guy in Baja hoodie winking every time he says Mushroom? The other guy going on about "Uncle Ben tek" for growing mushrooms? You gotta read between the lines -- obviously this product will not be explicitly marketed for drug use.

https://news.ycombinator.com/reply?id=32056302&goto=item%3Fi...
I imagine the people downvoting you are saying "well, I didn't even read the license agreement!" or "I wish the license agreement didn't say that!", but of course neither of those are relevant. If people don't understand how licenses on digital goods work by now, or are under the delusion that those licenses can't or won't be enforced, they're doomed to be surprised by stuff like this over and over.
This seems pretty voodoo to me. Do you have any examples that show it?
Happens to mainly two sorts of people, in my experience:

* Overperforming kids (whether smart, in athletics, etc). They don't have to confront failure and work hard like everyone else. They get a lot of praise and self-worth gets tied to it, and it all feels kind of fake/too easy. Then, one day, the work ethic and tolerance of failure everyone else has been learning become critical...

* People raised in abusive or quasi-abusive environments, where success at any cost, appearances over all, etc, are emphasized. The ends justify the means to get the required outcome.
That’s a great link, specially the (at the moment) single reply which gives some background about why it was done this way, and how it makes sense.

Just scroll a bit down to read it: https://github.com/riscv/riscv-v-spec/issues/811#issuecommen...

I don’t know much about this, I’m a programmer, but the explanation makes sense to me.
OK, maybe you are right but {{citation-needed}}. It seems Wikipedia asserts Song but has no references. As they are sequential the big picture is still similar. Song was very multicultural/pluralistic, even if thry appeared in the Song this virtually supports an import hypothesis.
I thought that's taken care of. Fast-growing willow is used, it's not chopping up old forests but rather growing new ones... No?
Thanks, I saw it and it was good, but I read the book a few years before that.
Some of my motivation for posting is sour grapes, I'm sure -- I read so very slowly. But it sounds like you're going in with the right attitude. Enjoy the journey!
I see I'm not the only one to pick c0fefe as a joke...
> So monads are from functional programming, right?

Monads are from category theory, a branch of math.

Category theory is the study of generic, simple patterns that work in many different contexts.
The insights from recognising those patterns and how they fit together helps to find common ground between different areas of math that initially seem distinct. It's like a kind of OOP and pattern language, but for math instead of programming.

Some patterns got names like Monad and Monoid because they were seen to crop op often, and useful insights could be gleaned from recognising the same pattern in different contexts.

Then someone doing functional programming (FP) realised that the Monad pattern from category theory could be used as a good generic structure in FP to encapsulate many different patterns that were already being used in FP another way.

Things like IO, state, efficient arrays, controlled parallelism, even kernel-like scheduling and user interaction, were already being done in pure FP before the introduction of monads. And before Haskell, which itself is quite old (~32 years). So FP didn't need monads. You just threaded all your functions together "by hand", using things like continuation-passing style or accumulators. There are several ways to do it, and it was possible to write large and sophisticated program this way.

One day, someone realised that much of this threading things together like IO, state, etc could be done in a generic pattern called Monad with a signature (like a generic or interface in OOP) equivalent to the rules of Monad in category theory from math. They also developed the idea of monad comprehension syntax, like a list comprehension but generalised to any monad.

Haskell was fairly new then, but it already worked fine without monads. These new-fangled FP monads and associated syntax so excited people in the Haskell community that they added them to the language, and redid the standard library around the concept. (Like the way Python initially didn't have list comprehensions, or async, but after those were added to the core language people started to use them a lot.)

Nowadays, monads are seen as a functional programming thing, but really there are many FP languages that don't use monads, and monads aren't just for FP. They aren't necessary, but they are a nice pattern that helps write clearer, longer programs that carry things like state and side effects in a pure-functional world.

The reason there are so many different kinds of Monad in Haskell, not just IO, comes from the same reason they were identified in category theory: They name a basic pattern that occurs naturally in many different contexts where it's not initially obvious. Once named, you can combine them. Unfortunately this leads to some confusing tutorials in Haskell, because Monad is a generic (in the OOP sense) abstraction for many kinds of "threading things together", which covers a lot of things you may write that seem very different from each other.
Yeah, but my family seems to have stopped messaging me...
Do I Have Productivity Dysmorphia? (2021)
Russia is certainly at war with Ukraine.
I worked in a 3d graphics research lab. It seems some of the issues the video is indirectly addressing (pointing at the screen without touching for "cursor") are still tricky. The accuracy is still not there close up, is it? We have eye trackers in helicopters, but without a laser/styli, me pointing at a screen is not that accurate without a lot of (probably still today) expensive gear.

I do agree, show people this today with modern screens and they might get excited. I can see some real use cases. A classroom or presentation setting for example.
> If the director really wanted us to see the film as shamanic, he probably shouldn't have used such a clunky plot device as a laser beam that makes someone enter a computer.

That was my favorite scene!

But I don't think the director "wanted us to see the film as shamanic". I think this is getting it backwards. The director wanted us to see it as a science-fiction adventure.

Star Wars was certainly not the first movie to use science-fiction for mythological or religious themes. Science-fiction is rarely about science.
Levin's monologue at the end might be my favorite part of any book.

Also war and peace is truly amazing in the same vein
I'd tackle the things that I think have the greatest impact on the survival of humanity:

* preventing bad-actor AGIs that came after my AGI,

* slowing climate change to 3% rise by 2100 and reversing if possible (I don't think it is before it becomes critical at our current level of technology),

* slowing pandemics/improving health to eliminate distractions from the other problems,

* enabling space colonization for the masses with at least the survival rate of the early U.S. colonies in the 1600s (moon first, then lagrange points, then Mars, then Ceres, then interstellar - each serving as a launching point for the next).
Not to be pedantic but this is not an RFC (yet). It is only a draft and should hopefully become an RFC in the future. The basic difference is that a draft is versioned and can change in content but an RFC is stable.

Also, RFCs are certainly not only standards track. There is a mix of types including Informational, Experimental and Standards track RFCs.
To make explicit: There is no AC therefore the AC doesn't help.
Sorry class but the schoolteachers were all arrested for murder because their pension fund invested in a fund that bought shares in a company that bought another company that held shares in a company who owned a negligently maintained warehouse that burned down with two people trapped inside.
Google used to be like this, but now, though some isolated pockets remain, is not like that anymore. A good mental model of how Google internally works today is Microsoft, but with free food.
I had one of these cubes for a few years at job back then. That latched handle, that smoothness of the the extraction of the core, for something that no ordinary user would ever have need to actuate... so good. The static power switch though, something that every user would use and misuse by accidentally brushing it.. so bad.
Such is the nature of any sort of reformer and institution. You wouldn't be a "reformer" unless you thought the institution needs to be "reformed". That sets you up in opposition to everyone inside the institution, who are presumably inside the institution because they believe in the goals, processes, and structures of the institution.
I agree with you to an extent, but what has held me back in the past is that uncle bens tek seems a little sketchy (I want to watch it grow) and pf tek requires a lot of space (and oh my god what happens if it goes bad and then you just have a massive tub of rotting filth in your apartment).

I would not pay $200 for this, but if you can make it look nice and make the process idiot-proof, I think there's a market for it.