skysight-inc/HackerNews huggingface dataset:
So, our brains are just a little ecosystem of competing functions, and our pre-frontal cortex / prediction engine (the piece most AI researchers care about) is trained on species survival, but beholden to the "lizard brain."

I'm still on the bandwagon that AGI is already solved, and we just don't recognize it because we aren't as complex or magical as we like to pretend we are. We are just currently selected-for species survival, and not even in the present environment as the dominant species of the planet. That doesn't make us "Generally intelligent" any more than many other systems on the planet (including the computational ones). I'm not even convinced that "intelligence" is especially a thing.

If we're trying to replicate "human intelligence," then I think that's something else entirely, and would require removing a lot of capability from the AI that I don't think anybody would want to remove from AI, given that we have plenty of serviceable humans to do the work of human-intelligence style tasks.

No, when folks say AGI, they mean "cares about the things I care about, and is more accurate, but can speak in a way I understand." But how is a network of neurons going to care about what you care about if they see the world in a different way, or have been trained on solving a different set of problems than "living a life as a human?" It just doesn't make sense to expect, or even want, human intelligence from a synthetic intelligence.
"outrageous" is an inappropriate word. I mean the large number of words conjoined (very surprising to see in English, perhaps less in say German). It's not meant as a perjorative.

I guess I need to read my thesaurus more often
How are CRDTs unique in this respect? Ossification is a challenge for all APIs, domain models, network layers, protocol specs, etc.
I think I'm going to go with krebs advice which is just call the bank back right away as first step, not as something you do after you on your own try to "find independent corroboration." Just hang up call them back at the number on the back of your card. Only provide personal info when you've called the known number, not when you've received a call, period. (which is actually different advice than "never provide personal information at all", or "only provide personal information after doing your own independent investigation for corroboration")
How long until this feature lives long enough to see itself become the villain?
> What assets and performance metrics do you have backing this account worth $100000? From what are you deriving its value?

I'm a multi-millionaire and successful businessman, but what does that matter? You can't take the money out regardless if it's backed by anything or not.

> What rights and privileges are granted over your bank by owning a portion of this account?

You get to vote in a meaningless election.
Okay, so this is going to be super controversial to some people, but I firmly believe that we are basically trying to bypass the law (at the very least in spirit) when we agree for the big companies to limit free speech in that way.

We should either make it illegal to post that kind of information (or rather - try and fail) or enforce fair treatment of people from the big tech companies.

They cannot be both a "mere conduit" and a "censor/publisher" at the same time.
View the Quote Tweets for a sense of public opinion on this.
Potassium nitrate (the main ingredient of gunpowder) has historically been used as a preservative, particularly for curing meat. Some people might still use it, but these days sodium nitrite is more common.
Why Google is investing in searching TikTok, Instagram and podcasts
Hell yes to this trackpad work! How did you pick that dev specifically?

I also came across another dev on this: https://github.com/JoseExposito
I started out contracting through a firm. People complain about them clipping the ticket, but if they’re actually good at their job, then they can be pretty worthwhile to work with. The guy I worked with was great, and I was recruited by him to work a contract role the same way recruiters are constantly reaching out to people for other full-time roles.

I worked with him for a few years, and since then I’ve done most of my work independently, which I mostly find through the network I’ve built up. I have old clients getting in touch with me, people I’ve previously worked with (who may or may not have moved companies), and contractors I’ve previously worked with who know about opportunities at wherever they currently are.

The biggest barrier to working as an individual is the MSA, getting through the corporate procurement process as an individual who’s trying to get put on some large companies list of approved suppliers is very tedious. It can be tedious for both you and whoever is trying to hire you internally, and avoiding this is a fundamental part of the value proposition offered by the contracting firms. It’s the main reason that I still very occasionally do a contract through the firm that I used to work with. I don’t often find myself without a new contract to move to, but I do occasionally find myself roadblocked by due diligence processes (which take months to get through).

