skysight-inc/HackerNews huggingface dataset:
I really like the way this book jumps between concrete problems and general tools for their solution. I understand this book is about applying category theory tools and not about category-theoretical-language like Haskell but these are popular here so it brings up the topic.

But this brings up a question about concrete structures and abstract qualities of programming languages.

Looking at, say, chapter 2, you have the problem of finding the least-costly recipe for a given task mapped to the abstract monoid structure.

Now, I understand a very nice approach where you essentially go:

Concrete real-world-problem -> abstract-problem, then utilize standard-abstract-facility for solving abstract-problem. If the abstract-facility is incorporated into the language itself, this can happen "effortlessly" and nearly invisibly.

But, this happy scenario can become an unhappy scenario when you have done all that, it works well, when suddenly you find the concrete problem has qualities that are completely irregular and don't fit the abstract model at all. Suppose cost of recipes varies in some weird, ad-hoc fashion, etc.

What to do? Data behaving in a regular fashion is the font of mathematical structures and allows powerful tools. But change that regular behavior to something less regular and you may or may-not get something ammenable to further abstract manipulation.

The thing is, if you take "recipes" becoming "monoids" and have your own library for deriving a category theoretical solution, and if then what "recipes" do suddenly is less category theoretical, then you can change your library - perhaps in a way that does violence to the concepts but still happens to work. But if you take "recipes" and use the built-in language facilities for the monoidal properties of a problem, you may have a lot more trouble modifying the map between concrete problem and abstract solution. And certainly, the modified library may be a long-term terrible solution if you expect the problem to grow. But suppose you don't, suppose you can benefit from exactly this level of abstraction and ad-hoc modification and would pay a bit for a lot of abstraction.

Is there something I'm missing in this criticism?
I applied the `--my-next-gpu-wont-be-nvidia` flag to my hardware and replaced my Nvidia cards with AMD ones, and it is a quality of life improvement.
How Eupalinos navigated his Way through the Mountain
> Do physicists studying these problems genuinely believe that these experiments show some kind of conflict or paradox, or is this just a case of people writing clickbait articles?

The latter. QM is weird, but it's not paradoxical.
> In fact, with X you can switch out your display server and keep your window manager.

No, that's not a fact, that's a theory. In practice, there is only one display server that supports modern devices, Xorg. No modularity is lost by replacing a single display server implementation by a single libwayland implementation.
Bill Gates praises Steve Jobs, says he used ‘spells’ to mesmerize people
The Discoverie of Witchcraft
Python has gained barely anything at the interpreter and language level, tho?
"Resolution" is often used informally to mean "pixel count".
You don't need to know about any of those projects to build an app in C# so you may have started from a bad source. Documentation is much better now and all located at https://docs.microsoft.com/en-us/dotnet/ with github-integrated editing and comments.

Self-contained apps package the runtime with your app so there are no dependencies but having an executable is a separate option and requires the ID of the platform you're targeting. The 3.0 SDK makes it much easier. https://docs.microsoft.com/en-us/dotnet/core/deploying/
More propaganda on HN.
I think it is one of the big failures of Android to have been unable to come up with something better than a file explorer in order to manage your documents on Android.

