skysight-inc/HackerNews huggingface dataset:
I've been using Sway on my laptop recently and it's been a great experience. It looks great (easily customizable) and runs smooth.
To be clear, how much category theory are you envisioning setting up in a first course on abstract algebra? Are you basically just talking about a modern treatment of morphisms in the abstract sense, or do you also mean discussing things like functors?

My perspective on this is basically informed by the following: I like category theory a lot. I've chatted with Baez about this on a few occasions and insofar as I need to use algebra, I like the category theoretic formalisms that come along with it. I think if you had students with a lot of mathematical maturity but no prior exposure to abstract algebra (except maybe a rigorous treatment of linear algebra), you could accomplish what you're proposing.

To your point, one of my favorite math textbooks is Aluffi's Chapter 0. You're probably familiar with it, but if not: it builds up abstract algebra in a rigorous and modern fashion alongside category theory. However, there are a few caveats here:

1. Aluffi explicitly states it's a textbook for upper level undergrads and preferably graduates. In my experience, when authors say this they actually mean it's appropriate as a year one graduate course. That's not the time to learn abstract algebra for the first time!

2. Aluffi does a great job of covering things like morphisms and categories, but the size of the book is massive. He doesn't have any nontrivial coverage of deeper category theoretic concepts like functors until much later in the book; it's probably far enough in that you couldn't reasonably cover it in a single semester course.

3. I really don't think most math majors would benefit from it. Those who are applied math majors will get questionable benefit from a slower, more comprehensive approach to algebra than a faster approach that lets them get to applications. Moreover, not all pure math majors have the mathematical maturity to approach category theory before grad school. Proofs in traditional abstract algebra are a lot less abstract than category theory, and it's easier to motivate them even if they aren't ultimately as elegant.
Seems like all language would be "category theoretic".
Data Mining Adds Evidence That War Is Baked into the Structure of Society
thank you for the showdead tip
What is "IC"?

https://www.linkedin.com/pulse/acronyms-seriously-suck-lesso...
I've had pretty good luck with buying a new ASUS laptop every year or so and then giving the old ones to my family. They definitely don't last as long as a Mac, but the specs are often comparable and I prefer to run Windows/Linux in a VM than OSX.

Not sure if this is a good mindset to have, but I feel less worried about lugging a ~$1000 laptop around town compared to a $3000 Macbook. It feels a little less like a priceless object and more like a "disposable" tool (as disposable as a $1000 object could ever be).

Also the keyboard is perfect and isn't the Mac's, which I can't really deal with.

Currently I'm rolling with a Zenbook UX430U, primarily because it was the one with 16 gigs of ram.
I suggest using manjaro. With some tweaks, works very well. And good compatibility out of the box.
> Does anyone else find these kinds of Twitter threads incredibly hard to follow?

Yes, although I think it accurately reflects the level of rigor that the authors apply in their thinking (and by that I mean 'not a lot').
haha, no bother, we all know whats up here; I'm just busy bikeshedding.

Massive kudos for delivering; I like it a lot :D
Contrast this grim development and international condemnation of China's treatment of its own people with the happy news from Chinese news organizations and government officials about "free vocational training" and "boarding schools." (https://www.theguardian.com/world/2018/oct/16/internment-cam...) Hundreds of millions of Chinese people and many foreign people exposed to the English-language propaganda believe it, too.
>In terms of sheer bang for your buck, Nvidia's cards have been on top for a while now

But they have not been on top for a long enough period that cards bought when they were are generally supported by nouveau, and cards bought after should be AMD. On top of this, the reality is that most people don't need top of the line GPUs. Last year's GPUs will run next year's games at max specs.

>Linux their proprietary drivers are the most stable in games

were
1. If certain Prion disease(like say CJD) was Communicable with a high R0[1] by say contact, fecal matter, saliva we would see a lot of people dying, since CJD has a mortality rate of 90% within 1 year[2].

2. The level of A-beta protein(i.e. not technically prion just yet) again the deposits in 7 of the 8 patients was so severe that if this were communicable easily with a high R0, it would also be seen in the general population by now.

