nitrix

To add to that: that particular site isn't a cute preschool sandbox for children to go and play in.

We're talking about very active construction, large space rocket, launches, tanks, gasses, cranes, lifts and various other hazards.

At least they are being responsible and have people's safety in mind by controlling accesses. I imagine the local residents are well aware of SpaceX's operations and keep their whereabouts safe.

What is the alternative? No security guards?

Yeah no. I'd rather have my legal department battle it out with the authorities. They made the right call until the babies can all agree.

Yes, let’s do that: I, and the projects I’m involved in, have moved to Libera.

I watched the drama unfold and consider myself informed enough to develop my own opinion, which coincides with that of the staff.

It’s been a completely smooth transition and don’t see how Freenode will recover without these amazing people.

As for the “ridiculous statement” and the need to feel ashamed, I leave that to future me to decide. Not you.

People that aren’t in the wrong don’t need to save face like you’re desperately trying to do.

All I can say is good luck running Freenode without its staff and sponsors.

It's always the same thing.

People find a language/library too complicated, so they go on their own to write a simpler version, only to find out that they missed very important cases that prevents it from having the same qualities.

Grudgingly, they then gradually re-introduce what they initially strongly opposed against, but now they also have to work around their current design and bogus abstractions that wont let that happen easily.

That's going to create a lot of cruft, edge cases and API complications, to the point where a bystander might decide it's too complicated and, they too, go on their own write a simpler version.

Go hasn't learned a single thing.

map[t]struct{} so that the values don't require any space.

Of course backtracking isn't only a subject of logical programming, what made you think that when reading my reply?

The use of "when your logic" doesn't limit you to programming languages or imply that one is involved.

I'm not sure why you feel the need to unnecessarily correct me on that.

Also, of course the definition is quite general and, of course, Prolog is famous for excelling at it. Those are precisely the reasons why I mentioned all of the things that I did, in the way that I did.

I really don't understand why you think it's necessary to put emphasis on that a second time.

Important distinction for the author: backtracking is the search mechanism that you're able to use when your logic comprise only predicates.

"Avoiding a configuration like 1,1,1" isn't enabled by backtracking. Rather, it's a constraint placed on the search space (domain), for which, the generator wont need generating solutions that needlessly gets tested.

Your son would probably really enjoy Prolog (and Logic Programming in general) where these concepts are much more developed.

Check out the channel "The Power of Prolog" on YouTube to get your mind blown: https://www.youtube.com/channel/UCFFeNyzCEQDS4KCecugmotg/vid...

I'm also flagging.

This has no merits with regards to science or the hacker mindset (thinkering with things, technology or engineering).

It's someone with an agenda, trying to leverage the reach this platform has for the wrong purposes. (Propaganda/incentivise cancel culture).

Does not belong on Hacker News.

Title: "Here's the mathematical proof".

Article: "While there is no mathematical proof [...]"

Can we stop with the clickbait titles?

You don't arrive at a mathematical proof just by saying the words mathematical proof.

For the interested, I made another project whose frontend looks identical to this, but uses an sqlite backend synchronized with websockets [1].

It’s single-user, real-time and has authentication.

[1] https://github.com/nitrix/kanban

The Standard disagree.

C11 6.5.3.2p3 “The unary & operator yields the address of its operand. If the operand has type ‘type’, the result has type ‘pointer to type’.”

I understand the intention to warn about the abstraction C introduces, but you’ve confused things.

Pointers and addresses are perfectly covered.

What you really want to bring is what the Standard calls the “C abstract machine”, for which the memory model can be surprising.

A fascinating man and video. Link for the interested: https://www.youtube.com/watch?v=36GT2zI8lVA

Another former developer here [1][2]; the memcached cluster is what keeps the entire thing afloat.

We used to have dedicated 50 Gbps fiber connections straight between the web and memcached nodes, but now the caching is done locally on the web servers with a lot more of them. I would say there's probably something like 100+ servers, 128/256GB RAM each.

