skysight-inc/HackerNews huggingface dataset:
If any of you need motivation to go and learn it! Please do it! You will never regret invest time in clojure.

Agree that Clojure is a good language to learn. If you plan to use it beyond educational purposes though, expect to hit many walls when/if you plan to write real world apps with it. The foundations are there but the ecosystem isn't. Someone will mention the Java libraries, but at that point you are not really writing Clojure. Also, be prepared to deal with the cultish obsession of the community. They have very strong opinions but will never elaborate.
MagSafe was great when the average battery life was under four hours. You have to be plugged-in in weird places. It saved my laptop a couple of times when I was at University. The problem is not just knocking over the whole laptop, but you can damage the port as well.

With the current 8+ hours battery life, I only have it plugged in when I'm at my desk, so no risk of tripping over.

For me, the standard port overweights any other downside.
Think this is from June of last year. The Drive broke the story about the patents: https://www.thedrive.com/the-war-zone/28729/docs-show-navy-g...

The journalists pursued a two prong strategy for this story. First one was verifying the cockpit videos released years ago via FOIA requests (that was a surprise) that only recently got released by the Navy (a bigger surprise.)

The second prong was their investigation of a supposed scientist working for NAWCAD, named "Dr. Salvatore Cezar Pais." Think physicists have looked at the patents and called it word spaghetti. One of the patents literally starts defining how to control gravity.

The journalists are still not sure whether this is a real person doing fraud backed by ignorant leadership trying to save face desperately or a purposeful psyop operation headed by a made-up name and designed to drain foreign government research budgets.
Tim Bray was a well-known member of Amazon's technical staff. Him quitting will have a substantial impact. It will add weight to what others inside Amazon are pushing for and is a very visible reminder that if Amazon doesn't make some changes, the threat of engineers voting with their feet is a real one (one of the few things that could make Amazon adjust their culture IMO).
What is needed to fix sound?
I don't disagree, but 15 years ago it was much more expensive to do a startup. This was before AWS and Rails was just getting started, so just getting something up and visible was a major technological effort. Now I can spend a day writing some Terraform code and have an infinitely scalable, load-balanced cluster up and running. A day later and I can have a decent-looking basic CRUD app on the cluster.

Then I can spin a lot of the other work off to pay-as-you-go SaaS tools. Payments, sales support, CRM, support, marketing, analytics, feature flags, landing pages, A/B testing: all of these are things I don't have to build any more. And now thanks to the rise of things like Slack, Zoom, and Trello, remote and/or part-time work is much more tenable, meaning we don't need an office and full-time commitment to get going.

So yes, VCs are going to take minimum risk for maximum return. But they always have. What's different now is that you don't need to convince some rando that you need $250k in seed money just to find out if your idea might work. If it does, you'll at least be in a better negotiating position. And maybe you won't need to seek investment at all.
Actually we can detect them, thanks to the Stereo satellites. (And also indirectly through helioseismology.)
Probably calcium propionate.

And source control to keep initial mold spore counts low.
> implicit AppleCare (~$300) as required by EU consumer law

I wouldn't say AppleCare is the same as having the extended warrenty to obey the EU consumer law. AppleCare includes a bunch of things that are outside of normal "warrenty" coverage.
Many people (~thousands) in the US use a few species of Cryptoleptis (sanguinolenta) to good effect for Babesia, a less virulent and dangerous "cousin" of Malaria. It is generally safe for all ages. It is also used pretty effectively in Africa for Malaria (https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2956313/ ... more studies should be done!). It is often hard to get young children to describe their symptoms, but night sweats and temperature disregulation (via nervous system) are common in both parasitic pathogens. At any rate, the more low cost solutions with minimal to zero side effects we have, the better.
The other important differentiator is the OS. I can’t (reliably) get MacOS on a Dell laptop so my choice is clear: either keep using the MBP I have or upgrade. At this point I don’t want to go back and try re-learning Windows.
Your English is great if this post is anything to go by. Also, I think people are quite forgiving of language mistakes if the content is interesting. Don't let your self-consciousness get in the way of sharing cool stuff!
"The Industrial Revolution and its consequences have been a disaster for the human race."

Ted Kaczynski would roughly say that Big becomes evil because Big means standardization. If you have a large corporation you need to standardize processes in order to be efficient enough to justify your existence. This is directly at odds with individual dignity and autonomy.

Specifically see 111. onwards of Industrial Society and Its Future.
Working for a small company just moves the problem to a place that's more difficult to see. If Tim was a VP at a boutique cloud provider, inevitably, some of their customers treat their employees even worse than Amazon.
The human element of some open office spaces is also (IMHO) a little dehumanizing when you're required to carry your headset and any personal effects from a locker to your desk in a plastic tub and then login to your phone.
> Why does big always become evil?

