skysight-inc/HackerNews huggingface dataset:
I was not aware of APSW. Thank you.

For future reference:
"APSW has the following enhancements/differences over pysqlite 2 (wrapping SQLite 3):
- APSW stays up to date with SQLite. As features are added and functionality changed in SQLite, APSW tracks them.
- APSW gives all functionality of SQLite including virtual tables, Virtual File System (VFS), BLOB I/O, backups and file control. [...]"
-- https://rogerbinns.github.io/apsw/pysqlite.html#pysqlitediff...
Relevant article:
https://www.google.com/amp/s/theconversation.com/amp/copper-...

I read that it depends on time, temperature and microbe—-but in general, copper is highly effective.
"Both sides" nonsense. Show me anything from the left that begins to approach believing that there's a secret cabal of baby-eating satan worshippers running a pedophile ring from the basement of a pizza joint.
It's basically true that most men have it and live with it for a long time (even decades) -- one can see the evolutionary reasons not to select against it.

However some cases are more aggressive and will have a negative impact or even kill them.

The problem, as with most cancers, is to figure out which ones are worth treating rather than risk iatrogenic consequences.
Oh man, this. I remember I worked at a major defence contractor, and we absolutely bombed, like failed through the floor an employee satisfaction survey. And when the VP finally sat down with people they expressed how shitty the computers had gotten. And he's like wait a second. No one ever told me this. I can solve 90% of my morale problems by writing a cheque for like $200k?!?

It was astounding how large the disconnect had grown between management and the front line. And also astounding how cheaply the employee morale was fixed once he wrote that cheque.
Are you saying that those minor drug offenders Obama pardoned should have waited in prison for some law to maybe pass? Even more important, what about Governor's pardoning powers? Those have been used to positive effect many times, should those go away too?

Its an imperfect system, just following the script that law provides will lead to injustices. Having an escape hatch is a good thing, even if it is occasionally abused. I would support federal/state congresses overturning pardons though.
Craig produced a proof on a computer he himself provided. Wouldn't have been hard to alter it to say whatever he wanted to.
Protected: Making Win32 APIs More Accessible to More Languages
What's the traditional Japanese name for the colour of the Saffron robes worn by Buddhist monks? Was the saffron colour considered distinct from other orange colours?
https://archive.is/MvfD5

Sounds terrible, is it really this bad? I've always wondered why I always meet Texans on the Colorado ski slops.
Engineering capability and financial savvy are somewhat orthogonal. You will keep some top performers and lose others by paying median wages. Some people also simply value stability or find other aspects of the job worthwhile over seeking higher compensation. It's also really easy not to take into account all avenues of compensation: salary, healthcare, bonuses, retirement, tax-advantaged vehicles such as HSAs, stock options - I'd say at least half of the employees in any field are mostly clueless about finances at this level, take a glance at base salary and make a rough decision whether it's good enough.
Excited to hear that.
Languages and Compilers Network Graph
I actually think a planet with life already on it may be the worst candidate for territory. Sure, there's unlikely to be a plague that can affect them, but there are millions of proteins and organic compounds on our planet that alien life has never been exposed to before. The odds are high that some substance that is commonplace on our planet has a toxic interaction with the aliens. Even if the aliens have a similar biology to our own (carbon based life with DNA, same cell structure and organelles, etc.) if they use a different chirality of an amino acid you could have tons of potential for toxic interactions. If that is the case, the only way to make the planet habitable is to wipe out all life on the planet, AND break down all of the toxic proteins, at which you're basically doing terraforming anyway.

But yeah I agree that there's very little our planet has that an alien civilization would want. The only reasons I could see for war would be some sort of pre-emptive response ("some day they will be able to attack us, let's wipe them out before they can") or an ideological conflict. Maybe they have a religion/ideology/culture that sees us as needing to be destroyed. Maybe if they see us as a lesser race to be exterminated, like the Nazis. Or maybe we are evil in their morality. There's the sci-fi staple of seeing mankind as inherently violent and warlike, or polluting, but also more exotic things. Maybe they are immortal and don't reproduce, and see us and our potential for expansion as a sort of cosmic cancer. Maybe they are photosyntheic beings, and see anything that lives by consuming other life as a threat. But I think those are unlikely.