So one does not need to worry at least about communicability of this through those means just yet. But transmission if postulated experimentally through certain means like say dental health can mean that we might be able to put a dent in a health crisis of a greying population.

[1] https://en.wikipedia.org/wiki/Basic_reproduction_number
[2]https://en.wikipedia.org/wiki/Creutzfeldt%E2%80%93Jakob_dise...
It is depressing to think that there is nothing we can do to prevent the rise of dystopian regimes that consolide their power with thru censorship and authoritarianism. The worst is that most people in China support their current government and believes what has been done as for the greater good.
Independent Contributor
To give credit where it's due, that diagram is from a /r/math thread: https://www.reddit.com/r/math/comments/99y547/my_digram_of_a...
The opposite of “pair programming” isn’t “developing solo”.

Like I said above, most problems that developers are working on everyday isn’t some complex algorithm it’s translating business requirements to code.

Collaboration is often definitely better than developing solo but it isn’t “pair programming”. But developing solo can be faster. The more developers you add to a feature, the more communication and coordination overhead you have (The Mythical Man Month a book written in the 60s). Honestly, we’ve found that three people working on three separate features solo can get more done than three people working on the same feature over the same amount of time. Again we make it a point to switch up so we can see the whole picture.

When the product owner comes in and realizes we didn’t consider something, it’s almost always faster to have that one person who knows how the change will affect the whole stack - UI/Back end/database/deployment, infrastructure requirements than to have five people trying to coordinate the change.

Collobaration can mean “war rooming” or “swarming”.

War rooming for example is getting your back end and front end developer together in a room along with your QA person, your Devops, and your product owner working on their piece of the feature, rapidly iterating.

I work on a team where each developer can easily go back and forth between the three languages we use (JS/C#/Python), front end development in React, database design, Devops with CloudFormation, CodeBuild, Code Deploy and Code Pipeline sometime we will split up the parts. Other times one person will do a quick design session, do the whole stack, do a post review along with design docs in MarkDown.

If you have well rounded developers, they will often switch roles on the next feature just to have knowledge and a different perspective.
TL;DR: the Youtube AI overweights heavy viewers (people who have more "engagement" with YT) and thereby ends up naturally promoting the Youtube equivalent of clickbait. YT creators notice, and make their videos more and more like Youtube-bait so that they'll be promoted. A tight feedback loop is created, and hilarity ensues. Pretty much the exact same dynamics as "Elsagate", except optimized to bait adults, not kids.
I scraped it from their website and then asked for their permission by sharing this link with them. They appreciated that I linked all the icons to their website and gave their consent to make this public.
I just released version 1.1.0 which allows whitelisting specific links with query strings like those. https://instant.page/blacklist
Yes, but as an adult I can also appreciate why things alluding to the time before I was born are funny. Marvels current target audience will probably not because most of them(not all) lack the required maturity at this stage in their lives.
> Mutter developers don't want to depend on GTK for whatever reason

GTK is 100% designed to be a (Wayland/X/Windows/Mac) client. Shoving it into the display server is bound to end in disaster.
OnePlus Is Crowdsourcing It's Next OxygenOS Feature
Here's another article on the camps in general

https://www.bbc.co.uk/news/resources/idt-sh/China_hidden_cam...
I don't think there is a correct answer to the question should we build the next particle accelerator. Its an opinion based on the probability of us finding something (also an opinion) and the relative value of that discovery to $20B.

I got a PhD in theoretical particle physics in 1995. My thesis was about the supersymmetric flavor problem, where we tried to infer information about physics we couldn't measure based on the naturalness criteria she criticizes. My thoughts on pursing this: well, I left physics. I thought it was too hard to make any progress. I went into software. I don't have any regrets.

I shouldn't admit this but I occasionaly daydream in a Walter Mitty sort of way about doing great things. I have had a few physics ideas related to things like quantum gravity that I think about occasionally. Just a few months ago I was daydreaming about me pursuing one of these back in graduate school and it being very successfull. I intertrupted my daydream with a thought, "I'm glad that didn't happen. Then I might have stayed in Physics."

So that is my answer to the question about investing my own time in searching for new physics. None the less, I wouldn't say people are crazy because they think there is some value to pursuing physics as is currently being done.
I am aware that I may be the one who ends up implementing that :)
Are you the CTO? You refer to the CTO in the third person in places here. In any case, the CTO, whoever it is, is being pressured to make a decision between being a CTO and doing whatever else they are doing.
What is the reason the CTO can't join fulltime?