Diffusion of responsibility [1].

I hypothesise the frequency of deliberate evil is similar among companies big and small. What's more frequent with large companies is unchecked sporadic harm. Over time, that accumulates into uncoördinated patterns of behavior.

These patterns would get called out in a smaller company. Social mores almost force us to. But those mores get washed out in large, corporate environments, where well-meaning people can turn a cheek to callous and even evil behavior.

[1] https://en.wikipedia.org/wiki/Diffusion_of_responsibility
Was this the guy that brought us XML?
I certainly agree with the article. Something I have struggled with that has prevented me from writing more, is that I get near 0 eyes on the articles I spend a lot of time writing and thinking through. I'm not sure how to ever get eyes on my blogs, which has me discouraged from continuing writing more. I use Medium and post the articles to HN/twitter, but it hasn't seemed to help any.
But your English seems perfect. What is your blog?
I can't comment on the CS stuff with any degree of expertise; the question was from the perspective of a mathematician wanting to know about mathematical applications. And not to pick on you, but again and again I ask category theory people to give me concrete examples, and again and again I get responses like yours, which amount to fairly vague gestures at theoretical purity. Contrast this with something like Galois theory. If an undergraduate asks me why Galois theory is important, I can point to about a half-dozen important problems (in terms of their place in the theory and in history) that are inaccessible without the concepts of Galois theory. For those problems, Galois theory not just another language or a cool way of looking at things, they are (as far as I know) intractable without it. I have never seen a category-theoretic example as compelling outside of algebraic topology and adjacent fields.

I also think it's important to point out for anyone reading that one certainly doesn't need category theory to do proof verification. Some other options, and some gripes with the Coq community along the lines of the previous paragraph, are listed here: https://xenaproject.wordpress.com/2020/02/09/where-is-the-fa....

Also, if your foundational theory doesn't allow me to (easily) define a fundamental geometric object like SU(n), then it's just a non-starter. Again, I have not been able to find a reason why we ought to endure such pain to do simple things when we already have a perfectly good foundational theory. Re: the HoTT book, it is precisely because I've looked at the book that I have these questions.
How to Deploy Airflow on Kubernetes?
It also used to kill thousands in Italy until the mid XX Century:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3340992/
The big thing is thermal design. In the new MBA, a moderate load spins up the fans really loud, whereas in the MBPs, it takes a pegged CPU/GPU to even turn the fans on.

Honorable mention: better screen in terms of colors and brightness. Probably a faster SSD. More TB3 ports.
Stock refreshes are relatively common at FAANGs, the quantity of which depends on your performance.

Tim, being a distinguished engineer, likely got a lot of RSUs. So while true his initial sign-on RSUs likely vested already, a sizable chunk did not fully vest yet.

So yeah I'd wager he still walked from ~1 million.
UK NCSC to stop using 'whitelist' and 'blacklist' due to racial stereotyping
You must be refering to those tiny deer back east. Here in the west we have mule deer, which dress out to over a hundred pounds. You're looking at over 70 pounds of meat. If your family of four eats two and a half pounds of meat a day, every day, they may not be actual humans. An elk will net around 250 pounds of boneless meat.
> But how large a proportion of machines do you think have mail delivery rely on .forward or .procmailrc in $HOME these days?

I help run a 500 node HPC cluster that leverages procmail. Do I count?

> User crontabs on my system at least (Ubuntu) are in /var/spool/cron/crontabs/[username], not in $HOME anyway.

The crontab(5) may be there, but where is the script that is actually executed? Probably in $HOME/scripts/ or some such.

> People have had systems where relying on accessing the home directory of a logged out user has been undesirable or impossible for a very long time.

I have daily experiences indicating otherwise. I would hazard to guess that many other syadins in academia & research would agree. Even assuming $HOME is in /home breaks a bunch of stuff:

* https://utcc.utoronto.ca/~cks/space/blog/linux/Ubuntu2004Sna...
Have you ever been to a FAANG campus? There are thousands of engineers walking around with MacBooks. I’m pretty sure those engineers would be considered to be professional
It's very obviously about class and material condition.

We live in a society, and that society has correlations of these things with race and gender.. but from Amazon's perspective, they hire the people who don't have a better option for that job, and the demographics are effectively a coincidence as far as they're concerned.
Why does everyone assume the actions of the little guy are always morally superior than the actions of the big corporation? I haven't delved into the details of this specific case but this reaction is typical regardless of the facts it seems. The big company is always the evil one and the employees are always little enslaved saints.

Edit: Whoops this comment could have been made less controversially - I wish everyone well.
Even if that is true, contrast that with Bezos who doesn’t want to sacrifice 1% of his worth to protect health of workers.
Ask HN: Can I legally own the entire intellectual property of my SaaS company?
I have been running a few niche single-market SaaS companies as a solo entrepreneur, and was wondering how I could legally retain as much intellectual property as possible in case something went wrong one day.