At the very least I think that they wouldn't wipe us out on sight. If they did have strong opinions on religion or forms of government, it would likely take years of contact and dialogue to even figure out we were in disagreement. Even then diplomacy and diplomatic pressure would probably be used long before military force.
Weird to see my birthtown (Grimsby) on the frontpage of HN. Not the most techie town haha.
Cool, looks like they've been posted upstream for review.

https://lwn.net/Articles/843221/
Unless, unimaginably, you need to keep your code on-prem...

I know, I know. Unthinkable.
Is that a problem? I'm not so blinkered that I'd object to toppling a regime like Maduro's, and the main issue with this effort seems to be incompetence and proceeding with insufficient resources.

BTW, Wikipedia considers MintPress News to be unreliable because it "publishes false or fabricated information":

https://en.wikipedia.org/wiki/Wikipedia:Reliable_sources/Per...
Instacart Will Lay Off All of Its Unionized Workers
Not exactly answering your first question, but in Catalan the name of "pumpkin" is also used to refer to the orange color. Even though technically this color ("carabassa" [1]) may not be exactly the same as "orange" ("taronja" [2]), it is often used interchangeably, though "orange" is, as far as I can tell, increasingly more common.

[1] https://ca.wiktionary.org/wiki/carabassa

[2] https://ca.wiktionary.org/wiki/taronja
Look, no offence, but this is a terrible poem.

It's verbose:

> We, the successors of a country and a time where a skinny Black girl descended from slaves and raised by a single mother can dream of becoming president, only to find herself reciting for one.

It doesn't make sense. (You can't be the successor of a country, you even more can't be the successor of the present instant happening right now.)

It's content-free, like a bad political speech. "We are striving to forge our union with purpose." As opposed to striving to forge it accidentally?

It's clichéd: "We close the divide because we know to put our future first, we must first put our differences aside.... while we have our eyes on the future, history has its eyes on us." Honestly, this reads like something GPT-3 might come up with.

It uses rhyme for cheap effect: "We seek harm to none and harmony for all."