I understand the investors thoughts that the CTO doesn't want to contribute fulltime, thus slowing the company down. CTO should be either replaced or joining fulltime. If CTO can't join fulltime for whatever reason he shouldn't be CTO but hold a lower position for which he could be paid part-time.
I think some of it may be communication of "mental illness".
https://tildes.net/register?code=TZHJM-37HHL-9ZBDE https://tildes.net/register?code=DKXK2-AD244-754XL https://tildes.net/register?code=A5B2A-KD3JL-5V246 https://tildes.net/register?code=LKEEL-UIXIJ-UU3OK https://tildes.net/register?code=HY2VU-UJ9AZ-7YGV3 https://tildes.net/register?code=IQ9FS-R5DFF-NV45S https://tildes.net/register?code=GXA7N-UBHOT-JXMWA https://tildes.net/register?code=DKUHR-ON9EK-RVWZU https://tildes.net/register?code=5SE1S-62D0Q-8CKFK https://tildes.net/register?code=RDJ94-4OD8D-LU5ND
You may find this Song Exploder episode interesting - Yo Yo Ma talking about his changing interpretation of Bach over the years. (Ma is also referenced in original article.)

http://songexploder.net/yo-yo-ma
Here's to another 10 years of non adoption, if wayland means "we don't care about popular (even dominant) use cases, now piss off".
> I don't think the on-disk size matters all that much, TBH, it's likely just a tiny fraction of data stored in the cluster.

I've seen pg_attribute take up very significant fractions of the database numerous times, so I do think the on-disk size can matter. And there's plenty places, e.g. catcache, where we store the full on-disk tuple (rather than just the fixed-length prefix); so the on-disk size is actually quite relevant for the in-memory bit too.
What Hooks Mean for Vue
Most compositors don't support DRM (that kind) at all (yet), only recently there was a protocol extension published + a merge request for Weston + I guess something on the driver side?
It is an uninformed choice if you want to run wayland. That doesn't mean there aren't other factors at play. For example back when I was shopping for a laptop 2yrs ago, AMD GPU's weren't even available on most vendors. Even now linux vendors such as system76 and entroware don't ship amd cards on their laptops. CUDA dominating the Deep Learning space doesn't help either. That said my next hardware upgrade will definitely have an open source supported GPU or I m just not buying.
… did you ask a doctor about this? You should be asking a doctor about this. Not people like me, who'll tell you this sounds like a potential vitamin overdose or something.
I'll join the company on a full-time basis.
There are probably a lot more videos about the earth being flat than about it being round. People who believe the earth is round probably don't make a lot of videos about it.
I have three:

2016 MacBook Pro 13" non-Touchbar

It's a great machine. I'm not putting faith in the keyboard lasting longer than the 4 year service period Apple has, it's been replaced once already. The screen is amazing, battery life is great, no real complaints other than it only has 2 ports.

2014 MacBook Air

Also a great machine. Battery still lasts almost 10 hours, which is about 2 hours longer than the 2016 MacBook Pro I have. It's very usable, but it's not very fast. The other MacBook is 50% faster in both single and multicore tasks. I keep it around as a backup machine as well as having a slower device to use for testing. However, if I spilled a coffee on it I would not miss it. I'm partial to the Air as I had a 2010 and loved it.

Lenovo T480S