In any case, one of the reasons that I feel very comfortable with this working arrangement, even in bad economies, is that I have a long list of people who are happy with the work I’ve done for them in the past.
HitchPin | Frontend, Backend Engineers and Full Stack Developers | Full-Time | 100% Remote (U.S.) | https://www.linkedin.com/company/hitchpin/
HitchPin is a digital marketplace startup. We are using advanced technology to help address one of the greatest challenges humans face in the next few decades - how we will feed 9 billion people. Marketplaces have fundamentally changed other industries like transportation and lodging. HitchPin is doing the same by improving the logistics of food production. This is one of the largest industries in the world and impacts everyone on the planet.

We are looking for bright minds who are attracted to big challenges, revel in being the underdog, and want to work as part of a cohesive team to accomplish our lofty goals to build something meaningful.

- Frontend (including mobile), backend, and full stack developers

- Tech stack includes: React, Swift, Django/DRF/Celery, Docker, Terraform, AWS ECS/S3/RDS, Postgres

- Important mission, competitive pay, work/life flexibility, fully remote/distributed team, and a great culture

- Agriculture enthusiasm is a plus

If this sounds like a potential fit to you, I'd love to speak with you. I'm the hiring manager of the team, and can be reached at bryce [at] hitchpin.com. No recruiting agencies, please.
Very cool! This seems like a natural follow up to [1], a nice tutorial on building a simple prolog interpreter with Python.

1: https://www.openbookproject.net/py4fun/prolog/prolog1.html
I don't believe they're the future, nor do I really understand them much at all. I'm just critical of the way people say "I don't understand them, therefore they're stupid". There may be valid reasons why NFTs are terrible but these people are not expressing those reasons. They're expressing reasons that a quick skim through any popular HN NFT comments page, such as this one, would answer.
Were the consequences actually impactful? Or did they only amount to a slap on the wrist and brief period of public shame before returning to business as usual?
It also varies by nation.

For example, in the US Microsoft bundling internet explorer with windows wasn't seen as a anti-competitive. In the EU, it was.

In another example, apple and android both bundle browser with their operating systems. However, the EU has not rule either to be anti-competitive. That's primarily because they aren't considered to hold a monopoly on their markets.

This is also a failing in the law (IMO). ISPs in the US clearly coordinate prices regionally, yet monopoly laws don't really touch them both because there are often at least 2 ISPs in most locations with relatively similarly sized customer bases and internet packages. Further, there really aren't a whole lot of national ISPs (unless you consider cell phone companies).
Something similar actually happened somewhere I worked.

There was an outlet in the hallway, right outside the glass window looking into the server room... you guessed it -- plug in a cleaning machine, blow the fuse, take down servers...
> If Nature is going to start going to lower their standards to go after clicks, I dunno what reliable source I'm supposed to double check things with.

Reddit.

I'm serious. If you search for the discussion about the news article on a right subreddit, or HN, or spelunk Twitter enough, there's a good chance you'll find a domain expert - sometimes even the paper's author themselves, or someone who works with them - explaining the science correctly and/or pointing out the bullshit in the press report.

