skysight-inc/HackerNews huggingface dataset:
I believe that the cure for death would not be distributed evenly at first, and by the time everyone has access to it, there are two options:

1.- We haven't solved the problems caused by overpopulation, and in that case standards of living will drop and people will either have less children or choose to end their lives voluntarily.

2.- We have solved them and there is no longer any issue.
Do you think you should be held accountable because you moderate the comment section of your blog, or Hackernews should be held accountable because they moderate their website according to their own standards?

This is the consequence of what you're proposing, a politically right or left leaning website say, simply by virtue of exercising freedom of association, would automatically become liable for content.

It seems pretty clear that this is unworkable and would, instantly, destroy the entire public internet.
It’s more expensive overhead-wise to employ developers in Europe (higher benefits/social insurance costs, lower hours per year, much higher severance). I don’t find them any less valuable in general once those factors are accounted for.
Back when I shelled into servers more, I really liked having my deployment put the environment in the prompt and set a red background on production for similar reasons. It only takes a small change to jar you out of habit.
I have an aftermarket Pioneer head unit with wireless CarPlay
I think the sales aspect is a secondary consideration. IMO the primary is ensuring that there are minimal incidents of battery fires or other mishaps. Avoiding that hazard plus the bad PR is a major consideration... remember when the Galaxy Note was banished from planes?

For Samsung it’s a much bigger impact. They have a wider temperature operating range and advertise heavily to police, construction and similar outdoor roles. The phones work but chew batteries — replaceable batteries would move more units.
If true, that's a truly an example of price discrimination for the ages. I honestly have a hard time imagining anything sleazier.
Interesting. This seems rather bizarre. The whole sex crime framework needs to be fundamentally revisited.

Someone taking a photo of themselves to share privately with someone sounds in the clear.

When these laws were written someone would have had to process the film themself, make a print, address an envelope and put it in the mail. A teenager doing that for a casual recipient sounds like some outlandish stunt in a John Waters film. The courts and legislatures can be forgiven for not having accommodated for such things.

However we now live in clearly different times.

It's almost like the political fallout would be so severe that neither judges nor politicians are willing to exercise the political capital so everyone stays in the lane no matter how absurd things get.

Being called a "pro-pedophilia" candidate for claiming teenagers shouldn't become sex-offending criminals for taking photographs of themselves would be a daunting attack to work through. In a position of power I'd probably also assess it's not worth the political capital and stick with the program as well.

Maybe there needs to be a more favorable case like say, a secretly sexually active teenager uses an online medical service to send photographs about a possible infection and their over-reacting zealous parents find out, become outraged, and try to sue the medical service for possessing underage content.
If only we had the original 1909 copyright laws, this would be public domain by 2022!
Lifespans many be dramatically extended, but it’s going to take a monumental change in our understanding of physics to actually end death. Second law of thermodynamics directly means the universe will eventually be completely devoid of life.
Does no one remember the uproar when Apple first introduced Lightning? Everyone I talked to hated that their old 30-pin connector cables wouldn’t work anymore. With how much more popular the iPhone is now compared to over half a decade ago, it’d be even worse.
> because cable companies had tiers like this

I'd much rather deal with multiple disparate streaming services than ever return to the days of a consolidated content provider. Having to log into a few different services to browse content is a small price to pay for banishing the middlemen.
I think that is what Salesforce DX is trying to be, but it is hard to say for sure since no one has ever used it.
Holy crap, you aren't kidding: https://boardgamegeek.com/image/15866/campaign-north-africa-...

Also, thanks for adding Grognard to my vocabulary lol
The thing IMO that really killed Sketch was not being able to share Sketch files with non-Mac users and let them open them up. They should have at least created a Windows/Linux (or web) viewer. They don't need edit functionality but nearly always someone in the approval/feedback process of a mockup will not be on Mac.

It's just not realistic at larger orgs (or IMO smaller ones too) to expect everyone to be on a Mac.