For instance, can I personally own the domain names, the trademarks, and the code of all the SaaS companies I have created without carrying any liability for their operations? Does this have to be stated somewhere explicity, or is implicit (i.e., if I haven't assigned it to any legal entity, I own it under my own name)?

In such a scenario, if any of my SaaS companies got sued for something, what assets would they still risk losing? Only the data?
Sure, but at the same time, the relationship between founders and VCs isn't actually adversarial. VCs want founders to know how to pitch them. VCs are not “anti-inductive”† — they’re not shifting their requirements to become stranger and more complex every time they’re understood. Their needs are fairly stable. The main reason that most pitches don’t succeed, is that most founders are first-time founders, and therefore don’t have experience at pitching, and therefore make newbie mistakes.

† https://www.lesswrong.com/posts/h24JGbmweNpWZfBkM/markets-ar...

If you’ve ever heard publishers talk about the https://en.wikipedia.org/wiki/Slush_pile submissions they receive, it’s much the same: they have clear and stable and “knowable” expectations, but authors break them, because most authors are new authors submitting their very first manuscript, having never gone through this process before, never received feedback before, and so never had any data with which to polish their approach before.

(The other main reason that VCs and publishers both receive so many pitches they don’t feel fit them, is that the markets they operate in are heavily slanted in their favour, and so they don’t put much work into making their requirements known. They often don’t put their expectations on their websites or anything. This can be circumvented on the supply-side, though, by just asking around to find out from other submitters what a given buyer is looking for. Some enterprising souls have even done the “lazy” supply-side’s work for it, and compiled indices of the requirements for the buyers in the market.)
I have Macbook Pro 13 inch model from 2013 and was really looking forward to upgrading to this year's rumored Macbook Pro 14 inch laptop. Sigh! Now I will wait another year. I don't see anything in this refreshed Macbook Pro 13 inch model that is worth upgrading from my current Macbook.
> Tried 5 dongles, none can hold a drive reliably under heavy use

This is something I've had a problem with as well on my late 2016 13" MBP, 2 usb-c port model. I have two external drives that I sync via rsync occasionally (1 local, 1 offsite). No matter what type of dongle I use, one of the disks always ejects shortly after beginning the rsync. Even with the Apple dongle, when I plug in one of the external disks via usb-a, and plug my usb-c power to the dongle, then plug in the 2nd external disk directly to the only other usb-c on the mac, it fails every time.

What I have been doing instead is unplugging the power cord and syncing the disks while running on battery. This seems to work, but the odd thing here is that about 50% of the time when I do this I lose my wifi connection as soon as I begin the rsync from disk to disk. Nothing I can do makes the network work again until after I unmount the external disks.

Having only two ports on the computer, one of which is also used for power, has turned out to be far more annoying than I imagined.
That's exactly what _systemic_ sexism and racism mean.
I read "your silly blog posts about unions won't stop them" in Chancellor Palpatine voice, fwiw. (Happy may 4th)
Can't change the laptop volume with your eyes closed, I use my MBP to listen to podcasts in bed sometimes so like to alter the volume just by knowing where the keys are, not having to sit up and fumble with some touch screen widget.
I had an old XPS13, and eagerly ordered the XPS15 9570 fully loaded the moment it was available in the UK.

What followed was a year of fan noise, thermal throttling, GPU switching problems and many hours lost trying to get the right combination of Ubutunu + Nvida drivers working.

So when my house was burgled and that machine got stolen, I went back to the XPS13 form factor. Smaller, lighter, longer battery life, quieter. Only disadvantage being the max of 16GB RAM.

Once the XPS13 finally arrives with 32GB RAM I may well upgrade again.

The new MacBook Pro may tempt me, but I am certainly not giving up proper function keys.
> Historically Linux implemented DNS control using config files read by the C library. On Linux for not really good reasons the C library is perceived as an optional gateway to the kernel rather than the primary OS interface as it is on other operating systems like macOS or Windows, so statically linked programs or programs that don't use the C library ended up bypassing your configured DNS resolvers.

I'm not a systems programmer and haven't touched C/C++ since college. Though I'd like to learn more.

Do you have any links that explain how different operating systems rely on standard C libs vs direct system calls for things like DNS? I guess I don't really remember how system calls are made without importing stdlib and other posix libs like pthreads.
That’s because companies like Walmart shouldn’t need those donations - bigger operations like them bring in much higher revenue. They also tend to work around tax laws and find loopholes, which a small business can’t do (and even if they did, it would be chump change compared to the behemoths). So it makes sense for the small guys to get that kind of “grassroots” support.
If this were true (I doubt it), that's an insanely short patent (6 pages) with barely any information about the device. How would something like this get approved. That's insane.
Attentive | New York, NY | Full-time | ONSITE (remote until early 2021, onsite when safe to return)

Attentive is a personalized mobile messaging platform, delivering the future of two-way mobile communications between companies and consumers. Attentive is one of the fastest-growing software companies in the country – driving billions in revenue for our 1,000+ customers. Attentive has raised over $163M in funding, including a $70M Series C investment in January 2020, with investors including Sequoia, IVP, and Bain Capital Ventures. As a result, we're looking to more than double our Engineering team again in 2020, seeking:

Senior Software Engineer: https://jobs.lever.co/attentivemobile/59047c4c-e067-4871-811...

Software Engineer: https://jobs.lever.co/attentivemobile/4e36f5ff-023a-4b66-af5...

Senior Data Engineer: https://jobs.lever.co/attentivemobile/fa90e208-fc29-49b4-b0c...

Senior DevOps Engineer: https://jobs.lever.co/attentivemobile/cf9feb6b-1873-4eac-b52...

Our interview process involves a 30-minute phone screen, a 60-minute coding interview using CoderPad over Google Hangouts, and a virtual final round interview with three 60-minute technical interviews followed by a 30-minute chat with an Engineering Manager. The virtual onsite is also over Google Hangouts, using CoderPad and Miro for our coding and system architecture interviews.

If you want to get a feel for our office when everyone is onsite, check out this video highlighting our Engineering team: https://info.attentivemobile.com/engineering-at-attentive/

Feel free to email me directly at sfleming@attentivemobile.com, thanks!
From 2016 already. Note from the wikipedia page of the filer of this patent: "His patent applications on behalf of his employers have attracted international attention for their potential military and energy-producing applications, but also doubt about their feasibility, and speculation that they may be misinformation intended to mislead the United States' strategic adversaries about the direction of United States defense research."

In particular it's pretty wild that:

- this effect does not seem to have been replicated in outside laboratories

- the US military would willingly share details about how it works through the patent system while they can also just not tell anyone.
Just like with politics, those people have a way of letting their personal ethics select them out of the organization they were hoping to change.
Wow, is there no software setting to simply disable the touchbar inputs?
I started my blog 15 years ago. The tactic I take is to write things I think I might need again. I often write very simple blog posts, at first, and then refine those over time. For things that I only do once in a while they're valuable to refer back to. I also get a lot of nice comments from strangers saying things like, "thanks for posting that". It's definitely worth it. I write for myself, first.
The cubicles just branch off from a wall where they get their power and networking from. As long as one cubicle is close to another, all of them will have power and networking. All the parts of the cubicle are pretty light including the tabletops and cabinets so there wasn't much concern about injury and liability regarding handling those. Either way, furniture moving would be a concern with either move.

One way requires getting permits, bringing in tons of contractors, throws away a ton of old materials to be replaced with identical new materials, having insurance compared and validated, have new installations inspected and permitted by governments, and carries far more liability for the property management. One requires us to just unsnap some parts, carry over the light parts to another area, and snap it all together. Which seems like the obviously cheaper one?

Sure, I'll agree to some extent that upon an initial buildout the cost for individual offices versus high-end cubicle equipment may be a wash. However, the whole point of going with the cubicle equipment is that its then cheap to reconfigure. You don't need architects to draw plans to get certified by the city for how you snap together the cubicles. You do when you're making new offices.

Note: this is mostly about re-arranging in an already occupied space. Sure, if you're having to do a fresh build out where you're moving to things can definitely be up in the air. But I was just in an instance of re-arranging an existing space where we moved cubicles around and split offices with new walls/doors. Moving cubicles around was done in a couple of hours with $0 worth of new materials. Splitting the offices cost >$800/ea (not including employee productivity time towards managing this project) involving three different outside contractors, lease negotiations, permit requirements, and took a couple of weeks.
He was a co-author: https://en.wikipedia.org/wiki/Tim_Bray#XML
> The "opportunity cost" _is_ an explanation and your suggestion of shifting the label "opportunity costs" to apply to something else such as "unhappy users" is just adding to the misinterpretation.

I’m applying the exact definition quoted in the original article.
> well I take it to be true that generally complex systems do not have intents, that complex systems do not select against subsets

I'm not suggesting the system has an intent. But they absolutely do select against subsets. For years we had systemic discrimination in this country, from redlining policies to voting laws, that absolutely selected against subsets. You don't just remove the bad policies and declare the playing field is equal.

Heck, natural selection and evolution are clearly complex systems that obviously select against subsets.

> you must offer evidence for your argument

Here's a source for rent vs. income: https://www.apartmentlist.com/rentonomics/rent-growth-since-...

It's especially impactful to lower class folks. There are plenty of other examples available via your favorite search engine.