(I wonder if it wouldn't be more efficient if scientists were writing press releases themselves, and the journalists/PR people would be chasing grants for them instead. It seems like a better match for their individual skills anyway.)
[Gödel 1931] proposed the proposition I’mUnprovable (such

that I’mUnprovable ⇔⊬I’mUnprovable) for proving inferential

undecidability of Russel’s foundational theory, which had the

type-restriction on orders of propositions to prevent

inconsistencies. I’mUnprovable cannot be constructed in

foundational theories because strong types prevent

construction of I’mUnprovable using the following recursive

definition (see Diagonal Lemma [Gödel 1931]):

I’mUnprovable:Proposition<i>≡⊬I’mUnprovable.

Note that (⊬I’mUnprovable):Proposition<i+1> in the right-hand side of the definition because

I’mUnprovable:Proposition<i> is a propositional variable in

the definition ⊬I’mUnprovable. Consequently,

I’mUnprovable:Proposition<i>⇒I’mUnprovable:Proposition<i+1>,

which is a contradiction.
At the risk of more confusion https://ncatlab.org/nlab/show/intensional+type+theory.

As a gentle introduction to modern type theory I would recommend https://arxiv.org/abs/1601.05035.
It's not even that bad. About half of the mails are talking about how other companies are cloning them.
Carta | onsite (WFH for now) | Full-time | https://carta.com | NYC - New York City, NY | SF - San Francisco, CA | SEA - Seattle, WA

Carta is building the network graph of asset ownership. We help 20k+ privately held companies and a growing number of public companies track who owns what (equity). In Q1 alone this year 55% of all companies that raised money used Carta to manage their investors' and employees' equity/options.

We're a series G Unicorn ($7.4 billion valuation) and offer very competitive benefits packages (generous equity, free lunch, 401K matching, fully subsidized personal healthcare, transportation and cell phone allowances, etc).

--------------------------

We're Looking for Full Stack Engineers[1], Backend Engineers[2], Engineering Managers (EM)[3], Product Managers (PM)[4] and Designers[5] in all of our locations!

Example job listings:

[1,2] https://boards.greenhouse.io/carta/jobs/4693532003

[3] https://boards.greenhouse.io/carta/jobs/4438671003

[4] https://boards.greenhouse.io/carta/jobs/4581831003

[5] https://boards.greenhouse.io/carta/jobs/4554784003

--------------------------

Drop a note to robert.balousek+oct21 [at] carta [dot] com for more info.
No we decided that corporate taxes should be low so the company can reinvest. The shareholders benefit.
Sad to see this so accepted.

Remix 3 seconds of a song without payment and you get hammered with fines.

Copy a paragraph of an essay in college and you get turfed out (assuming your parents can't donate a library).

Steal a few trinkets and face jail time; some have their kids taken away for it.

But a trillion dollar company systematically steals wholesale from innovating upstarts for a decade and it's suddenly the case that, oh well, everyone does it? What the actual fuck.
There's an ongoing study: https://www.ox.ac.uk/news/2021-06-23-ivermectin-be-investiga...
and I've also seen https://web.musc.edu/about/news-center/2021/09/17/trial-of-o...

I've read elsewhere that the problem with Ivermectin treatment for covid is that the dosages showing results have to be higher than for previously tested usages of the drug so side effects are also not explored enough
Is this a recent change? This is really an alarming step up in the narrative shaping (AKA propaganda) practiced by powerful Silicon Valley tech companies. For the tweet here, I feel it is totally valid to push back on vaccine mandates, because they violate the right to bodily autonomy and health privacy, because the IFR for COVID-19 is so low (especially for those who are healthy or under the age of 50), and because we don’t know what the long term effects of new vaccines might be. I say that as a pro-vaccine person who has all the common vaccinations available and still believes that getting an mRNA vaccine is the wiser choice.

By censoring critique of policies and laws, Twitter is interfering with our democratic process and making in-kind political contributions to those backing those laws and policies. We need new anti trust regulations to be enforced ASAP, and new regulations to treat large platforms with network effects as public utilities and public spaces. They shouldn’t be given the free reign they have when we already regulate other telecom services and utilities.
Tadam: A minimalistic Clojure web framework
How does that work if the user logs on via a new device? (Or the attacker, knowing the user's password, does the same?)
Ah, even worse than I expected. I should've known. It's funny how they triumphantly phrase it as a good thing that the public should take on all of the risk, while the most powerful take on virtually none. Furthermore, there's now an enormous incentive to lobby for never ceasing the public health emergency, since at that point they'd lose their enhanced liability protection.
The horrible part is not the believing, but the condemning of non-believers.
Neither is the key for a ssl cert generated on the device? In fact, with qr enrollment the 2fa approach does transmit/expose the secret (probably over https, but still).
Why Don’t Elite Colleges Expand Supply?
The FCC Wants to Force Wireless Carriers to Finally Stop SIM Hijacking
It was the Monoclonal antibody treatment that is part of the official NIH treatment recommendations. There are a few formulations with different brand names, but the recommendation is to take whatever is first available and there is not published evidence of one being better than the others. I don't even know which he was given and does not matter at this point. The infusion lasted several hours at our local hospital and required a positive Covid test and needed to be ordered by a doctor stating that there were enough comorbidities to justify the treatment, the went through a lottery weighed on risk factors, then an appointment was scheduled. It is free to the patient but very expensive to taxpayers. It needs to be given as soon as possible after symptom onset to have the greatest effect.

The odd thing is that you have to start pushing strongly on the paperwork to get this fairly invasive treatment when you still feel perfectly well in order to get it in time. You have to act quickly purely on your risk factors and not on how you are feeling.

That's why this pill has so much potential. It could be handed out immediately after a positive test and prescription and is easy enough that it becomes "why not" instead of "why". Of course this is a very new drug, but for certain high risk people it may make a ton of sense.
Unless you go out of your way in writing non-idiomatic Clojure like in Java with parenthesis Clojure, Clojure will the slowest of the three by far.
Jamie Spears Spied on Britney Through iCloud
Here's a critical look at the yahoo report for balance:

https://www.emptywheel.net/2021/09/26/the-yahoo-story-about-...

>And then well past paragraph 100, Yahoo admits the plans to assassinate Assange went nowhere, in significant part because doing so would be illegal.
Hopefully banks loose enough money to this that they finally allow for WebAuthn only login
I do think that communities and social media aren't necessarily the same. Communities have existed before social media. I grew up on CompuServe, which had a few LGBT groups as far back as 1997, and forums chat rooms have been around for as long as that. "Social media" in these terms, tends to be surrounding anonymous behavior and how people abuse anonymous behavior to hurt and even cause physical harm - which has similar effects in your communities. We can shun the daily posting, swipe-right, anonymous aspects of social media without removing communities - as proven by their existence prior to social media.
>There are a lot of popular websites like YouTube, Netflix, Facebook, and Gmail that do not have a dedicated app for macOS, and it is annoying to open your browser and type in the URL of the site or click on a bookmark every time you want to access sites like these.

Is this actually a common belief? Bookmarks are too much effort?

Rectangle, however, I can vouch for. The stock window management in OS X is the worst in the industry, but tools like Rectangle help a lot.
Types of Bets to Increase Your Potential
Says “sponsored” at top of article - isn’t this an ad?
Now?
I can't believe they thought this would go over well. At all.
I think at this point its clear that there is a legal risk to the platforms themselves if content contrary to the official narrative is left up. Like "sued and held accountable for all Covid damage" levels of legal risk.

A family who lost a loved one who didn't take the vaccine because they read something on Twitter would have a very good case today to take them to the cleaners. And given the political climate they would probably win.
Consider that first Fortran (statically typed) and Lisp (dynamic) implementations date back to late 1950s. Since then there was a constant tug of war between these camps, including BASIC, COBOL, Smalltalk, Pascal, and trends falling in and out of favour.

All this however is rather orthogonal to the strengths of type systems. CL type system, for instance, is stronger than one of Java or C.
>"Our platform is like Roblox, but for when kids age out and want something mature!"

I feel like a point that the author missed when discussing this is that there is a lot of evidence that being more mature may not be a strong selling point. The best example would be Fortnite, the most profitable game in the world at one point that had a sales pitch that could be boiled down to 'Like PUBG but more childish'. TF2 is another one that seemed to have plenty of competitors that tried to dethrone them by making a more mature and serious game, but that only one to succeed was Overwatch that went for a even more kid friendly esthetic.
SEO Gratis
SEO FAI DA TE
If, like me, you are surprised that Al Gore has 600M$ to invest in a single company: he doesn't. And he didn't put 600$M in it.

The fund where Al Gore is serving as Chairman did.
Came here to say that it's not necessarily in our head - you can knowingly get a placebo and still react to it. As far as I know it's a combination of head, genetics and other unknown factors. In my opinion an underappreciated and understudied field.
https://github.com/id-Software/Quake-III-Arena/blob/dbe4ddb1...

561 i = 0x5f3759df - ( i >> 1 ); // what the fuck?
This drug is an antiviral and isn't the Covid viral load already on the decline by the time that most people are hospitalized? See Fig 2 from https://www.bmj.com/content/371/bmj.m3862 . Its the other issues like the inflammatory cytokine response, tissue damage, and secondary infections that cause the poor outcomes in most hospitalized patients.

So you'd need to take any antiviral early on. I think they said within 5 days in this study. Also of interest is that the 5 day marker is where the mild and severe cases diverge according to the article I linked to.
They would have to re-enroll in MFA, but that's the same thing that happens today if someone uses Google Authenticator and gets a new phone (or uninstalls Google Authenticator).
wonder if this stuff starts to spread outside of apple.
this comments hit up a good point,

the lower in the OSI stack you go, the harder it is to initiate change.

There is still some (mostly industrial) hardware that has lackluster TCP/IP support at best (for instance, assuming the netmask is always a /24...).

migrating these networks to ipv6 is not possible, and doing 6to4 adds a crapton of complexity.
Just as with normal server side TLS, the client doesn't send its private key (and it's not known to anyone but the client), so intercepting the certificate doesn't do the attacker any good.

But if communications intercept is possible, even with TOTP the attacker could intercept the TOTP token for that session and use it to log in himself.
There is a big jump from "let's create some algorithms and data structures inspired by a simple model of the brain and see what kind of problems these algorithms are useful for" to "why doesn't our model fully and faithfully represent an actual brain".

The first of these questions has led to real progress in things like image recognition, whereas the second of these questions has not led any real progress in digitizing squirrel brains.
I assume it's to dissuade creepy ads that offer rent discounts based on sex/age/appearance.
Say hello to the new police
I’d be ok with then charging a significantly lower for a “limited bandwidth” connection. But I bought an unlimited, so they have no right to complain.

Imagine if the same principles were used in other areas. You iPhone suddenly locking up after using Facebook to much because Facebook wasn’t paying Apple for access to its users.
> Importantly, sustained herd immunity is not the only value of a vaccine or the only way it could help us return to a more normal life. If high coverage can be achieved in those most at risk of severe outcomes, we could achieve a state where virus continues to circulate (at a level reduced by partial herd immunity) but the toll on the health system and the mortality toll is dramatically reduced because fewer highly vulnerable people are infected, and even fewer of those experience symptoms, thanks to direct protection by the vaccine. In my personal opinion, this is the most likely path to a more normal life in many countries.

And that is the conclusion of the harvard.edu article for one. That article is actually pretty good and discussed partial efficacy against disease, partial efficacy against transmission, efficacy against severe disease, and sums it up with that prediction about endemicity. There's nothing in there suggesting the vaccines were supposed to eliminate the virus, even though it is discussing the topic of herd immunity.

The misconception seems to be that herd immunity equals covid-zero which it does not.
Is weather the same thing as climate?

I don’t accept when people say “see, it’s snowing, climate change isn’t real!” so why would I accept the equal but opposite statement? Just because it reinforces my beliefs?

It’s anti-science to pretend they are the same thing because you want them to be. A random anecdotal sample is a single data point, or twenty data points, etc. The actual scientific problem of estimating and anticipation climate effects are the modeling billions of those data points, almost none of which we were around to actual observe.

This blind tribalism where ”You don’t get to use x as evidence but I do” hurts climate science overall.
I agree with everything except the courts and police: they don't really do any debt-related enforcement activities anymore.

On the other hand I suppose you can cynically note that the police make discriminating between a high credit risk and a low credit risk "easy" by having a (possibly unfair) ultrafilter: "did you spend time in jail"
I wonder how Tauprolog with all the JS jit-stuff compares.
Haha thank you. Had no idea.