Then came Figma which solved this problem completely.
Sure, the point I'm trying to make is that it's easier to cut calories by improving nutrition. I think we eat more calories than we consume when those calories aren't delivering the nutrients we require.

Just refusing to eat more than X amount of calories is an approach that fails for a lot of people. Relying on so-called will power fails for a lot of people.

I think this is a useful distinction to make and doesn't actually contradict the idea that "You get fat from eating too many calories, more than you are burning." Instead it helps answer the question for some people concerning "Yes, but why do you keep stuffing your face when you are so unhappy with the results?"
Very nice find. One of the great Danish computer scientists.
do you have a link to the design doc?

EDIT: for those searching, I suspect its https://docs.google.com/document/d/1moQfNcEIttsk6vYanNKIy3Zu...
Business Picks Up in Chinatown
With the pandemic very real and the concept of "don't believe everything you read on the internet" as motivation, I have taken a quick hiatus from retirement to come out and write from the heart. Please read as you are able and I welcome a dialogue with this audience and commentariat.

I'm no fan of the circumstances that exist currently in US Higher Education, but I also will fight long and hard to keep that vitriol from being directed at those who are stuck in a Catch-22, the Professors, in spite of how it might feel to the current cohort of students. You pays your money, you takes your ticket, you get on the ride. Unless there is a literal gun to your head to go to a specific college or uni or take the Bar exam ASAP...well, then I think you have bigger problems than anti-cheating software.

Maybe I'm a bit crass, but I've done my fair share of shitting in the woods and learning to deal with mosquito bites over the years. Comparatively speaking, I'm not sympathetic. YMMV.
If you consider a brain as a sparsely connected graph then it also explains these experiences. The nodes nearby to the color blue perception nodes are those that we think of as clearly related (sky, water, certain crayons), but also those that are less directly related: water, cold, sadness.
… except for the "at lower prices" part, that is.
Almost like the whole thing was a PLANDEMIC

#agenda21

#id2020

#globalreset

#2030

#plandemic
There have been a lot of studies done on vitamin D supplements, and there is essentially no significant evidence that supplementation is useful for anything. The sole exception is rickets, which is caused by vitamin D deficiency.

https://en.wikipedia.org/wiki/Vitamin_D#Use_of_supplements

There is also considerable debate over the comparative efficiency & effects of natural synthesis via sunlight vs ingesting supplements, compounded by the difficulty of accounting for things like exercising outdoors vs being sedentary indoors.
> Learning mathematics had been incredibly useful to me.

You have missed my point. We generally don't study only the "useful" things; if we did most of the most important mathematics we have today would have gone unstudied.

> Your claim that HoTT is "broadly regarded as an exciting and important new area of mathematics" is simply wrong.

According to whom? You? You're making an argument about consensus regarding the importance of a given area, but I have seen nothing to indicate that the consensus among mathematicians is in line with your opinion.

> Steve Simpson and Harvey Friedman

They are in the minority. Again, if you're arguing about consensus you can't just point to one or two individuals and say "look! They agree with me!" For goodness' sake, the thread your referring to is well-known partially because it was controversial.

> Jacob Lurie [...] doesn't think highly of it

The content of Lurie's comment and yours are quite different.
I appreciate you doing the math! Kinda amusing that it comes out to roughly the same order of magnitude!
Nova Era Política
American culture has been redefined as 'Intellectual Property' with the intent of controlling it in perpetuity.
> move to streaming is going to not live up to it's promise.

What is this "promise" you're alluding to?

Are you willing to pay a company for the privilege of consolidating this content? I have no interest in returning to the days of cable companies sitting between me and content creators.

In the Apple ecosystem, Apple TV is doing a pretty decent job of working with the different streaming services to incorporate their catalogues into the "TV" app experience (which then launches into the different streaming apps). It's not perfect, and many services are fighting against it because they don't want to train customers to once again rely on a middleman.
A 55% improvement in a Core Web Vitals metric (LCP) contributed to a 50% bounce
Do smokers need to go outside to indulge their habit? Where their bodies can manufacture a little vit-D.
And this seems like a desirable outcome, at least short term, for reddit. They get to pay (slightly) lower than Bay Area salaries, and get the top candidates across the US.
Or as we learned from Sully, when you're the captain, and you take charge and responsibility quickly, a simple "My plane" suffices
>people would flood to it lowering the pay enough that this was not an issue.

This is already in progress and we'll get there before you know it.
> The Halloween special, "It's the Great Pumpkin, Charlie Brown," premiered on Apple TV + on October 19 for Apple TV + subscribers, but Apple is also making it free to watch from October 30 through November 1.

via https://www.macrumors.com/2020/10/27/peanuts-wildbrain-apple...
I suppose if you have reliable and reasonably-priced mobile data, then you can deal with any other infrastructure issues that arise. Laptops don't need perfect power uptime, and software engineers don't always need to shower.

But without that, at least the telecoms should probably be reliable.
oh, then you'll love terraform.
I know your point stands regardless, but you're replying to a guy who lived in a jeep for more than two years driving through 35 countries in Africa. I think he could cope with Costa Rican infrastructure. :)
It is a mistake to imagine Ninja just replacing Make.

Ninja is the "rebuild-it" part of Make, made really, really fast and clean, a joy to use. The Ninja config file is not something you write or, even, look at. It's an intermediate file generated by your build-dependency tool such as CMake, Meson, or even (gods forbid) SCons.

Those are smarter than Make in various ways, but are really not very good at all at actually running builds, so you get them to just make a ninja file, instead, and then get the hell out of your way.

This is good because you don't want to analyze the dependency tree on every build when you haven't changed any of it. So, you just run ninja in your edit-build-test loop.

Ninja is smart enough to rerun Meson or whatever if you do change the build configuration. It understands build directories separate from sources, and ccache compiler wrappers to cache build targets, things you don't want your build-configuation infrastructure to bother with.

Besides being fantastic to use, ninja is worthy of study as a truly superb example of a program that does one thing really, really well, and integrates cleanly with other programs that do other stuff: build analyzers on one side, compilers on the other. It demonstrates a design discipline that we would all be better off if everyone were to follow it.
I've been a software developer since the 1990s. I know how Vi(m) feels and I much prefer the affordances offered by VS.Code.

Ironically Jetbrains IDEs are Java, using Java Swing for the UI[1]! This is even less native than VS.Code where at least native widgets are used.

I guess this shows how much our impressions are formed by expectations!

[1] https://stackoverflow.com/a/12311981/280795
AI and Covid-19 Have Accelerated the Decline of Human Labor
That doesn't mean what you (and possibly they) think that means.

Suppose that characteristic X (eg vitamin D deficiency) puts you at risk of doing worse at Y. If we pick a population based on how poorly they do at Y, we expect to see that X will be more common than it is in the general public. But within that population there is no reason to believe that having characteristic Y makes you do worse - it just made you more likely to do badly enough to be selected.

This can be seen quite precisely with a toy model. Suppose that we have a population evenly split between 2 subpopulations with a characteristic that varies on a normal distribution. However one population averages 1 standard deviation worse.

If we pick the bottom 5% of the population on that characteristic, we will find about an 80-20 split based on having the risk factor. The bottom 1% also has the same 80-20 split. Ditto the bottom 0.1%, 0.01%, and so on. The reason is that the sum total of how many are in the tail of the normal falls off exponentially fast, with the same exponent in both populations. So the ratio stays constant.

No amount of analysis of people in that tail will suggest that characteristic matters. But comparing the population in that tail to the general population, that standard deviation stands out like a sore thumb as a major risk factor.

Therefore the fact that about 50% of the general population has vitamin D deficiency while over 80% of those hospitalized with COVID-19 do suggests that vitamin D deficiency is a risk factor. But we should draw no conclusions from the fact that vitamin D deficiency doesn't indicate different outcomes within the population landing in the hospital.

(However other research found that patients given vitamin D once landing in the hospital were significantly less likely to wind up in the ICU or dead. We should definitely draw some conclusions from that!)
Part of my family lives in Italy and we may have a genetic trait, because many suffer from vitamin D deficiency even those young and "living outside". Old members have classic consequences: osteoporosis.
I'm specifically talking about this article, which as far as I can tell does not credit or mention Dave Allen or 'Getting Things Done'.

In my reading, this paragraph in particular is where it sounds like a solution for laziness more than a solution for "identifying the next action":

> The idea is to make it super easy to get started. Once you pass the starting point, which is arguably the hardest step, you start to gain momentum to keep doing the task itself

I think you and I agree about the benefits of this approach, all I'm saying is that I don't want people to dismiss this advice because they think it's targeted at "lazy people".

Also the two minute rule you describe appears to be different than the two minute rule as described in the article.
I disagree that the author just isn't a fan of change. The old ones are definitely more readable/distinct and in my opinion there is value in that.

Of course everyone will stop talking about it in 2 weeks, there isn't all that much to talk about. It isn't a huge deal that the icons are slightly worse for these things, it will cause no major problems or anything like that. But it not being a big deal doesn't make the author wrong about these being very similar to each other and that making them less readable at a glance.
> Why should two people adding the same amount of value to a company be compensated differently?

You're not paid based on the value you create. You're paid as little as a company can get away with paying you.
Does anyone know if he has any works in Danish? I am learning the language and am fond of compiler engineering.
Sleezier than airlines doing it based on cookies? Sleezier than every SaaS product ever giving a greater "one-time offer just for you" when you click "I'm not interested" or if you try to cancel the service?

I think what this guy did is clever and not sleezy at all. It is hilarious and amazingly self-aware, monetizing customers that are willing to jump through hoops to access his service.
I imagine they are using a 3rd party prototyping solution like HAPS from synosys, which uses Xilinx FPGAs inside - for good reason, for quite some time Xilinx have had some very large devices built specifically for this market. It must sting a little bit though....
Which states have laws that define prostitution as not requiring physical contact?
I understand what you mean, but don't think your example really fits since an increase in vitamin D in either scenario would ultimately reduce the occurrences of patients showing low vitamin D levels. And this seems to be a fairly consistent finding across multiple studies that use different controls/stratification/etc.

Or do you mean people may be becoming deficient in vitamin D as a result of Covid? If so, would be interesting to know their prior vitamin D levels.
I love to simplify things. Designers curse, may be:) Some friendly advice for man seeking harmony with women long term: Relationship must be sexually compatible first, chemistry is the base, clear uncontrolled want reaction must come after touch and smell. This is good thing. Next is communication with humor, if you can compliment sexual compatibility with instinctive positive reaction you are a hitting the bingo. The big jackpot is a layer on top, of intellectual exchange and mutual motivation in exploring your minds. The big problem is that this trinity of compatibility is very rare, so if you can - stick with first two elements. Your future children will thank you from the bottom of their hearts. On a case of touch, I think that OP thesis is overblown. People are different, the issue of touch is complex and must be approached with caution. Just my 2c:)
This seems like a desirable outcome. Wouldn't this mean a more even distribution of wealth rather than large concentrations in a few big cities?
Now I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?
Sure, but residency lasts 3 to 7 years and it is often harsh. I'll take the whiteboarding anyday.
If you're working with HPC applications, your choice of compilers and sometimes higher level specifications you may write in C, C++, or (gasp) Fortran often do demand you think about what your compilers are doing or choose compilers to think better for you.

If you're fine with lower performance (which is reasonable for a lot of application cases, so I almost entirely agree with you), you certainly don't have to deal with this.
We really dont though. It is one thing to say we need to get out into space, but its another to pretend like we dont have sustainability problems here on earth that will require similarly huge financial input. Lets get our house in order here before we change the conversation once more to how great those billionaire space jockeys are.

If you're in a functional lifeboat with some pinprick holes, it's better to stay than to jump into the sea in a life jacket.
What Reddit started as, and what is has become, are two entirely different beasts in virtually every manner.
That sounds really interesting! Do you happen to have a link to that? I'm not "challenging", I would just be interested in reading that, if you happen to remember where you saw it.
Yeah this. I love Macs but I mostly develop on my Linux Workstation so my company’s been using Figma since March and I’d honestly forgotten about sketch
I saw someone on here who proposed a simple sliding payment scale to keep things out of copyright after 5 years. 100 years out it might cost $1 million/year to keep it out. That way things naturally fall out unless a company needs to keep it in copyright.
I just had a flip through this book, yes all the differential geometry is there, but I think its a bit of a let down. If I think "functional" I want to think more abstractly in terms of categories, functors, functions.

The Lisp code in this book is truly not doing anything for me. Seems like a kind of direct numerical computation/translation. I actually think it would be better to do it in Haskell which seems like it would at least let you identify some more generic structures (oh we can actually implement this idea x as a functor/monad blah blah).
A wired internet connection plus a mobile network with enough bandwidth to tether is sufficiently redundant for the average software engineer. Maybe throw in a diesel generator/Tesla Powerwall if you're worried about power outages that last longer than your laptop's battery. If all three fail simultaneously, you probably have bigger problems than just internet connectivity.
> there were plenty of other equally hot choices, like Yahoo

That's one. And if you admit Google was a "hot" choice at the time, that already makes my point.

> Google's candidates weren't "highly motivated"

No?

> Contrary to your assertion

I'm not sure what you take my assertion to be, but let me clarify. My assertion is that if a workplace is "hot" for whatever reason -- rapid growth, high compensation, world-changing product, number of users, prestige, etc. -- then a large number of good candidates will apply there, and almost any hiring method will probably work out for them.

When you talk about Google hiring only from elite CS programs, it's crucial to note that Larry and Sergey came from Stanford specifically, so of course they're going to hire people from Stanford. That's always how it goes, as I mentioned earlier with founders and early employees. Let's not pretend that's a "hiring process". It's a personal network. A number of other people from Stanford were also early Google employees. Scott Hassan, et al. They got seed money from the co-founder of Sun Microsystems. The next year, they got $25 million in VC. When I was in college in Wisconsin, there was nobody around to fund anything! Almost all of the big tech companies were built from informal personal networks, and they only institute a rigid hiring process after they're already somewhat successful. Again, any no-name company can have an ultra-high bar for hiring, but that doesn't magically attract candidates willing to apply and put themselves through hell to get hired.
French firefighters do this when arriving at a scene. The first messages sent over the radio will say:

- I am... (who you are and where you are)

- I see... (describe what you see in simple non-ambiguous terms)

- I do... (what action you are taking now)

- I ask... (ask for reinforcements if necessary, you may be asked to justify yourself more)
> I started thinking about what it would take to host code in a decentralized fashion.

May I introduce you to GitTorrent?

https://github.com/cjb/GitTorrent
The recently updated Google Maps icon on iOS from earlier this year looks so out of place. It makes me want to delete the app.
Made by people who hate Christmas!
I love VSCode, but Electron apps are still pretty brutal on battery life, so it’s hard to work for very long without being plugged in. I’d personally love a pure native version for that reason alone, but the feature set wins out for day to day usage since I work mostly from home anyways.
Twitter Account Outlier
Why would this account have so many followers and so few likes?
https://twitter.com/wef/status/828646291399913472?lang=en
Still using Jekyll + surge.sh