They have good intentions, e.g. with a system level image picker, but it's UX is one of the worst among the system level components.
It seems to me like the only way to really provide any sense of security is to force gems uploaded to RubyGems to be signed. There is some discussion here (https://github.com/rubygems/guides/pull/70) about why the Rubygems PGP CA isn't really worth using in its current state. As we've seen with Javascript dependencies, we can only put off dealing with this problem for so long.
Something about this article just rubs me the wrong way --- it feels like CV padding. So many buzzwords, so much complexity, so many layers of libraries just to write to a display. I didn't know what Nerves was, so clicked over to https://nerves-project.org/ and didn't learn all that much more --- the home page there looks to be more marketing wank than anything else (a lot of projects these days seem to have this affliction; they'll tell you all the great things you can do, but never answer the question of what it is.) What's more, and this isn't specific to this article but basically all e-ink products out there, those layers of complexity almost certainly are not letting you use the display to its full potential; they only offer a dumb framebuffer interface.

That's particularly disadvantaging with eInk, because if you drive the display directly instead of using a pre-packaged controller, you can achieve effects like partial redraws without flickering, and even theoretically infinite levels of grayscale; here's a previous HN discussion of an article where someone did just that:

https://news.ycombinator.com/item?id=16140284

The ED060SC4 seems to be one of the best for this; you can drive them directly, they're reasonably large (800x600, 6") and cheap, and there's plenty of information on them.
Learning Prolog was one of the better decisions I have made. Not because Prolog jobs are plentiful. Rather, understanding logic programming by broadened my problem-solving skill set.
More or less. It's not true in general, only when one of the observers is considered as a system that is isolated from a second observer. Two observers who are not isolated from each other, i.e. who are mutually entangled (which is to say, all real-world observers) will always agree on the state of the world.
I would like to know more about this. What would it look like if housing prices were tied to income?
> This is the result of the Cascade of Attention-Deficit Teenagers model and is why Linux will not approach Windows or OSX in usability.

While I definitely agree with the CADT issue; despite it, the Linux desktop experience still beats the Windows or OSX one. If the Linux desktop is "a little hammer that pops up and smashes your knuckles at random", the Windows and Mac desktops are big hammers that smash various body parts at random.
Also southeast Asia! In the Philippines, for instance, it's quite common for both women and men to live with their parents until they get married.
I once had a colleague -- a reasonably educated colleague -- refer to Arabic as "Islamic"...
I wished they had an online demo, or jupyter notebook with an easy to download pretrained model so I can test it in colab
Well, at the very least, it shows the risks of using non-FOSS apps, and why FOSS versions might be preferable even if they're not as polished.
> Remember that udev and sysfs are written by the same people, working together off-list. They're free to break the exported data format on a whim, because they write the code at both ends and fundamentally they're talking to themselves. They honestly say you can't expect a new kernel to work with an old udev, and they say it with a straight face. (To me, this sounds like saying you can't expect a new kernel to work with an old version of ps, because of /proc.)

> Documentation is a threat to this way of working, because it would impose restrictions on them. A spec is only of use if you introduce the radical idea that the information exported by sysfs exists for some purpose _other_ than simply to provide udev with information (and a specific version of udev matched to that kernel version, at that).

http://lkml.iu.edu/hypermail/linux/kernel/0707.2/4230.html (http://www.landley.net/notes-2015.html#05-07-2015)
I agree with you on Obama, but every time voting is brought up on HN, there is an immediate responsive implicit assumption that voting for president is the only kind of voting that exists.

Americans have opportunities to vote on many levels of government. All those votes have a potential effect on policy. One woke vote for president is not going to counteract all the other bad votes or non-votes.

Obama would have done a lot more if his feet had been held to the fire by a more progressive Congress. But climate action opponents took control of the House in the very next election, effectively ending Obama's chance to take significant action.
Maslow on Management
Vue Themes – Dashboards and Landing Pages
Hemp would be better, btw. Because it grows faster and can be harvested twice a year. Big amount of very useful biomass for many useful products. Where at this planet all these trees should or could be planted? Where could be the most efficient place for it? Most of the trees in one big area, or better wide spread around the globe? How would it impact the actual nature and plants around? Which sort of trees? Could hemp be more efficient?
>> And elegant composition is impossible with infix notation unless -- you add parens again.
> This is a valid criticism.

Is it? What is an example? (One I could think of below seems solvable)
Given that ibm owns redhat and ibm aix depends on x11 I think the redhat gnome idiots are in for a rude “welcome to working at ibm” talk .
Its fun beating up journalists, but the examples they give are exactly the ones that appear in the press release, which has direct quotes about them from the scientists.

https://www.eurekalert.org/pub_releases/2019-03/bu-brd030619...

So in this case, if you have a bone to pick, it's not with the journalist.
1. from the perspective of firefox forks (Waterfox has around 200-300k daily users, which is a lot in this context)

2. from the perspective of the entire web (Waterfox has only around 200-300k daily users, which isn't a lot in this context)
Yes. It's much more expensive now to get one's own flat or share it with roommates in, say, London than it has been in the recent past. And it's only going to get worse.
I Stopped Using Multiple Monitors
If you do have such data, it should be possible. At least in theory. In practice, yes, probably the easiest way would be to have a flat image with depth (or "lightness") and hatch direction information processed by MetaPost somehow. What the library is missing now, is an algorithm which would convert some arbitrary field of directions into actual hatches: the problem is that you need to have more or less uniform "black" without too "dense" or too "loose" areas; this problem in this library is solved for some particular cases (when tube width changes, the number of strokes also changes in order to keep approximately the same stroke density, for example), but the general solution with reasonable results is probably much trickier.

With all that said, MetaPost probably isn't the best tool to deal with "real" 3D problems, and implementing (and re-implementing) these algorithms in some conventional 3D software could be a better option.
Why is it outrageous ?
In Indonesia, minimum wage is around USD 1500 annually, and not everyone gets that. Fresh grads in white-collar jobs might get maybe USD 3000 per year, or USD 5000 in the capital. If you make 5 digits you're doing well, like USD 25k per annum for a data scientist or 60k for a head of IT (those would be exceptional top jobs there, mind you). [1]

So, for the median individual in Indonesia it's several decades worth of salary, and it will help the affected families a lot. I assume that the situation in Ethiopia is not too different.

[1] https://www.robertwalters.co.id/content/dam/robert-walters/g...
Not a physicist either, but seems to me that the whole issue is people refusing to admit that they are themselves composed of atoms that follow the laws of quantum physics.

If a set of atoms can be in a superposition, so can be you. Because you are a set of atoms, duh.
This is a gem that checks the strength of a user-submitted password. It has a large number of downloads (37,000 on the legitimate 0.0.6 version). It looks like it's made to be integrated on webservers.

The modified gem downloaded and executed code stored in a editable Pastebin, meaning that the code could have changed at any time. Presumably, the malicious code would activate just by browsing any page on the affected site. One version of the Pastebin code would execute any code embedded in a magic cookie sent by a client. Plus, it would ping the attacker's server to let them know your webserver was infected.

Nasty, nasty stuff.
I tried out Amazon Go in SF and I have to say that I'm very impressed. It doesn't even require a standalone app if you already have the Amazon app downloaded. I walked in, scanned my phone, grabbed a sandwich and walked out. It took 2 minutes and felt a lot less friction-y then buying something at a convenience store, which admittedly was low friction to begin with.
Even if it's usable, it's probably not a good idea. X windows are not rendered by the server anymore. The client (i.e. the application) renders them and just transmits a full pixmap to the server. Depending on the redraw strategy, you could have a worst-case scenario where 60 frames per second of the entire window are transmitted completely uncompressed (except for the compression that SSH applies). You'll be sailing much more efficiently by using a VNC client.
Well I suggest reading carefully that first paragraph from Wikipedia. It does agree with me but I'll give you that it says it can be context dependent and you are talking about what it is considered "to be wealthy". In that context, I think if you considered the average person a hundred years ago to a average person today, the person today would be considered wealthy (to the person from a hundred years ago).

But to quote the first sentence of the second paragraph

> At the most general level, economists may define wealth as "anything of value"

Which is why Saudi Arabia is "wealthy", because they are rich in oil resources.

> Resources however is not a zero-sum game.

Great, we're done here, right? We agree?

To a person with access to clean water, having access to clean water does not make one wealthy. To someone that doesn't it does. But this is the difference between the economic term of wealth and the colloquial term of "to be wealthy". (Though we can say that all westerners are wealthy if we take the right perspective, but I won't get into that).

I actually will get into that. You're taking this from a western-centric point of view. Not only that, a temporally local point of view. I'll ask you to reread my original comment now that there is added context given. Specifically that laid out in this paragraph. I'm not talking about money. The value of money is a result of the economy, not the other way around. You're conflating things that don't interact that way.

Honestly I don't even understand your point. Because I'm saying things like "We have AC and good medicine. Our ancestors a thousand years ago had neither. Ipso facto, we're more wealthy". I have absolutely no idea why people with expensive things discredits this argument. I'd even argue that while off topic, if anything it helps mine. Because previously only monarchs had that kind of wealth, now we have almost 15 million millionaires in America alone. That's like the global population of 5000 years ago. You can also find my link to the world bank that shows the number of people living in extreme poverty (globally!) has been plummeting. These are the kinds of things I'm talking about. Not that some rich person has a nicer house than you. But that there has been a trend where everyone everywhere is doing better than they were before (given the time scale).
It's cargo cults all the way up.
Got a source for Ice Lake products that are actually available? Dell's XPS 7390 was supposed to be one of the first, and it's still "coming soon": https://www.dell.com/en-us/shop/dell-laptops/new-xps-13-2-in...
Yeah I don't generally either. I live north of the Bay Area and the last quake I remember feeling there was the Napa one in 2014. I believe it was somewhere between a 5.5 and 6.0.

I went to school in the LA Inland Empire area - there was a quake I felt last year there during class. It was really close but I'm pretty sure it was just short of 4.0.

We have hundreds (thousands?) of quakes per year, but the likelihood your average resident feels a quake in any given year? I think it's low.
Sounds outrageous, but it can also be clever in a counter-intuitive way.
With pulse, wasn't the main complaint that it was buggy for too long after being pushed on users? Seems similar to Wayland (the ecosystem) in that regard
If you went down that route, wouldn’t you include “enjoyment” as a goal, as a way your life would be “better”, and so that would get taken into account in your analysis?
The date on the article says 2017, but the author tweeted today he updated it https://twitter.com/housecor/status/1147891246851067904 Discussion from 2017 https://news.ycombinator.com/item?id=13968519
>I don't even think deranged people like serial killers and pedophile rapists can change.

Assuming you are right, the great majority of prisoners fall into other groups. These prisoners are going to be released at some point, and if you use this effective rehabilitation program, then they will be much less likely to commit more crimes against citizens in the community.
This is the only practical definition there is of a global language. The others are purely theoretical and intellectual. Practicality trumps all.
> Their alternative has genuine technical problems that would render large parts of wlroots broken.

If this is indeed true (and I have no reason to doubt you) then I wish you and the rest of the Sway folks would focus on those issues, instead of the political arguments because from the outside it all looks very petty when you write stuff like "Nvidia doesn't support Sway". Nvidia doesn't even know about you.
Cheap technology, thousands of AI programmer monkeys. Makes sense.
Can't disagree more. Learning a spoken language is much more than picking-up a communication tool - it opens a world of culture and thought that is bigger than the language itself. Yes, the same can be said of mathematics, and both are as valuable.

I'm European, speak 3 languages and use math every day, professionally. I've studied, lived and worked in the US for many years and am often shocked at some of my American friends' lack of perspective on international affairs.... keep-up with the math education but don't do it at the cost of languages... you can't afford to.
Boeing: Choose either great airplanes that generate cash flow or great cash flow
Start a GUI application as a different user than the one logged in graphically

the xauth command will let you do this (which is what ssh X forwarding does)
Fabre’s Book of Insects (1921)
Audiophile site: New revolutionary "Ring of Silence" device will block any unwanted sound, turning any noisy living room into a listening experience out of this world. Better coupled with our deionized cork earpads at just €999.99.
I have lived in the bay area for 7 years (2012-2019). I have never felt an earthquake. I recall a few happening (from news reports, twitter), but I either didn't feel them or they happened at night while sleeping.

The only time I've felt the ground shake was in the earthquake simulator at the California Academy of Science in SF :)
Nerves is a framework for embeddable programming with Elixir.

Scenic is a new graphics framework for Elixir released over the last year.

The author is trying out new Elixir based technologies on an eInk display. And having fun with it.
Ok, we've changed from https://www.fastcompany.com/90316833/scientists-have-discove... to the press release it points to and quotes from. Interesting how a press release is more sober and neutral than a third-party media article.
Thanks for the clarification.

This all reminds me of Poe's law

> https://en.wikipedia.org/w/index.php?title=Poe%27s_law&oldid...

"[W]ithout a clear indicator of the author's intent, it is impossible to create a parody of extreme views so obviously exaggerated that it cannot be mistaken by some readers for a sincere expression of the parodied views."
They tried to rewrite it, reportedly: https://twitter.com/fare/status/1112477563056779265?s=20
You still have to make that messy choice between at-most-once and at-least-once execution of each transactionally guarded section.
The wlroots developers are working on protocol extensions to make stuff like screen grabbing work consistently across WMs: https://github.com/swaywm/wlr-protocols
> Does any GUI application follow the Unix philosophy very well? Because the other side of "do one thing and do it well" is that arbitrary tools can be combined, and that tends to break down once you leave the command line.

Building scriptable applications works relatively well: see OSA on macOS.
I'm assuming other needed BOM parts. You can do the Arduino thing with very few parts.

A low end STM32 with KB of ram isn't going to boot Linux.

The cost comparison of "STM32 that can reasonably run Linux" vs "Atmel that can reasonably run Arduino" is a chasm.
Interesting features of the Dart programming language
Kierkegaard doesn't use academic philosophy jargon, but he came up with his own, and the English translations of his work come off as cryptic and dense.
> the examples they give are exactly the ones that appear in the press release,

That's not true. For example, The Fast Company article says "they could be stacked to build soundproof yet transprent walls. Cubicles will never be the same." The press release doesn't include that. This makes sense because it ties in to the emotionally charged reference to "your coworkers" in the title, which is not a trick that the press release pulls.

More significantly, the Fast Company article is written in a cloying hyperbolic style while the press release is pretty neutral. And the titles are beyond comparison, which is probably the most significant thing because titles have the greatest influence on discussion. Many readers have developed allergic reactions to titles like "Scientists have discovered a shape that blocks all sound–even your co-workers", which insult the intelligence so badly.

What's interesting is how the journalistic outlet has to be so much more exaggerated and use so many more tricks even than a press release. Presumably this reflects the economics of media vs. that of universities.
In light of vulnerabilities like these, I’m glad there are developers that spend time to make their apps more secure. Thus, making us all aware that issues like these are out there. Security is almost always just put off in exchange for features and security is most of the time taken for granted. It’s about time that we start taking it seriously.

Kudos to you!
How long did it take to get multiple monitors working with xrandr, again?
> I recommend you simply to switch to AMD if you are using Linux and want a high end GPU. That's the only way for you to get a usable desktop with modern features.

This is just not true. Gnome with Wayland is one of the most popular and modern DEs and it supports Nvidia's proprietary drivers today.
An earthquake will destroy a sizable portion of the coastal Northwest
Shrinking WebAssembly Binaries upto 72%
They absolutely are intended for that. RHEL, Canonical, Oracle, SUSE and KC all disagree with you.
This sounds like wonderful advice to me. If you are an English speaker, I frankly don’t see the return on the immense investment of time and energy learning a language requires unless you will eg live there or do much business there. Unfortunately for the average person I’d imagine learning math might not be extraordinarily useful either.
Suppressors work by cooling down the exhaust gasses before they reach the air so that they don't create a burst of expansion.