skysight-inc/HackerNews huggingface dataset:
Sure, ideology impacts formal reasoning, but if you look at the examples given the participants have good reason to reject the conclusions of formal logic that is based on terrible premises.

Despite the result of a simple sequence of sentences divorced from reality, cigarettes really are bad for you and salads are good (depending on their contents).

In study 1) participants might disagree with dangerous drugs being banned, and they disagree that marijuana is dangerous. In 2) premise 1 seems relatively straightforward, then premise 2 is a highly ideological belief (as is the point of the study).

I don't think this is very revealing. When you add 1+2 and get 68445788, you are suprised by the conclusion and check your work. People responding to this aren't dumb, they just aren't playing along with what they regard as faulty reasoning. Basically, they are likely saying I know what the researcher wants me to say, but this is wrong and I won't go along with it.
Fresh evaluation of Machine Translation (23 systems, 48 language pairs)
Urbit / Primer (2019)
> "summon emergency services should the need arise"

What does that mean? It calls 911 or the local equivalent? That doesn't seem like desired behavior if you're triggering it in anticipation of crossing a border.
"The operating system it runs is OS/400 and that is also the only OS it can run, no Linux available for this system."

This ain't strictly true; Linux and AIX will both run on it, at least as VMs/LPARs.
Statistician Who Debunked Sexist Myths About Skull Size and Intelligence
blood.
Founding Encircle and Facebook Palo Alto Stories with Ronuk Raval
< 20 grams per day, basically all i eat is broccoli rabe and grilled chicken. maybe im not eating enough fat.
Still beta, last release[0] was 0.8 on 2018 November 18.

It is also not clear to me what, if anything, already integrates with this, and therefore how much code I need to write to try it out and compare against ElasticSearch.

[0] https://kronuz.io/Xapiand/news/
Regardless of the platform, this is a truly excellent introduction to memory segmentation, which in my experience tends to be relevant far outside of the realm of operating system (or even single process application) development. Just the other day I was struggling to explain several concepts illustrated eloquently here to a coworker trying to design a scheduling/persistence system for variably-sized datasets that needs to be stored in hundreds of Redis instances across a compute cluster.
I think the comments you've received here are spot on. But wanted to make one additional comment for your friend.

If I had to guess, the Series A terms provide that in order to issue new shares on parity with or senior to Series A shares, the company needs to get Series A shareholder approval. In other words, to raise a Series B, he'd need to get Series A shareholder approval.

How does that fit in here? Well, the prior comments you received essentially point to two strategies:

1) Get the company into a position where VCs want to compete to invest in it; and/or
2) Simply make the company profitable so that a Series B isn't essential.

The problem with the requirement of getting Series A approval for the Series B is that, to an extent, the fact that other VCs might want to compete to provide better terms is somewhat irrelevant. The Series A VC can turn down any Series B term sheet it wants.

In other words, the real leverage is in strategy #2. Make the company profitable without the need for funding if at all possible.

Will that net your friend enough money to scale in the way millions in VC funding would? Quite possibly not. But at least it changes the negotiating dynamic with the Series A VC. If the Series A VC knows the company NEEDS Series B funding, then the VC knows it has veto power and can control the terms of the Series B. If the VC knows that the company is profitable and can live without any Series B funding, then suddenly the VC is in a weaker position - the company can "walk away" from the Series B negotiations altogether.

[Note for anyone reading: if you have the negotiating leverage in your Series A, rather than agreeing to the protective provision I mentioned above requiring Series A shareholders to agree to any Series B funding, see if the VC will agree to merely require the Series A BOARD MEMBER to approve a Series B round. This, of course, assumes that there is a Series A board member, of course, and will be a tough sell. But it, again, changes the dynamic. The Series A board member has fiduciary duties to the company and can't simply say no to competing Series B term sheets for self-interested reasons. But if the Series A shareholders have to approve the round in their role as shareholders, the same fiduciary obligations don't apply the same way.]
I was in Taiwan for the last 4 years, and went to many music festivals. At one of those, the drone continued recording videos even after sunset.

The weather was super hot. I was directly underneath at times, and the breeze from the drone was a very welcome relief. I wasn't scared about it falling on me, and the noise didn't disturb the music (although that says something about my taste for punk rock).

That may be different for large delivery drones, but I think that small recreational drones (e.g. DJI) should be allowed all the time, including at night over a crowd.
I don’t see this going very far for historical reasons. This idea has been suggested for over a decade, but back then the focus of inspiration was jQuery. The false argument was that everybody was requesting it into pages anyways so it should be part of the language. Not only was this idea proposed on top of a faulty assumption but there were also performance penalties and hidden conformance defects.

These suggestions fall apart over time because they aren’t environment agnostic and lack objectivity. The subjectivity in question, “I want feature X”, usually doesn’t take alternate positions into consideration.
I think foundation excites a lot of people who have never read its code or tried to operate it and therefore have only these statements of hype to go on.
> "What if the kid hadn't committed the murder but was duped into making incriminating statements anyway?"

Then maybe it would make a better example for discussions like this. As it stands, that anecdote is little more than "the police are good at their jobs and they caught a murderer which is unambiguously good for everybody, but what if they were instead using their skills for something bad?"

> "Furthermore, considering testimony given while under the influence is ridiculous."

I'm sorry but expecting cops to never talk to drunk people is just absurd. There are plenty of valid objections to modern policing, but this isn't one of them.
Constitutional democracy and technology in the age of artificial intelligence
It depends on what makes you "not super happy", but as someone who uses Dynalist all the time for everything, I must say the only reason I haven't switched to Notion is that their free plan has a hard limit of 1000 "blocks" (vs. unlimited in Dynalist). I actually haven't used it that much, but Dynalist doesn't have many features so it's easy to compare them and come to a conclusion.

From what I've seen, there are only two things I still prefer Dynalist for: Zooming into nodes (minor issue, since in Notion you can quickly turn a node into a page and "zoom into" it) and contextual search (major one, global search is a real pain if you have lots of data - but you can still make up for it by being more organized than I am).

As for everything else, Notion is a clear winner to me.
Let's not forget about the time they blew up San Bruno:

https://en.wikipedia.org/wiki/San_Bruno_pipeline_explosion
im also drinking exogenous ketones too now
This post is really nice, but the author doesn't actually explain 'monads.' He does give a good explanation of the IO type in Haskell and the various combinators offered (including the monadic ones).
This was my impression of their landing page as well. One of the few that made me go ‘I want this’ right when reading it.
Lockdown mode is a new feature in Android Pie: https://www.androidauthority.com/android-pie-lockdown-securi...
Yes, but when Lockheed made that claim they were just getting started with fusion, and their experiment used about as much energy as a light bulb. They revealed very little about their design.

TAE has the largest fusion reactor in the U.S. They've been at this for 20 years, present at fusion conferences, and get papers published in serious journals. They achieved stable plasma several years ago.

The actor was one of their earliest investors, but others have included Paul Allen, Goldman Sachs, and the Rockefellers, totaling $700 million so far.
Chezmoi looks very cool. I'll definitely give it a try.

Like some of the other commenters here, I use git branches for different setups, though in practice there's only really the one.

I also wrote a shell script (Dotty) [1] to 'collect' and 'deploy' dotfiles mixed freely with shell commands. Mixing shell scripting in lets me do things like remove unwanted files from my .emacs.d/ after collection, preserving nested directory structures, or any other pre- or post-collect/deploy arbitrary actions.

[1] https://github.com/joseph8th/dotfiles
SMUD... now that's a name I haven't heard in a long time.

Not one person I knew chose PG&E instead of SMUD.

The Yolo County stuff makes me sick, just like banning municipal wi-fi.
Microsoft's tooling is fantastic

Trying to work with other databases after using SQL Studio is incredibly frustrating
Can’t help but wonder if pointing out that mitochondria is the “powerhouse of the cell” is in reference to the meme.
I'm not sure harsh penalties will solve this particular problem, or prevent it from happening again, very honestly.

As I alluded to elsewhere on the thread, the whole thing strikes me broadly as act of god - everything about the weather and conditions was extraordinary - power lines fall down, they fail, they spark, none of this is terribly unusual, usually nothing bad happens, so you dont hear about it.
I made an app called Phonics and Reading with McGuffey that made around 80k over the years (9) and had about 960k free version downloads. Its due for an update but so far I have not been able to repeat a success like it.
However, that's a unique case, because the authorities know the hashes of the cleartext files on his machine match the hashes of illicit media. "Foregone conclusion" so long as you believe in the mathematics behind hash collisions.
Apple Spends $150M on Flights with United Every Year
FoundationDB is about as honest and up-front about its limitations and flaws as any system I've ever seen.

Have you had a negative experience with it you can share?
I really really like the premise of this study, but I don't buy the results fully.

The logic in the 2nd and 3rd prompts is subtle. In fact, I don't think the 2nd one is in fact a syllogism -- it's unclear if Judge Wilson believes if or if and only if. In the former case, the statement is in fact not a syllogism, but in the latter case it is a syllogism. I wouldn't expect your average study participant to pick up on the difference.

I am afraid that the only conclusion here is that, in the absence of a clear logical argument to evaluate, (either due to ambiguity or complexity), people fall back on their beliefs.
Obviously they just need to establish a hurricane fighter force. I wonder why nobody has ever considered this before /s
Pied Piper “portable” Z80 antique computer
Thank you, nice story. Moral is to not make any decisions while drunk :)
Building a Service-Oriented Architecture with Rails and Kafka
Too bad she was wrong (which is not a surprise when you read OP's description of her ludicrous research - so you criticize direct measurements of brain volume as biased and offer as a replacement... some facial measurements, of range-restricted unrepresentative samples, by someone with her own axe to grind in a statistically-meaningless stunt? wow) and her debunking has been debunked. We have enormous brain imaging datasets now and the connection between human brain size and and intelligence is borne out in every sample and is real: most recently https://scottbarrykaufman.com/wp-content/uploads/2018/08/Gid... (not to mention the more obvious between-species correlations and other within-species correlations, most notably recently in dogs: https://link.springer.com/article/10.1007/s10071-018-01234-1 ).
I find it fascinating that even the possibility of water existing on Mars was almost a foolish thought — just a few years ago even.

And now, here we are with an image of a 51 mile wide crater full of ice. Truly an amazing time to be a fan of space exploration!
More "wrong in a gloomy way" than "sober" IMO.

He initially says that 500 miles is the limit for practical long distance power transmission.

Transmitting power more than about 500 miles means a load loss of ~10%. The dots on the map represents cities. If the dots aren’t close to a red zone, transmission lost kills solar as a useful input.

That's not true. Siemens quotes losses of 9.4% on a 800 km line for high voltage AC systems, but corresponding DC systems lose 6% at 500 kV or only 2.6% at 800 kV [1]. Look at this list of HVDC projects and sort tables by by Total Length:

https://en.wikipedia.org/wiki/List_of_HVDC_projects

There are many projects over 805 km (500 miles). The 1362 km Pacific DC Intertie has connected Northwest hydropower to Los Angeles since 1970.

In the second thread he also says "no generation >1k miles from metro regions" (1600 km). I'm not sure why he doubled this "limit" but it's still too low. Brazil already has 2 HVDC lines longer than that. India has 2 under construction. China has 4, with another under construction.

He's wrong when he says "lithium [battery technology] does not charge or discharge fast enough." Compared to what, magic? It's faster than any other mainstream battery technology. It's far faster than combustion based peaking generators. That's why it got its utility market start in frequency regulation applications.

He's wrong about other things too, but it takes a lot longer to refute a Gish Gallop than to dump one out on Twitter. According to his bio he has a couple of books published, and he makes good-looking graphics, so I'd be trying to muck out the Augean stables with a teaspoon here.

[1] https://www.siemens.com/press/pool/de/events/2012/energy/201...
Stone Balls (Spheres) of Costa Rica
Automating Private Blockchain Deployment
> People stream their gameplay for cash

This is still such a very strange thing for me. Truly one of the first things that has made me (as someone in my mid-30s) feel disconnected from the next generation.

Why would I want to watch someone else play video games? If I had the time to do that, why wouldn't I just play the games myself? Where's the joy in it? The commentary? If I wanted commentary to listen to, wouldn't it make more sense for it to be about something real?

I guess I'll just tie that onion onto my belt and call it a day.
I spent half a decade working as a PG&E contractor for the Energy Savings Assistance Program (ESAP) provided by PG&E.

My job was to—at no cost to the occupant—install home weatherization measures into low-income housing. This ranges from new doors and seals to full attic, wall, and floor insulation. We provided this service to literally dozens of homes every working day of the year.

If PG&E fails, not only are all of the contractors out of jobs, but people in need will be denied a valuable service.

California provides a similar service (LiHEAP) with substantially less funding and far fewer benefits to the resident, and much of that funding has been eliminated in the past couple of years as I understand it.

The point is that issues aren’t generally as binary as you may think. PG&E isn’t a perfect company, but asserting that nobody would be harmed by their bankruptcy is a bit naive.
Really love your designs by the way. Reminds me a bit Anders Hoff's work.
'The Burnout Generation': Millennials and the Mindset of 'Working All the Time'
fwiw also 11 patch releases (meaning 0.8.z) since then https://github.com/Kronuz/Xapiand/releases
How so? The major design by contract language I know of is D, and its contracts are essentially asserts that are either placed at the beginning of the body or prior to all returns.

You can certainly get substantially similar behavior just using asserts at the beginning of the function body and ensuring asserts at the end before a return are hit by all code paths (e.g. make an anonymous function that contains the body, then call it wrapped in a try/catch and assert on the return value.

Unless I'm missing something about design by contract, it's essentially just asserts at the beginning and end of a function.
Kind of tangential, but the title and premise reminded me of an earlier x86 SMP platform: https://en.wikipedia.org/wiki/Sequent_Computer_Systems#Symme...
Underground wiring is far more efficient in big cities, as the major cost part is "miles of trench digged" and in a city the ratio of "customers per mile" is waaaay higer than in rural areas, thus reducing "investment per customer".

In addition this wiring is at the maximum 110 kV, you do NOT want a 380 kV feed in a major city. These things require a shitload of clearance, talk about 40m wide and 4m deep trenches!
Have you tried Vitamin C serum?
The real reason for Airplane Mode [video]
Feedly is one of my favorite examples of "small company in the right place at the right time." They had an RSS reader website that was, in most respects, exactly like Google Reader. They also supported easily importing Google Reader subscriptions.

The day Google Reader announced it was going away, me and everyone else found Feedly and said "hey, this is basically the same thing and I can switch easily" and bam, they grew like crazy.

Literally a half million users showed up on Feedly in 2 days. http://blog.feedly.com/priorities-keeping-the-site-up-and-ad...
Most of the time when you crash there is a signal associated with that which can be handled. If you application terminated normally under an error case, then that has to be captured through the same mechanism.
> I don't want to fight with the compiler.

The only time you're ever fighting the compiler in a modern statically typed languages with type inference is when you've made a mistake.
Meh, convenience matters. The alternative to me using a fingerprint reader oh my phone isn't me typing 16char alphanumeric password every time I pull my phone out, it's to not use a password at all.
History:

https://news.ycombinator.com/item?id=13594025

https://news.ycombinator.com/item?id=15272933

https://news.ycombinator.com/item?id=15300173
I knew I'd read this comment word-for-word before. Is this really necessary?

https://news.ycombinator.com/item?id=18795757

https://news.ycombinator.com/item?id=18333727

https://news.ycombinator.com/item?id=17588647

https://news.ycombinator.com/item?id=15127154

https://news.ycombinator.com/item?id=14883557

https://news.ycombinator.com/item?id=14085276

https://news.ycombinator.com/item?id=13962777

https://news.ycombinator.com/item?id=13948427

I stopped looking after the last one, which is almost two years old.
I wouldn't use external SSDs as the price benchmark, since they had a big price premium over an equivalent mSATA SSD back then.

For example, I bought a 1TB samsung mSATA SSD in 2015 for about $320 and it's enclosure for $15. The equivalent SSD today is about $150. So instead of a 3x price decrease in the past 3 years, it's more like a 2x price decrease.
My two batteries were both dead when I pulled it out of my closet last month. Ordered one on ebay, received it, charged it, put it in camera and then saw it come to life again.

Slid in a floppy disk and failed to write to it when pressing the shutter button on the camera. Didn't get it working and forget if I tried to format the floppy from the camera or not, if such method exists?
Haha good point. I'll rewrite this. Thanks!
You should try following the recipe and report back on how delicious the result was. I read it and it sounds like you'd get a lumpy mess if you tried to make it -- not something similar to a maple bacon donut.
I'm not sure. The pattern in the DRAM market seems to have been that only the biggest, most successful manufacturers can weather price crashes while still investing enough in R&D to stay on the leading edge. In the NAND flash market, we may simply not have yet seen any oversupply serious enough to do that, for all that we're in the middle of an oversupply-driven price crash.

It is probably the case that it's easier to stay in business with inferior NAND; Samsung beat everyone else to 3D NAND by a few years but Toshiba still made a killing off cheaper, lower quality planar NAND, and Intel/Micron didn't seem to suffer meaningfully from their first-generation 3D NAND being so slow. Now everyone other than SK Hynix has caught up to Samsung and the number of players in the market is actually increasing.
Complete working model of the Tokyo subway network
Annotate Webpages – Comet
He specifically says "it's that time again, so it's not like he's pretending it's new content.
Rels – GitHub Release Analytics for the Terminal
Definitely look into it, but it isn't nearly as robust as AWS. Automation/DevOps and data streaming/processing are some lacking areas.

Fine if you just need PaaS app + RDB though.
After downloading the mac app and signing up with google I got an email from google saying

Security Alert: New device signed in to my@email.com

This is a concern. How are they doing the signup that google is not recognising my computer? When signing up as there is no redirect to a google sign in page, for all I know they have just created a fake google sign in page and stolen my credentials.
Any "Music Theory" for hackers publications, similar to the ones available on DSP?
Dev Degree – A Big Bet on Software Education
We just started calling them clusters.
Hack Allows Escape of Play-With-Docker Containers
Yarvin's wikipedia page is worth a read: https://en.wikipedia.org/wiki/Curtis_Yarvin
Great point. Complexity is killer in home setups.
> The core of the Dev Degree model is building tighter feedback loops between theory and practice while layering programming and personal growth skills early on. Each semester students take 3 courses at University and spend 25 hours a week at Shopify.

> But there’s also a strong link to validating that competencies are acquired. The partner university allocates at least 20% of the degrees credits for their work done with Shopify development teams. Students write a practicum report at the end of every term (every four months) and submit the practicum report to the university. In the practicum, the student describes how they have achieved specific learning outcomes. The learning outcomes used in the Dev Degree program were influenced by standards from the Association for Computing Machinery (ACM) and the IEEE Computer Society.