Hacker Newsnew | past | comments | ask | show | jobs | submit | boris_m's commentslogin

What's a page?


A (usually) small amount of memory that is the standard size all the memory management hardware and software use. Often 16Kb or 4Kb. If physical memory gets mapped to logical address space, address space marked read only, data swapped in or out, or logical address space gets mapped to other hardware (say GPU memory or a network card's buffer) it's usually done by page.

https://en.wikipedia.org/wiki/Page_%28computer_memory%29


Thanks for this question! We added a couple sentences to the blog post to explain what a page is. In general, a page is a region of memory that has a large-ish fixed power-of-two size and is also aligned to its size. Virtual memory structures memory around pages, which are typically 4 KiB to 64 KiB depending on the hardware. The Go memory manager, and many other memory managers, also structure memory around pages, which may or may not match the hardware page size. In Go, pages are always 8 KiB and aligned to 8 KiB.


Languages like Java are awful in that respect, as they make it super hard to declare new types.

People expect for a type to contain some logic, but it doesn't have to. e.g. a configuration is a type that contains other types that contains yet other types. But I have never seen it done like that in languages like Java.


Touching. Thanks. And feel free to create some Github issues or write to me if you have some feedback.


Just pushed an update which allows you to look at some popular instances and favor them, I think it would make it much easier to start.


This is the first version, here are some servers you can add, if you don't know any: mathstodon.xyz - math mastodon.art , sunny.garden - art c.im - general


They are not 2 sets they are two diagrams, depicting the same set. You can present it like this or in the way you mentioned.



Author here. It was backwards, I fixed it when I saw the comment. Feel free to report any other mistakes you see on https://github.com/abuseofnotation/category-theory-illustrat... or email.


Seems you might have fixed it before I saw it! Thanks!


These kind of articles are sooo dumb. Those tech CEO's are acting like complete idiots.

1. You can measure productivity in a precise way only in some mindless repetitive jobs e.g. are Twitter employees more productive now that they are in the office. How do you measure that (if you measure it in profits, app quality etc. I'd say that they are much less productive)

2. Each person is different. I may be 10% more productive at home than in the office, and my coworker may be 20% less productive. Why do I have to be in the office because of some stupid statistic?

3. Fine, let's say people who work at home have lower productivity. But working from home enables you to hire people from all over the world as well as people who cannot go to the office for various other reasons. I'm not a big tech CEO, but somehow it seems to me that the best candidate in the world, working at 90% of their capacity will still perform better than the best candidate who happens to live in your city and is willing to travel.

4. Working from home is also linked to a better well-being, which means less turnover, better working environment etc.

5. Most importantly: the fucking planet is dying, because of carbon emissions and you want to just dismiss the obvious and already implemented solution for reducing those by letting people not travel to work, just because of some 10% profit increase.


If the CEOs are "complete idiots", make your own work-from-home company and compete with those complete idiots who demand going to the office, and let's see who wins. This is how it works. Other than that, whining "my boss is an idiot" is the national pastime of the average worker for centuries.


Automattic seems to be dominating their space, and has been remote first for years before the pandemic.


And what is that supposed to tell us? If it's so awesome, work for Automattic, or start companies like it to dominate other spaces. Where's the problem?

I just can't stand this learned helplessness in people, like the writer's strikes in Hollywood. Oh the studios are terrible, oh they're doing literally everything wrong all the time. But I'll just sit in the middle of the street, shout cringe at people and demand slightly higher pay.

Go out and show people what you can do if you know how to do everything better. And if not, at least stop complaining about your boss and go back to work.


You are extrapolating a lot out of a simple statement pointing out there is an example work-from-home company that is very competitive, and appears to be winning. They aren't winning so much that they're able to make Tumblr profitable, but better companies have tried and failed.

Other remote first companies have been attempted, and flourished, such as Buffer. DigitalOcean. Not sure how current this list is:

https://buffer.com/resources/remote-jobs/

edit:

So your solution to being underpaid as workers is instead of organizing and pushing back as workers, as it is the legally recognized of labor for over a century, is to start your own competing studio? If that is what you consider "cringe," then you have successfully signaled your virtues. Very well.


Consider how poorly supported is your evidence: "some companies are successful with work-from-home". Good, so? And some companies are successful with work-from-office. Now what? Back to square 1.

This is why I extrapolated. Because you didn't simply tell me this to inform me Automattic exists and they work from home, or did you? No you had a whole point there. That somehow that's evidence that this model is good for everyone, maybe even better than other models. But those points are very poorly supported. And the way to support them is by practicing what you preach. Start a company, be better and win. In any case, I cringe because I watch people fail at basics of life.

If you want to cringe because I'm pointing out basics of life, such as "be the change you want to see" and you won't see your demands served to you on a silver plate simply because you were loud and obnoxious by "pushing back", then cringe. But you still won't get what you want.

Company owners own their companies. Not you. They can run a company how they want, as long as it's legal. It's legal to ask your workers to come to work. If you don't like it, quit and work elsewhere, or start your own.

Say I'm at absolute dismay of how Musk runs Twitter right now. But he has the right to run his company into the ground. Or maybe he'll teach us something (but mostly what not to do). But people who don't want to be abused, should leave and go work elsewhere. That's it. If you go whine to Elon, he'll fire you, and he has the right to.


It is not a thesis, it is a reply to your challenge of "make your own work-from-home company and compete with those complete idiots who demand going to the office, and let's see who wins."

> But use you didn't simply tell me this to inform me Automattic exists and they work from home, or did you?

Actually, I did! Which is why I linked to the list of other WFH companies as well. Some of them may be even competitive as well, you may check.

> That somehow that's evidence that this model is good for everyone, maybe even better than other models.

I never said that. You are projecting. I am fairly agnostic on the idea of which work model is best. More data needs to be collected.

> They can run a company how they want, as long as it's legal. It's legal to ask your workers to come to work. If you don't like it, quit and work elsewhere, or start your own.

Collective bargaining is also legal. You may call it cringe, but it is a valid mode of behavior. So what's the problem here? People are choosing to exercise an option that is legally granted to them.

> But people who don't want to be abused, should leave and go work elsewhere. That's it. If you go whine to Elon, he'll fire you, and he has the right to

No one disagrees that people can be fired in at-will states. But people may also choose other options besides simply taking it, or walking. You present a false dichotomy here.

> If you want to cringe because I'm pointing out basics in life, such as you won't see your demands served to you on a silver plate simply because you were loud and obnoxious by "pushing back", then cringe. But you still won't get what you want.

An overuse of 'cringe' is in itself cringe. Expand your vocabulary, for chrissake.


Collective bargaining is an option, but in this particular uber-monolithic form, which is in effect the supply-side version of a monopoly (a monopsony) it means the end for everyone involved, either now or later. For Hollywood writers in particular, this "later" moment has arrived. Watch the strike, and how it's failing (and will fail ultimately) and learn.

Monolithic structures can't adapt. They're toxic in nature and fail sooner or later, but not before they ruin everyone involved.

There are other ways. But that's another story.


Sorry, but that is complete babble, in the vein of ChatGPT output. Nice engaging!


Sorry, I prefer not to continue this conversation. I’m still learning.


Sure sounds like it. See you at the next model.


Yep - great points, esp the last point. During COVID air quality went up and probably other damage we cause was reduced as well.


Disruptive open office plans are just as bad as they ever were. It's part of why we took to WFH so well. And the amount of time we can spend on chit-chat at the office is greater, many more opportunities.


>the fucking planet is dying, because of carbon emissions and you want to just dismiss the obvious

They never cared about that, but corps are happy to take government grants and tax cut to “protect” the planet.


What is the role of the "root node" in Elm?


It's the broadest level at which two elements can affect each other.

Classic example: if you have a notification bubble near the top of the page, and a notification gets created by some component hidden deep inside the app structure, that message can't be handled in a local sub-model; it must travel all the way to the root node to update the notification bubble stack in the main model.

(Which is why nowadays I prefer to skip the nesting and just have a flat list of all messages in the app. With good spacing and naming, it's quite maintainable and just as solid.)


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: