skysight-inc/HackerNews huggingface dataset:
>not necessarily what everyone has installed at any given moment

That applies to any distribution mechanism.

>I still have to trust Signal the company to not violate the other ends.

99% of people are going to download the app from Play store, even if F-Droid was available. You're screwed.

>It's sort of an infrastructure to reduce trust in software vendors.

Oh dear god. No. It's just more steps into distribution chain the user needs to trust.

>Independent parties maintaining forks and packages are more likely to notice if vendor does something stupid,

The same people might look at Signal's main repository for the same concern, and notice the same things. Furthermore, Signal is the entity innovating on secure messaging protocols, so I wouldn't say the chances are they're doing stupid things.

>more likely to have people and tools to verify claims and implementations

No. Nobody's looking at some John Smith's Signal fork. Besides, using such fork is an incredibly dangerous weak point, from the maintainer's improper singing key storage and signing process, to just having to trust random maintainers. Absolutely no.

>It doesn't matter, they can come up with plenty of bullshit excuses claiming child porn or whatever.

So I take it you're not just clueless, you're also not following the news https://signal.org/blog/earn-it/

>The important thing is you have to trust Signal the company

The literal point of the ubiquitous E2EE, FOSS codebase with reproducible builds is to eliminate the need to trust them. The FUD you're spreading is incredibly damaging.
What is he allowed to complain about first?
A “Hello World” virtual machine running the Hurd
With so many eyeballs locked up at home, bored, not paying attention to congress. I think this is definitely much more concerning.
So...assuming this bill passes and Signal pulls out of the U.S., what can the average person do to continue to access Signal's servers in other countries? Can we VPN into an Apple computer based in the EU, build our own Signal client, and then somehow scp the files back to the U.S.? I think TestFlight would be out of the question, since you probably would need to sign Apple U.S. Terms and Conditions, and because Apple Developer Program is $99 / year.

Maybe I should get a Purism phone.
The only horrific thing is that you think that.
In the bay area, I used this company to build a unfinished shed for storage. But they can also finish it with drywall, insulation, etc. They have the pricing all on their brochure. And you can visit them and experience the sheds at your leisure. They are familiar with permitting requirements of bay area cities.

https://www.shedshop.com/models-prices/studio/
5G Virus Conspiracy Theory Fueled by Coordinated Effort
Looks, or is similar to use?

Python is my main language, and I struggled mightily to get my head around some aspects of Swift (e.g. randomly sticking question marks in different places until it was happy). As an aside, I also found the API incredibly verbose, the documentation poor, and Xcode to be a bad IDE.

In contrast, I enjoyed Julia - while the documentation isn't great either, after a single afternoon of learning (with plenty of Googling) I was able to port code over from Python and have it run perfectly.
which UI technologies did you use if I may ask?
>Being asked to use inclusive language is a weird thing to complain about

that is, if you consider the word 'guys' as gender bound and inclusive.

Female friends with myself in attendance are often referred to as 'Guys' by waitresses, waiters, and serving staff nearly anywhere I've gone. A former roommate who worked as a server at a restaurant used the word non-inclusively with the same meaning as 'Folks'.

So, first get people to believe the word 'Guy' is inclusive.

It's not.

It's originally synonymous with 'Fellow'[0], which is also from non-inclusive origins meaning colleague, even if 'Fellow' was attached to males in the 50s and 60s common American English.

>I use "folks" and other non-gendered language by my own choice. It's a habit I developed after self-reflection. Am I in a cult?

Good. That's a great choice of habit. I commend you.

Now, please, reconsider 'Guys', it's not as bad as the (current) common tongue might paint it.

[0]: https://www.washingtonpost.com/news/volokh-conspiracy/wp/201...
> I believe it's really more about fear(of death/hell) than devotion.

I disagree. Religion isn't about being afraid, it's about learning to cope. Rituals are important because rituals are rote. You can fall back on them when life is spiraling out of control and find a foothold.

I think one of the big problems that modern Christianity faces (since that is the tradition I am part of) is that it has shifted to focus too much on the feminine side of things. There is a reason churches are predominately filled with women. The things the church focuses on appeal to women.

The church and religion have a place for men too, but broadly what men need from religion is not what is being delivered.

One of my favorite hymn lines is "Learn from Jesus Christ to die". To me, that is what the church offers that appeals most directly to me. How to face mortality, failure, and uncertainty. Several years ago when my father was dying of cancer, it's something I leaned on heavily. When you are too devastated to think clearly, you fall back on the rituals that you can perform without thinking and take solace from the wisdom within them.
Buidl tools in an online hackathon for $9k in prizes
Language is a Virus. Consciousness is an OODA Loop. (You could write an alternative set of lyrics to the Laurie Anderson song.)
Surely if the evaporation can cool the skin surface, then a local insulation layer would prevent ambient air from heating the skin. Just as a locally warmed layer prevents ambient air from cooling the skin during Winter.

It's certainly a hypothesis I've long held but never had chance to test.

Citations for support/contradiction welcome, thanks.
May I ask, how are you doing i10n?
Any personal behavior becomes cultish when it's other people dictating you adopt them.
That’s nuts. I would have taken 50 to 1 odds that it wasn’t that long.

To me, this proves that HN isn’t really full of pg fanboys. It’s like knowing the flop album an artist released before their first hit.
2005 was the beginning of the Internet in France? What year is there now?
> I thought that QE was going to lead to a lot of inflation, and it hasn't seemed to.

A major point of QE was to lead to significant inflation compared to not adopting the policy; without it, the projections were that significant deflation would occur.

So, it netted to very low but positive inflation, as intended.

> Even then, I'm hesitant to say that it's primarily responsible for the rise in housing prices because I think demand from my generation (millenials) is helping to cause the sharp spike in markets such as NYC LA, Atlanta, etc.

There's no spike, just a smooth continuation of a trend that has existed during most economic expansions (and even some recessions) since at least when Gen X were children.

See, e.g., https://fred.stlouisfed.org/series/NYSTHPI
Rethinking Programming: Network-Aware Type System
They are an illusion in precisely the same way your car or your day job are illusions: we don't admit any notion of qualia/cars/day jobs into our ontology of physics, and of qualia must ultimately be explained by appealing only to our ontology.
Cheers! Manfred von Thun seems like he was a pretty great guy. I wanted to honor him.
Recursion, Renormalization, Representation, and Reality
I can only go by personal experience but it seems that there are two WeChats; a mainland China and an international one. They can communicate with each other but the mainland version blocks content that violates Chinese laws.

My friends from the mainland (but who live in HK) were sending me plenty of photos of the protests and none of them seemed to be blocked.
If you really want to make an impression, create a SuperPAC and donate millions to their campaigns.
Inflation happens when you increase money supply and have velocity of money. With the global lockdown, you're not taking into account the demand and supply curve will shift down to a new lower price equilibrium.

In other words, in the short term I think there will either be deflation, or no change to inflation (due to all the money printing).

The question will be what will happen once the global lockdown is lifted, and how quickly the velocity of money picks up. There might very well be high inflation or hyperinflation in certain things, but not in others (due to how quickly global supply chains are repaired and how substitutable certain products are. In 2008 the money was given to the banks (to recapitalise them) and then transmitted to financial assets due to the search for yield. This meant that the velocity of the new money was very low, which is why there wasn't high levels of inflation. If there is MMT or helicopter money, we could very well see high levels of velocity and inflation.
You can only really "experience" the model your brain makes of the world, not the world directly. You end up assuming the world exists and there's no Descartes' Demon.
> Being forced to use inclusive newspeak is a weird thing to complain about.

Somehow your post sounds threatening. I'm guessing it's intentional.
Halite 2020: An AI Programming Challenge
Middle managers have nothing to do with the approvals I was talking about. It's entirely eng-driven.
Alice gives Bob a number, x, and tells Bob to calculate f(x), where f(x) is defined as the partial function with goedel index x applied to input x. She says that if or when Bob finishes, he should come bring her his answer and they'll get drinks together. Given parameter x, do Bob and Alice ever get drinks together?
Thank you for the extensive reply :)
This looks absolutely awesome, but I think there's a bit more to be done RE neck strain and general ergonomics for the vast majority of people.

If you are at a desk and/or without a swivel chair, you're pretty limited to a grid of ~9 screens directly in front of you, and even then it looks like you're turning your head a TON to see the outer layer.

Some ideas that might help:

1) To use an analogy, could you increase the "mouse speed" of moving your head? Right now it's 1:1 with the virtual space and makes geometric "sense", but it might be nice to be able to focus on screens on the left/right by moving your head less and having your focus move just as fast. For example, moving your head 50% of what you do now to zoom over to the same place would reduce neck strain when looking at those windows, but also open up a bit more window space if, for example, you could still move your neck 100% of what you're doing and be able to "look over" far enough to fit another set of screens even further out. I don't know if this disconnect in pan speed would be disorienting, but it's worth trying. :) c.f. https://i.imgur.com/0KCo9hG.png

2) Keyboard gestures to "re-center" your focus might also go a long way. Perhaps instead of craning your head to look at a window that isn't "straight ahead" for a long time (as long as you're working in that window), you could do a quick glance at that window and hit a keyboard shortcut that would recenter wherever you're looking to be your "straight ahead", so you could then straighten your neck back out and continue working in that window while in a more comfortable position. c.f. https://i.imgur.com/u6SI284.png

3) Likewise, we don't all have amazing headset resolutions and there's a lot of potentially wasted space whenever focusing on a particular window that's not "full-screened". Perhaps a keyboard shortcut to expand whatever screen you're looking at to the full size of your view would be helpful for eye strain. Even something that could temporarily "pin" a window to your view (full screen and moving with your gaze) might go a long way toward minimizing unused focus/pixels. c.f. https://i.imgur.com/yA1twKf.png

My immediate thought watching this was to mount a keyboard on a swivel chair, but I think requiring end-users to get customized hardware to take full advantage of your environment might be the wrong way to go. :)
>> The second is that if you advertise something as Open Source, there is a common set of assumptions about what that means, some of which are explicit in accepted definitions of the term.

> It seems the "common set of assumptions" is around that people can get involved and actually have impact on the direction of the project, but that's not at all included in the actual definition of open source. https://opensource.org/osd

To add to that, the OP's argument seems to hinge on Elm "advertising" itself as open source. I don't see "open source" mentioned on https://elm-lang.org/ or anywhere else. I'm curious where the OP thinks Elm crossed the line from having an open source LICENSE file to "advertising" itself as open source.

If the answer is that an open source LICENSE file counts as "advertising" a project as open source, then why use the inflated language in the blog post? Why not say, "If you [release something with an open source license], there is a common set of assumptions about what that means, some of which are explicit in accepted definitions of the term?"

Also, explicit in which accepted definitions of the term? The OP seems to be stating that without linking to these accepted definitions that would back him up.
Yeah it's there, I just think it's hard to find. If I'm new to the app I won't immediately click playground then example. My first time using the app it took me a little while find it. I don't know if this was other people's experience, but here is what mine was.

I went to the website and logged in. I'm trying to imagine how I would use this application instead of Anki, how do I enter/organize information and how do I memorize it.

I'm greeted by a blank screen. Ok I've used workflowy before I see that I can generate some of type of hierarchical structure. But how would that information turn into cards? Ok let me click memorizing. It says I don't have anything to memorize.

Let me try to find an example so I can see how the cards works. Wow there is a lot on the screen, let me try clicking different things. Lots of clicks later... Ahh here's an example.

Clicked memorize. Oh that doesn't work, it doesn't apply to the example. Let me try to copy this over. Oh I can't. Ok looking at this example I know how to build out the relevant structure to generate the cards I want. Build out structure. Ok now I click memorize. SUCCESS!!

I think if I landed on deck, then I'd immediately see how to organize information. And when I clicked memorize it would work and show me how the organized information translates into cards. It greatly shorten the "arrival -> AHA" time.
> I realize that criticizing a theory based on its adherents is puerile

I disagree that it's puerile. I think looking at the makeup of the adherents of an ideology and the result it seems to have when played out is very important and meaningful. Ideas have consequences, and observing them tells you a lot about the ideas. Anything can sound good in isolation and if presented in the right way.

A major reason that I reject the pomo line of thinking is looking at its outcome: a broad retreat of enlightenment and post-enlightenment thought and liberalism ever since it came into vogue, and the corresponding resurgence of reactionary and totalitarian ideologies in that same time period. It's clear to me that it's either pure nonsense or if there is some good idea in there it is being communicated so poorly it is having no beneficial effect.

Personally I think part of the reactionary resurgence is that in comparison to pomo word salad reactionary ideology sounds sane, reasonable, and relevant. They've set the bar really low, especially when it comes to relevance. I have never read any pomo tract that could possibly have any relevance to anyone who isn't a cloistered academic with a desire to write and echo similar tracts.
Definitely. At that point, they need to weigh the cost of migrating their existing project to a new platform, or to maintain the patches that will allow the old platform to have the flexibility they need.

It's important to remember that they aren't being removed from the Elm community - they can still use the packages, the compiler will still get updates they could presumably rebase their patches on.
Is this good for IBM?
> It's not really helpful to use a label like "type-haters" or "type-hate"

> don't you think it's interesting how personal it feels?

I take your point and will avoid it in the future. I used it precisely because, as you say, people are very emotional about it and take it personally. I meant to imply that these were not necessarily good-faith arguers having a rational discussion, but rather participants in a flamewar. This general thread seems to be a mix of both reason and flame.

As for why it's personal, I don't know exactly and do find it interesting. Part of it is likely that people have invested a lot of time into one stack or another, and that becomes an emotional issue. If I spent 10 years becoming a PHP expert, I'll be more upset if someone says PHP is garbage. It suggests my skills or prospects are poor.

After that, I think people are saying things like, "People who use TypeScript are stupid/lazy/etc.", or "People who don't use TypeScript are stupid/ignorant/etc.". Then the emotion may come from the conflict itself, not from the actual position someone is holding.
$15/hr at mine, although if I include freelancing prior to that it's probably closer to $8. It's kind of nice. My floor is so incredibly low that the "scary times" don't look so scary.

CS was a contrarian career bet in the few years after dotcom; you didn't do it if you were listening to the wise old men and wanted a good paying job. Realizing that opportunity -- or, more commonly, doing what you wanted to and not worrying about the $, paid off incredibly well for those who took advantage from between 2004ish and today. I don't think fortunes will change for our cohort; there's still a huge dearth of principal engineers in pretty much every subarea of software engineering.

The enrollment surge also hasn't yet effected CS PhDs, because undergrad enrollment wasn't matched by a corresponding growth in phd enrollment. That might change in the next 5 years.

But the entry level positions seem extraordinarily competitive at the moment; I've never had this many qualified applicants (and that goes for before covid19 as well). The only saving grace is that more and more non-programming positions require some programming skills, and those folks seem to have a hard time recruiting/hiring.
Just checked out your blog, this is awesome! I'm going to keep coming back to check out the progress, can't wait to see a pic of it in the water.
I think its better to just admit that freedoms / tech will always be misused by criminal actors, and that's just a price we agree to pay for privacy, security, and liberty. I don't think think that's a controversial statement, and we make such trade offs all the time unconsciously. The United States has largely agreed to accept a certain amount of criminal gun violence in the name of personal gun ownership. We agree that a certain amount of money laundering will occur due to shell corporations and foreign ownership of assets. We agree that police have to let a certain amount of crime go unpunished in order to protect against unreasonable search and seizure. The only difference between those things and this is that no one has the balls to stand up and admit that a certain amount of child abuse is an acceptable price given the stakes at hand, even though it is true.
Senators and Congressmen selling off their stock after private briefings about COVID-19 is a pretty good example of how the legislative branch is no better. They probably could have weathered the storm pretty well ... those of us in the middle class have taken a material hit to our retirement prospects.
This is a great idea. It's definitely something we will look into. I love the idea of being able to explore more of these details in detail.
The bit about "excommunication" is very explicitly linked to the author's plan to fork Elm. Now, I don't think "excommunication" is necessarily the correct descriptor. The Elm maintainer who made the threat said that he considered making a fork on "attack" on Elm's goals [1], and that the project would not be greeted with open arms. (Although in the original comment it was a little less clear whether it was the project or the person to whom arms would not be open.) In any case, I think the comment is very clear that the hostility is to the action of forking, irrespective of previous communication problems.

[1]: https://github.com/gdotdesign/elm-github-install/issues/62#i...
> I guarantee nobody truly cares that you fork Elm.

One of my coworkers once edited the elm compiler to remove the native code restrictions, and placed it on NPM. Evan emailed him and asked him to take it down.

There may be more to the story that I don't know, but from what I know it sounds like Evan does care.
Tech stack question -

Incredible website that is both feature rich and succinct to the content. As far as marketplaces go, there are some known platforms (e.g. ShareTribe) and payment options (e.g. Stripe Connect) - did you all "build" from the ground up or "buy" in putting this together?
I'm loving all these little projects embedding languages in Julia.
I've never participated an Halite, but it's the 4th version of this contest. Usually people use Machine Learning to create the winning AIs.
> So I love the idea, but to me it seems the challenge you face is how to present the art. Sorry I don't really have any great suggestions -- more views of each piece that allow for examining the technique? More careful lighting of the photos in a way the best complements the art? It is a big challenge and I don't have any great ideas.

I agree with you on this! We're planning to roll out detail shots and installation shots soon, and I think those will go a long way to helping viewers get a sense for the IRL presence of certain works.

Also, while we don't have a concrete plan for it yet, it's clear that some artists need help photographing their work.

> Very sincerely best of luck, I hope you succeed for your artists.

Thank you!
No, prefrontal cortex is about planning, reasoning and inhibiting emotions (we do it all the time without realizing) among a lot of other things. Amygdala is based on reacting to fear, among other emotions.

CBT gives you a toolset to ask yourself questions to understand (a) which perspective you're currently looking things from and (b) which other perspectives you could use.

The 10 cognitive distortions and recognizing them is a good start. Cognitive distortions happen mostly through emotional processes (e.g. the amygdala but the whole limbic system really).

Mindfulness meditation is an emotional-based approach as it mostly relates (for laymen like me) to scanning the body. Scanning the body gives marked improvements to the insular cortex. It also gives marked improvements to the PFC (the inhibition part, not the planning part).

This is all written way too short and my knowledge is a bit stale on it. I used to be really into this a couple of years ago. It was during the time when I studied psychology (I even published a neuroscientific literature review :D).
GCC 10 in Gentoo