This is a great machine. I work in a Windows world so I can't use a Mac. Works great docked, gives 8 hours of battery on the road, really winds up with 4 cores of power, 16GB RAM, an 512GB SSD, and was a little cheaper than the Mac. Screen and keyboard are great. Single-core stuff it's only about 10% faster than the Mac but for the multicore stuff it's over 50% faster. Strangely not 2X as fast like my 15" MBP was.
> code without getting to design and architectural space

Then your impact is limited. Truth is, you need to do high-level thing to influence more people because that is more efficient and valuable use of your time. Implementation is fun and useful and all, but it can't scale beyond certain scale.
I always felt that on the Lisp Machine one of the great things are the Lisp-like interfaces into the system. For a lot of stuff there is for example very little manual memory management necessary and the whole thing is very introspective at runtime - due to a very object-oriented architecture. The operating system runs most of the time in a way, that would be beyond a typical debug mode on conventional machines: all data is tagged, almost all data is an instance of some class, all basic functions are type checked and bounds checked at runtime, all function calls are on the stack and many functions have (optional) named arguments.

A developer would also run the whole OS with full cross references, documentation references and source references. Then there are selective ways to run some code with higher debug features, like source locators for local variables/functions or using the Lisp interpreter for some code - usually code would run compiled, but the interpreter would support things like source stepping and seeing macro expansions.
Possibly stupid question: Did you thoroughly clean and wash the juicer first? Might have been some residue from manufacturing.
Yep, the aforementioned patch: https://phabricator.kde.org/D18570
In a similar vein writers such as Dickens, Sir Arthur Conan Doyle and Dumas were heavily serialized and required to produce content at a rate that few of our contemporary writers could match [0].

[0] https://en.wikipedia.org/wiki/Serial_(literature)
Zoox self driving cars use ROS fwiw
I could be wrong here, but my read of that comment is that they're talking about the structural differences between rings and groups at the research level. Which I guess makes sense, since you're in very different territories if you're talking about something like representation theory of finite groups...

Otherwise I agree with you, there's a lot of pedagogical value in combining coverage of algebraic structures.
Yes, but the UK is outside the eurozone. It also has very low unemployment and although the deficit exploded under a left wing government and due to the financial crisis, it's been falling since 2010 and is now at its lowest level in a very long time. There's still more work to do to reach surpluses (last achieved in 2000) but the UK wasn't a part of the eurozone then either.

And of course Switzerland also doesn't use the euro and has a balanced budget, and a strong economy.

So to me the domestic German narrative that these sorts of economic success are to do with the eurozone seem wrong. Countries in Europe and which are not using the Euro have been able to obtain these results too. Probably if the euro had never happened Germany would be doing just as well today, and their purchasing power would have effectively gone up even if the wages hadn't because imports would have become so much cheaper.

Good point about productivity vs unit labor cost. That's indeed what I meant.
I remember that one https://bugs.launchpad.net/ubuntu/+source/nautilus/+bug/1704... (does apply to ff drag and drop too if I recall correctly, carried from 17.10 to 18.04) and https://gitlab.gnome.org/GNOME/gtk/issues/895.
> So in short, people asking for Nvidia proprietary driver support are asking the wrong people to spend hundreds of hours working for free to write and maintain an implementation for one driver which represents a harmful force on the Linux ecosystem and a headache for developers trying to work with it. With respect, my answer is no.

Interestingly, this is more of an indictment of Wayland than anything in the article that's being "debunked". I don't dispute that it is difficult work, but you'll have to choose between making a viable X replacement, and dying on this particular hill.
Wayland is a great demonstration that not all change and deviation from tradition in met with vitriolic anger from the linux community (as has been asserted). Wayland meets its fair share of skepticism, but it seems cool heads prevail and the situation stays civil. This gives me confidence in the maturity of the community and the long term viability of Wayland.
Wayfire (already mentioned by Drew) indeed has wobbly windows, the desktop cube and even the titular fire :)

https://www.youtube.com/watch?list=PLb7YRKEhWEBUIoT-a29UoJW9...
https://nouveau.freedesktop.org/wiki/FeatureMatrix/
Most firewalls now track UDP state, either at the application layer, or simply by allowing return traffic until a timeout period with no traffic occurs.
Ask HN: Dotfiles am I overthinking this? Ansible vs. Saltstack?
I have wanted to make my dotfiles public for ages however I have been too scared of sharing sensitive data in the past.