All the pages are server-side rendered. Every DB query, every DAO object instantiated, every partial/full page HTML render, even some functions at times, gets put into cache. We weren't really afraid of high traffic, that scaled almost on its own... instead we were afraid of infrastructure maintenance or bad manipulations, because too much of the cache could disappear at once.

The most incredible part to me was the storage and delivery of the video content. Try to picture 7000 petabytes [3] :)

[1] https://www.pornhub.com/humans.txt [2] https://github.com/nitrix [3] https://www.pornhub.com/insights/2019-year-in-review

As much as I admire the people involved with Nix, taking the initiative to solve what they believe can be improved and the other developers like her, toying with new things and successfully managing to figure all this stuff out... I'm actually disappointed.

The thing is, Nix is an absurdly complex piece of software, perhaps on a similar order of magnitude as maybe Kubernetes or other gizmos, requiring a very large time commitment to understand and to use properly.

Just for fun, have any of you tried to keep up during the Docker bigbang, with all these technologies popping up left and right, switching names, dying abruptly, getting super-seeded or hacked with vulnerabilities? That was one of my most mentally draining year for me and I've been in the field for a while now.

See... along the way, I've learned that Computer Science is always about tradeoffs. Now when I'm being asked to trade away my sanity learning this nonsense for in return a couple of megabyte of disk space that could've been wasted, I just don't see the value.

Seriously, are we optimizing for the right stuff here? I know Nix is doing package isolation with a programmable environment defined by text files, it's immutable and all. I get it. But we have alternatives for these problems. They do a pretty good job overall and we understand them.

Ironically, even those solutions I'm comfortable with are still struggling to get good adoption! How the heck is our field going to avoid fragmentation when it keep growing exponentially like this.

Perhaps it's just me aging and getting groggy; though there must be an explanation for this phenomenon. Please, it definitely gnaws at me.

Freenode has orders more than 200 users online, yet alone registered users.

I imagine the crowd that tend to use instant messaging don't see the same appeal with threaded message boards. Different medium, for better or worse.

You should never typedef a pointer to an object. That’s common knowledge amongst experienced C developers and an immediate red flag, even for myself normally welcoming of anything built with Haskell.

Perhaps because the first step to achieving anything is to believe firmly in it.

I want to mention that ENet (http://enet.bespin.org/) did this a decade ago and mostly ignored.

The "TL;DR" at the bottom should be at the top!

What you don't see on the virtual map is that the station is very much alive.

There's constantly experiments, maintenance and whatnot going on. What may look like loose cabling/equipment here and there is probably someone that was in the middle of their work and had to get out of the shot.

The more critical systems (like life support) are all behind the panels for the same reasons your realized.

Yeah, they explained in one of the tour videos that they spend most of their time in the "upward" position.

The lights for example always come from the "ceiling". Apparently it helps with the visual frame of reference (since you lose your sense of balance) and more convenient to read the thousands of various labels at a quick glance.

Here, you're basically re-iterating the same point the author made. Some of it was written implicitly while the rest is laid out in a way that induces the mentality you're after, yet, without making any promises based on perceived benefits.

"and the Math Proves It".

I disagree. A mathematical proof is much more rigourous than that. All that was done here is massaging numbers until one of the approach resulted in the desired outcome.

The war? It's not about war, but symbiosis.

GitHub is dead, long live GitHub.

Except the surgeon has no reason to care about the sexual orientation of their patient. In the baker's defense, the couple's sexuality influences the end result of the cake that will then be put on display. Baking, in that regard, is an art form and it'd be silly to force the man to work on a piece of art that he cannot pour all of his soul into. Be it for lack of experience or religious conviction, forcing people is disgusting.

On the premise that it affects the decisions necessary for him to complete his work, I think it's reasonable for him to decide whether or not he wants to work on it. I see nothing discriminatory here.

The initial password is only used for authentication, isn't it? Someone could (unless more details are provided) snoop on the connection or even inject packets.

How robust is this to man-in-the-middle attacks?

I have followed the work of vendu on his OS over the years. He has mastered the art. If anyone is interested, you should get in touch with him and try to extract some of the genius sauce out of his brain; especially that memory allocator.

14! is quite old. 87178291200 years in fact.