I expected something as bad as Maya Angelou (brutally reviewed by Paul Beatty at https://www.nytimes.com/2006/01/22/books/review/black-humor....). This is worse. It is a shame, when there are black poets like Derek Walcott out there. People get exposed to this kind of "uplifting" stuff and will think that's all there is.
"We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence,[note 1] promote the general Welfare, and secure the Blessings of Liberty to ourselves and our Posterity, do ordain and establish this Constitution for the United States of America."
It's possible they would, possible they wouldn't. The point is that if you project things about human intelligence i.e. "but humans like ants so why wouldn't the reverse be true? "or "most humans don't pay attention to ants so why would aliens care?"on to other types of intelligence, you're making a big assumption.

A superintelligent ant colony with an "of ant" intellect is going to be so alien to our kind of intellect that the goals are just impossible to compare. Probably same for aliens unless there are many humanoid ones for some reason.
Of course.

I know a lot of security phds who fall for phishing emails. The hugely likely outcome of btc was that it would end up worthless. "Oh crap, those keys were stored on that disk" after dropping it on the floor or having a laptop stolen is an entirely reasonable situation.
Yes, that fraud
No offense taken at all. When I was running my last company, at $25M in revenue, we couldn't find any good options for a service like this. Anaplan and Adaptive Insights had 6 figure price tags and required a lot of professional services. At some point a company might choose to leave Finmark, but our hope is to cater to startups from pre-revenue to pre-IPO.
Better headline: Google claims employee tried to leak internal documents

edit: misread, thought it said thousands of documents, fixed
Can you elaborate? I'm an outsider. I see that both have proven track records. What makes Hinton the significantly better choice?
VR as a Social and Workout Experience
I was inspired by this post to reactivate my:

https://drinkingclass.com/

Feel free to add to the list.
Just Move: Scientist Author Debunks Myths About Exercise and Sleep
====

"Assume we have 1000 apples, or let's take a round figure, 1024 apples."

===

// get tomorrows date
int getTomorrowsDate() {
sleep(1000*60*60*24);
return getCurrentDate();
}
I mean we're talking about definitions here so ultimately there isn't a definitive answer, but I think your definition of dependent types excludes a lot of things that are commonly referred to as "some dependent typing" or "lightweight dependent types" (this includes things like GADTs and singletons, Liquid Haskell, etc.).

It's important to note that what is going on in that TS example isn't just flow typing (otherwise something like Kotlin would count as a dependently typed language). The `typeof` operator is playing a crucial role here. That's what makes this really a case of a type depending on a runtime value.

If it was really just flow typing, then you could still replicate it in something like Scala by just introducing additional layers of types and folding over them (this is also why I would agree flow typing by itself is not dependent types). But that's insufficient to replicate the full TS example.

Idris doesn't want to make its soundness situation any worse than it already it is because the community does eventually want it to be completely sound. But like I said, that's not at the top of its priority list.

EDIT: Removed "Flow-sensitive typing isn't really all that different from dependent pattern matching (the main difference is on the other side of the coin, where you need some way of generating those dependent patterns and of cascading the flow "down" so to speak, so indeed by itself flow-sensitive typing isn't dependent typing). " as the first line because it didn't seem all that relevant in retrospect.
A nice collection of articles regarding bitcoin’s energy usage. Spoiler: it’s quite different than the narrative that’s out there: https://bitcoinmagazine.com/tags/energy-consumption
I have fostered roughly 25 cats (one at a time), and what you wrote about communication resonates with me. Most cats seem to develop a sort of pidgin[1] language in collaboration with you to communicate how they feel or what they want. It's different for each cat, but is usually some combination of vocalization tones, body postures/movements, eye contact, or even the location in the house they choose to do those things from.

They can be surprisingly great communicators.

[1] https://en.wikipedia.org/wiki/Pidgin
Well, if we saw extraterrestrials we'd probably want to visit too. Or at least observe them. Prime directive.
Tell me about a time someone told you that you would fail
Satoshi couldn't have thought of a solution of the scaling issues, just like Mark Zuckerberg didn't design Facebook for billions of people originally. From the paper it's clear that he would have liked if all people could have access to P2P layer, but it's just technically impossible.
That's a fundamental security assumption made by Nakamoto consensus. It's like assuming the discrete log problem is hard. If/when the assumption doesn't hold the security is gone.
> The real Satoshi (assuming they're one individual as CSW is essentially implying) took care to maintain their anonymity, and is almost certainly aware that they would be the target of intelligence agencies around the world, in addition to your more run-of-the-mill "let's kidnap this guy and force him to transfer his enormous wealth to us" criminals. So releasing his identity publicly would be just painting a massive target on his back.

This would be the Hollywood interpretation of his motivation to remain anonymous. Personally, I think it’s because he really wanted the work to speak for itself, and not have the entire project tied to one particular individual with thousands of newspapers trying to figure out what motivated him.

Remember The Social Network movie? When they tried to make it look like Facebook was created just so Zuckerberg could get back at his ex-girlfriend? It’s stuff like that he was trying to avoid.
I am living through this. It is especially true if you are at a company that does software, but is not their primary business. IT seems to have total control and puts very little thought into developer experience. Give everyone the same slow mid-tier machines, force everyone to use Windows whether they want to or not, then overload them with security bloat, then require a slow VPN connection. It's sad.
I2S was a blocker for me (ESP32 has a dedicated I2S peripheral). Then I saw this: https://shop.pimoroni.com/products/pico-audio-pack

So they obviously have a working I2S implementation working (it's not a hard protocol, but great to be shipping with real proofs of concept)
Fair point, but what can Substack actually do about this? Maybe they can forbid insertions from ad networks technically and in their TOS, but at the other extreme end, there’s almost nothing they can do about submarine articles. What if someone set up a Wirecutter analogue (but being paid for reviews) on Substack?

At the end of the day, it is fundamentally a platform for sharing opinions.
In general I agree that compound movements are the best, but in my personal experience most people have postural weaknesses and habitual movement patterns that they just might not be aware of that even compound movements have a hard time addressing. When you start exercising your body may overcompensate for these weaknesses by recruiting muscles that might be less than ideal for the movement, which can lead to injury (which happened in my case).

For me personally, one of those postural imbalances turned into an injury (shoulder), and I found doing exercises that targeted a very specific muscle (infraspinatus) really helped in my recovery.

I think everyone could benefit from spending some time exploring their body by targeting muscles that may be easy to ignore in larger compound movements, if only for bringing awareness to them (which should benefit the main movements in the long run by making them more efficient).
So what would be the appropriate compensation for a dance move? Abd who should pay? Everytime you want to dance, sum together the value of your dance moves and pay to the global dance move organization?

Or should there be dance watchers at every venue, and present you with a bill at the end of the evening?

Should there be an app for that? Could the Apple watch detect if you do a Lindy Hop, and advise an automatic donation to BLM?
For a very small instance, I'd look at Pleroma. (Disclaimer: I've never installed it, so this is hearsay.) My understanding is that it runs fine on 1GB RAM instance, and by default doesn't cache media locally so you don't have to have tons of drive space. Also, a single user instance will only have to have enough DB storage to track the toots of the users you follow, so unless you immediately log in and follow 4,000,000 users that shouldn't be a bottleneck either.
Indeed. I think Craig is a fraud. I'm just dumbfounded why Gavin --a person I admire from intial days and who is probably person n.2 after satoshi in terms of bitcoin actual initial lines of code written -- was so easily fooled.
If you've got funding (or immediate profitability due to traction) and a hockey stick growth rate, the cloud makes sense. It's just the cost of business to support rapidly scaling and developer velocity to try to capture as much of the market as fast as possible. As long as your profit stays ahead of your cloud costs, mission accomplished.

If the above does not apply, of course you're going to be better off using a combination of Cloudflare (CDN, networking), Backblaze (object store, also has S3 compatibility layer), and either dedicated service providers (OVH) or VPS providers (Digital Ocean). Perhaps even colocation if you've got the experience in house (Stackoverflow and Wikipedia, for example).

AWS and other cloud providers are designed for the price insensitive, who prefer having a single vendor, more abstraction away from the metal, or require support for bursty workloads. Shop around and model your run rate based on expected workloads. There is no best or worst solution, only a scale of solutions for your use case(s), ranging from suboptimal to optimal.
I agree with you, but I think it's worth remembering/noting that this happens mostly because it's very difficult if not impossible to imagine what a sentient being with a psychology entirely unlike our own would be like.

I think that most people (who think about such things) realize that extraterrestrials, if they exist, may well be more alien than we can even imagine.

But it's fun to imagine things, so we try anyway :)
I can recommend two authors: Nassim Taleb and James C Scott. In particular their books "Antifragile" and "Seeing Like A State" respectively.
Republicans Love De-Platforming–Just Ask Sex Workers
Tools like this keep appearing on HN, and I shudder every time I see them -- not because I don't like the idea, but because of the constraints involved in adopting it.

It would be one thing if this were a tool for generating a regex, which the developer then copies and pastes into the source code. But it’s expected that this syntax is checked in and maintained in the source, with all the requisite
constraints and dependencies. It’s unportable to other languages, unreadable without the docs, and non-standard. It's also another runtime dependency that will need periodic security updates applied (I hope :-D). Meanwhile, there is a standard, built-in cross-language syntax for expressing these things (and great tools like https://regexr.com/ for reference).

Maybe this makes sense in one-off scripts, but I don't see it adding value where the code is intended to be a source of truth.
I don't think the 2 are mutually exclusive.
> aren't the peripherals a bit of a hodge-podge of old this and non-standard that?

There are certainly "old" peripherals in the SoC (the UART comes to mind). There's probably not a lot of norm-busting in this,

There are certainly "non-standard" peripherals in the SoC (if by "non-standard" you mean "nobody else has them"). As the article notes, many if not most other folks "just" check off a couple dozen boxes on the ARM PrimeCell Shopping List (plus a few 3p vendors) and stack the resulting blobs together.

Going your own way and building major components yourself (and all of the major components, including the fabric / interconnects) is very definitely not the "norm".
Valerian is the cat drug in my home country. Mentioned it once to a friend, a Canadian, and brought him a bit the next time I went back home for a visit. His cat had no reaction. Zero. But the catnip worked as expected.
Are those two concepts mutually exclusive? A liquid currency that holds value in unstable economies would seem to serve both the purpose of being spendable as well as a stable investment like gold. Maybe I'm misunderstanding what it means to be "gold like" though.
>>> Your BF's doctor is uninformed and offering bad advice.

I wouldn't go that far. In your n=1 case it seems clear that not monitoring PSA would have been an error, but there exists a debate on the risk/benefit of this test. Namely, the unnecessary suffering that it can inflict to a healthy person with elevated PSA.

This is a good review [1]

"To screen or not to screen for prostate cancer? This remains an important question. Screening relies on a highly imperfect measure, the prostate-specific antigen (PSA) blood test, which is prone to false-positive results. And with mounting evidence that survival benefits from screening pale in comparison with the harms from overtreatment — particularly incontinence and impotence — the pendulum has steadily swung away from it. Still, screening research continues, in the hopes that some lifesaving benefits may be found."

[1] https://www.health.harvard.edu/blog/new-study-once-again-cas...
"Medium" is a much more general term than "tool," the edit you suggested adds nothing to anyone's understanding of gp's point, and to suggest they actually 'meant' something that means the same thing is... strange.

Also, they are tools in a much more narrow sense as well, but that is left as an exercise.
> This is a tangent, but I don't understand people who think BeOS was the heir-apparent to consumer/home/personal OSes. It had super half baked networking support and absolutely no concept of multi-user or privilege separation.

What need does a personal computer OS have for multi-user support? The median number of users on a personal computer at any given time is 1. Even in the rare case that two or more people want to use the same computer at separate times and desire to protect eachother's files from eachother, they can use encryption rather than fake OS enforced security.

Privilege separation, in order to keep malicious applications from compromising the user's files, has become significantly more important but it wasn't that important back then.
Was gonna try to refute you... but I can't even. It's poetry. Most of us loved it. Especially her delivery of it.
I think MBA here is a label to fill in for a cost-first mindset vs maybe a value-first balance. By that I mean a more balanced view of the company making money not by prioritizing first order mechanics of profits, but more in depth view of how the profits are maximized by actual product workings - which tends to be represented at secondary, tertiary, or even deeper level in the accounting structure if at all.
No, that sub is completely delusional
Sounds interesting - link?
I think the real take-away is that the boundary for "good idea" is determined almost entirely by funding. The military has such a firehose of cash that they can throw money at almost anything and see what sticks.

If we spent $718.69 billion on art funding every year, you'd probably see artists making skyscrapers out of butter or genetically cross-breeding birds and mammals for creative speciation.
When allocators are hoarding your precious memory
I'm interested to know your alternate solution. How would you recommend getting the required libraries into your image?
My yellow fever book would be easy enough to forge, but why would I want to go to a yellow fever country with a forged one?