Secret data I don't really want in version control at all, regardless of whether it's encrypted this includes weechat’s sec.conf, X.509, gpg, ssh keys etc.

I store these offline but at two different physical sites. They very rarely change so I don't need to put them in a VCS.

I am concerned private details like domains, addresses can be used to map me and my network.

- Public version, (generic configs documentation addresses etc)

- Private version, (specific to me)

- I will only push the private repo to my own git server.

I looked at the bare repo method[1]. Some of my servers/VMs have files deployed to /etc so I don't think this would really work.

I am hoping that friends can make their own private versions from my public version. If they had a suggestion they thought I might like, they could check out a copy of the public version, branch that, and send a PR back.

Current idea[2] (graphviz[3])

1) Am I overthinking this? I am a bit of a git-noob.

2) Would there be any dotfile tools[4] that might help make things easier? When I used stow, I didn’t ever make an instal script, so that will be a big job. I looked at yadm[5] it sort of sounds like it could be appropriate.

3) Should I should use a more fully fledged Configuration Management Software. I think Ansible might be nice, the YAML playbooks look really easy. I had seen some examples that used SaltStack too. I could also further get this to run pacman, apt-get, yum etc.

4) Which out of Ansible or SaltStack? Which should I try.

Any other suggestions welcome!

[1] https://developer.atlassian.com/blog/2016/02/best-way-to-store-dotfiles-git-bare-repo/

[2] https://i.imgur.com/M752hnu.png

[3] https://pastebin.com/173xcQKJ

[4] https://wiki.archlinux.org/index.php/Dotfiles#Tools

[5] https://thelocehiliosan.github.io/yadm/docs/bootstrap
> Last year's GPUs will run next year's games at max specs.

If you want to run at 1080p@60hz perhaps, but many people now are going to 1440p, 2160p, 144hz or some combination there of which can easily strain even the latest GPUs.
> - the Everett interpretation - is the most popular with physicists

Source? On the contrary, this survey of physicists https://arxiv.org/pdf/1612.00676.pdf
(Fig 13.) indicates Copenhagen is dominant, followed by no preference, with Everett a long way behind. This is also matches my perception as a former member of the community.
I love Aluffi's Chapter 0 and mentioned it in another comment. But I don't think it's appropriate as a first pass on abstract algebra, even for pure math majors. Maybe for an Honors Intro to Abstract Algebra course...otherwise, I think Aluffi is pretty clear in that while he thinks category theory should be covered early on, it's really a text for graduates and not undergrads. Abstract algebra should be covered before you get to grad school.
Wayland is flourishing - everywhere except among Nvidia proprietary driver users. In reality it's them who are dying on their hill, left behind on crappy old software.
An Introduction to CubeSats
> Wayland can be keylogged, assuming the attacker can sneak some evil code into your .bashrc

I’m not sure what scenarios are being invisioned here, but isn’t that absolutely something a nefarious app could do, because the app will be run as you, and you have write access to your bashrc?

As an example, since it’s fresh in my memory, if the folks who put dodgy cryptocurrency stealing code into npm packages had instead put this keylogger in there, that would have worked right? You run npm install, npm runs as you, the package runs as you, the package updates your bashrc.
It sucks for the people being detained right now, but geopolitically there’s not yet a pressing need to stop the Chinese government — the world knows China is without meaningful long-term allies and is weakening on top of that.

Xi only seems to know how to play a Xi-and-China-vs-the-world game, which isn’t a game I’d want to play on the Chinese side.

Anyway, it will all take quite a long time to play out.
How will we know?

If you were Chinese would you take the risk of speaking out?

'freedom' is all well and good in the abstract, but would you risk yourself for it? Your wife and kids?
Using the term “AI” was also a big red flag that this person doesn’t know how the algorithm works. It’s not some sky net sentient thing trying to get us to watch more videos... it’s math and training data