skysight-inc/HackerNews huggingface dataset:
Fair points, but you are minimizing the important detail that mathematics is also a social activity, and so any argument about what constitutes mathematics should be viewed with that in mind. Mathematicians are interested in math because they want to understand things (meaning they can construct abstractions and develop logical lines of reasoning that fit within the limits of human cognition), so that they can develop new concepts and utilize existing ones in novel ways. Using a computer to prove a theorem allows you to add to the ledger of "things that are true" (which certainly has value, like you mention), but unless the proof is understandable, you don't harvest any of the other fruit that would normally come over the course of proving the theorem "the natural way" (new abstractions to ponder, new conjectures etc). I would argue that Mochizuki's "proof" occupies the same territory as a 100 GB formal logic proof generated by a computer, if the end result is that the proof is not communicable in a way that other mathematicians can relate to.

I'm not against creating machine generated proofs. We just shouldn't pretend they have the same status within "mathematics as a social construct" that a human written proof does.
Who is signalling virtue, and who are they signalling to?

When I take batteries to the recycling center, that's not something that my friends typically hear about.
I can scarcely believe that EROEI for biofuels is negative. Can you provide source for this?
This is a really poor article. It's basically looking at spec sheets and current prices to determine the "best" drive. There doesn't seem to be any empirical testing whatsoever. They also seem to recommend product lines that are significantly pricier. eg. their "High-Capacity Desktop" recommendation is "14TB Seagate BarraCuda Pro" for $515. Is that really better than getting a 12TB easystore for $190 and then shucking it? The cost per terabyte of the easystore is less than half, and I really doubt that the recommended drive would last twice as long. Also, despite the article being less than 2 days old, most of the recommended drives are either not available, or available at significantly higher prices that listed.
yeah, it is. I get that they have oil, that doesn't explain the fascination. I could see an attitude of necessary evil, but a lot of americans think the saudis are some kind of beacon in the middle east.
Do you want me to just defer to random internet person's viewpoints instead of my own experience. Is that how you live your life?

The facts of the matter are that empirically women in SA are not even on the same plane of existence as women in the US, regardless of the fact that true gender equality doesn't exactly exist in the US. Evidence of such is in the article for this HN post, which is "women are allowed to play video games now"
Spoke about it with the better half with H.R. experience, and she thinks it'd be more likely that some other reason would be behind it, but they weren't willing to commit it to paper.

I have to wonder about all the Hsu's, Ngo's, and everyone else out there if it's really the case.
> never use “infinity” as a default timeout.

Never say never. What can be tuned in the system (obviously relevant only for server software) is better tuned there unless you really like (re-)negotiating tuning options with ops.
Or Facebook. I use Twitter for doomscrolling, at least it has real time info. Facebook has been utterly useless for years now.
There is an overworld you drive around with various races you can enter, some of which are locked off until you've accumulated enough wins.
The problem is this will make your site unusable for people on slow connections. Some people have internet connections that take seconds to connect, and nothing the site does can make that faster.
Miryoku: A literate firmware keymap in org-mode
My last serious boyfriend was Iranian. He treated me with more respect than any American man ever has and Farsi, like Japanese, only has a single gender-neutral pronoun. He had nasty, filthy sayings about sucking up to women in power equivalent to standard sayings I already knew for sucking up to men in power. I had never heard the equivalent in my life.

Knowing him was a huge, huge personal growth experience and helped me figure out how to stand up for myself and insist men not shit all over me every single step of the way in life. Which is probably one of the reasons I appear to be the highest ranked woman on Hacker News.

So I do have some insights into how women get treated in the Middle East. And before anyone jumps up to tell me my last boyfriend must have been some kind of statistical outlier, that's the same BS excuse people are making in this same discussion for American women who get treated like property in some parts of the US.

It amounts to "La la la not listening. Don't confuse me with the facts."

Certainly, there are differences. But as someone who is still suffering terribly the consequences of having been born female, I find it personally galling for people to act like I'm some kind of loon for pointing out the differences aren't as dramatic as we want to imagine.
Yes, but it should somehow relate to the original post.
That report is about users that willingly install malware.

If you're arguing that iOS should prevent ignorance too, then by that logic it should prevent users from receiving emails because of possible scams.
Retrying doesn’t help on a slow connection... if the best case connections speed of your user is slower than your timeout, you can retry infinite times and it wont help.

Maybe increase the timeout on retry?
Whats the deal with the 12TB Easystore?
Or the Jeffrey Dahmer Cooking Hour.

https://www.youtube.com/watch?v=VnI4dIvWXNA
Your need for utility will mostly likely be met by a symbolic algebra system not a formal reasoning system.
Sure, but extremely few of them. And more importantly, it's generally not socially accepted at all, compared to countries like Yemen and Turkey, where this harmful practice is quite normal.
Do you want me to just defer to random internet person's viewpoints instead of my own experience. Is that how you live your life?

No, I want you to follow the guidelines for HN of being respectful. Or do you think that somehow doesn't apply to me for some reason?
The daily lethargy may be low grade covid isolation depression. Most of my regular social contacts ended six months ago. I am not dysfunctional, but less productive. Summer outdoors helped a bit.
Apple indeed created new wealth by developing iOS and the App Store. Then, once they owned the market, they started exploiting it by adding new restrictions. The restrictions had no economic value, they're simply there to allow Apple to extract their unfair share of the value created by others.
My university straight up blocks any mail coming from a SendGrid IP because of the massive amount of phishing.

What would be a huge UX and security improvement is showing which team members are using 2FA. Just like GitLab shows a little blue label next to the username.
With sites like this, it's usually better to pick one of the more interesting specific articles and post that, so there's more detail to discuss. If you just post the home page, the quality is a bit like when people posts lists [1]: the only thing to discuss is the lowest common denominator of the things in the list, which is usually pretty generic, and when a topic is generic there are fewer interesting things to say about it [2].

[1] https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

[2] https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
You only get 250k of tax credits, and both Tesla and GM have already used them. Ford still has some.

To make money with EV you need to produce way more then 250k of cars, so you can absolutely not relay tax credits to improve margins.

Also, Tesla is now competing successfully without tax credits against many companies who still have theirs. Tesla is actually making a pretty good 20% automotive margin, and that is with Model Y still being a small part of sales (and we know that Model Y has better margin).
The "not having equal rights" is euphemism too, it makes it feel like western 1950-1960 when women still had significantly more freedom. Inability to leave makes big difference.

Especially when limts are enforced by police prisons and both state and private violence.

It is hard to distinguish from ownership.
That's very true. Another related phenomenon that improved my typing speed is games that require execution of a lot of complex actions very quickly. Playing them competitively essentially forces you to master random access to your keyboard. In StarCraft, after grokking the core mechanics, your next primary improvement would be raising your APM (actions per minute). In terms of an OODA loop[0], most players are constrained by the Act part. So if you wanted to win, you had to master the art of issuing keyboard+mouse commands at a rate of 3 per second (= ~180 APM, which isn't even progamer level).

--

[0] - https://en.wikipedia.org/wiki/OODA_loop
This game is pretty charming and fun. My young kids love it, and it's great to play with them. It works with my xbox 360 usb controller with no setup required.
They do specifically discuss "shucking" the drives from USB enclosures and recommend against it. I do wonder how well this list compares against the reports from Backblaze.
Parent comment talks about killing by rioters. You just tried to substitute the topic.
Write Code as If You Had to Support It for the Rest of Your Life
> Usually the manufacturer has them

My experience with this has been terrible for e.g. circular saws & power drills, to name one example.

I had a part I needed for a Makita circular saw & Black & decker power drill. In both cases buying every replacement part would easily cost 10-20x of the retail price of a new saw or power drill, compared to maybe 1.5-2x in the case of a modern phone. The aftermarket for OEM car parts is similarly brutal for most manufacturers, but for some happy reason phones are the exception.
From the same author, the evolution of trust, https://ncase.me/trust/
What should the US do instead?

The last thing the US needs is more enemies around the world.
The worst mistake a lot of people make is put stuff on a backlog aka procrastination. If what you want to do is worth doing then do it today.
عکس پروفایل عاشورایی 1399 – عکس نوشته های عاشورا 99
That's one way to look at it. The other way to look at is is that it takes more than a couple hundred years to shake off the expectations of societies with fairly rigid class systems.

Any plumber (or other blue collar tradesman who is in business for themselves) at the end of their career can have a million bucks in assets. A house, maybe a vacation house on a lake, a fleet of <10 cube vans that ranges from clapped out to brand new, it's not hard for that to add up to a million bucks in personally owned assets. What most people will never have is a million bucks in their checking account.
Western men "kick the living crap out of" women who speak their mind like that? And tell her "to STFU"?

I think you're confusing the West with countries like Saudi Arabia.
> I think the most dangerous distractions are the ones that feel productive but don’t actually work toward your goals. For example, browsing hacker news.

Browsing HN has never felt productive to me. At times useful, entertaining, informative, thought-provoking, and at others less so, when it can seem annoying, repetitive, pointless and so on. But never "productive".
Arangodb has always been the db that I always keep checking back every few months. I love the idea and using it has been a peach so far.
This is a very underrated db and I wish more people can get into it.

To me, its best bits are;

1. AQL - I absolutely adore AQL- the query language that you use in Arangodb. I haven't seen anything like it so far and it was somethingI could pick up in 5 mins.

2. Multi-modal - love the idea of being able to use the same db for graph and object based data. With the new search and other geo features, this bit has become even more tempting.

3. Orchestration - ability to have self healing clusters of db nodes makes the overall backend super redundant and safe. and also helps with latency by enabling me to have a node in each region that I want to optimize for.

Despite all this, I almost always end up going for Postgres for my personal projects.

Coming to the negatives, for me the biggest missed opportunities are;

1. Not providing a free tier for the managed service. I really would want to use the service for small toy projects without worrying about a time limit. All of the managed service providers have a free/community tier and without it, I don't see their service succeeding.

2. Foxx server-in-db
This one pains me so much. I feel Foxx is the killer feature thay have that can push them past Postgres. Having the web server and the db in the same node makes architecting the backend so simple. But Foxx really isn't designed with developer ergonomics in mind. Issues that i opened years ago are still open, without any major update which would make developing in Foxx less than a chore.
I would drop other web frameworks+dbs in a heartbeat, if Foxx was easy to develop in.

3. No Jepsen report. No techempower entry for a Foxx+arangodb backend. No realworld backend app using arangodb. No major independent benchmarks.
That's exactly what's fascinating about it. It's totally different from the American day-to-day experience.
I think this effect is tough for anyone tuned to care what others think, and it tends to be rougher the younger you are.

There's a significant lack of guidance in WEIRD societies about how to be a person, and this is topped off by the limited maturation rituals: learning to drive, first full-time job, graduating and buying a house come to mind - but we've somehow come to a consensus that putting a giant paywall in front of them and creating dependencies between them is fine.

Putting it like that, it's no wonder that so many young people are staying home, whittling their time away on scraps of "advice" on how to get on in life.

I've come to pity people who plug such "productivity" advice online, because I feel like they must be suppressing (or missing) an idea of the Good Life: a notion of using one's actions, or speech, to contribute to the common good.

I'm hopeful newer generations in the West will have the nous to reject false idols like "productivity" or extreme wealth, but I think it's on us to expose the painful lessons learned as we're transitioning into a cyborg society.
They regularly go on sale for $180-$190[1]. Inside are whitelabel WD drives. Sometimes they're even helium and/or enterprise/NAS drives.

[1] https://slickdeals.net/newsearch.php?src=SearchBarV2&q=easys...
Just curious - Apple's 30% App fees have been around for over 12 years. Why in last couple of months there is a huge uptick in bashing Apple for this? Literally, every day there is a story about this on HN.
> as if that was some counter argument

Not exactly, no he was not.
CVSS being used as a basis for bounty payments is certainly evidence that it is taken seriously. Of course there are details that have to be factored in after that calculation, since CVSS is simplified for general usage.

I'm not aware of any programs on HackerOne that don't follow this practice, so it's not "super uncommon".
It's like the old saying goes: if you buy Apple, you're not the customer. You're the product, and they'll sell you to Facebook for a 30% commission.
Companies should support open-source through their developers
Am I missing these wieldings of "useless"? Aren't there intangible experiences like morality, logic, therapy, etc.?
The truth nobody wants to hear is that you can recycle all the batteries you want but the planet is still fucked.

Live in a small home/apartment, don’t eat meat or dairy products, don’t drive or fly in planes, and don’t have kids. That’s how someone who lives in a modern developed nation can “do their part” for the planet. I live that way but almost nobody else is willing.

Wringing your hands that batteries get thrown out instead of recycled is like complaining the toilet is running when the house is on fire.
I agree it's not a great article. I wonder though - is there sufficient data out there to make a good article with the same title?
I ran some experiments with GPT3+proofs. You can read about it here: http://serendipityrecs.com/blog/posts/experiments-with-gpt-3... I wasn't able to get it to return anything interesting but I also didn't spend a lot of time refining the approach (this was just a series of quick and dirty experiments, ultimately I identified recommendations as a good use case for GPT-3 and started building a product around it.)

I think it will be interesting to use GPT-3 in conjunction with existing automated/machine proof techniques. Since GPT-3 doesn't "know" anything, automated proof systems can help the system stay logically consistent.
It’s rational to avoid the bet. The proportion you stand to lose is more than you stand to gain. +50% and -33% would balance out. Interesting that some simulations were picked that showed growth at all, I’d expect net growth would be negative in most simulations at any point.
100% agree. One of the first things I do when taking over a decent size sales team is install tracking software on their machines. Not because i care that they are on facebook or CNN but so i can SHOW them they are not nearly as productive as they think.

My personal theory backed only by my own professional history is that most people are only working about 3 or 4 hours a day, tops. Certain tasks like writing code or authoring content cannot be time hacked; it takes the time it takes. But I joke that I never worked LESS than I did once I became a VP and had very little tactical work to do. Most of the workday in many fields and sectors actually doesn't take all that long.
I was Director of Community Life for the oldest set of gifted support email lists on the internet while I was a homeschooling parent. It was common knowledge in those circles that the best way to improve typing speed for kids was to encourage them to get involved in things like online games.

My son was already a gamer. He hated his typing program. I told him he could quit doing practice typing as one of his assignments if he exceeded 35wpm -- which is my typical typing speed and I had a typing class in high school and can type about 60wpm when I am focused and yadda.

I also told him online gaming was a known way to hit a better speed and that's likely a factor in him going that route. He was gleefully happy to give up typing practice as one of his formal lessons.
Ben Melkman – Hedge Fund Manager’s View on Asset Prices – SVIC Interview
> But this christianity is not forced by law and leaving the group is legally and practically possible.

Reproductive choice is a glaring counterexample to this. Even women's employers get a say, there.
That's simply not true. The kinds of statements that are unprovable aren't "intuitive". Gödel provided an algorithm for creating them!
I keep thinking this does not bode well for California. As more of these software companies embrace work from home, we may see an exodus of high paying jobs leaving the state for locations that are cheaper and better run. California currently gets a large chunk of the state budget from income tax.
That's actually good. Sendgrid & the rest are excluded from the paranoid gmail, m$, etc spam filters, while small senders suffer from being sent to spam immediately.

There should be no exceptions.
What do you mean 'biologically'? Genome? Epigenome? Wings?

I bet some of those differ a lot (hint: not wings:)

We don't exist in vacuum: humans live among and with and as hosts for other creatures, and there is also environment that literally plays most important role.

> I can identify with the Seneca quote, mainly for it's perspective that time is a resource to be spent, and potentially invested.

Yeah, everything can be awesome in theory with little word or number massage. In real life, its usually not.
Sounds like some regulations are needed around high-value substances that are recyclable -> needs to be 'extractable'.
Mmm, hmmm.

https://news.ycombinator.com/item?id=24317792
The New Yorker and wasted time go hand in hand, don't they? I think they fail to see the irony publishing the story (and yes I recognize I'm wasting time by reading it). The author is not an 'artist'. People are what they do, not what they call themselves. What this author 'does' is lounge around and waste time then complain about it and call it artistic expression. Good luck with that strategy.
The presentation was in general about Neuralink. You had 1 question about security and the guy gave an 30s answer saying it is very important, they are doing it from ground up and try to bake in security from the beginning. He mentioned one example, of seperating BLE stack on a hardware level. Seems like a reasonable answer for a Q&A of this format.

Neuralink has actually no responsibility to tell you their whole security architecture. They are presenting this for recruiting and showing the public some of their progress.
Okay, which major car company is putting in auto pilot features in their cars today (as in, if I go out and buy this car I’ll have it today).

Open to being educated here, and I’m hoping the answer is ‘a couple believe it or not’.
You are describing (some of) physics, not math. Most of math is already far beyond human physical senses, and theoretical physics largely is too.
A New Approach for Curbing College Tuition Inflation
Can the ‘Centenarian Olympics’ help you live longer?
> It's not uncommon for new grad SWEs to complain that an 8-hour work day is somehow consuming 100% of their weekday hours.

I don't know man, I've been struggling with this myself. Obviously it's not literally true, but the problem is that after you account for 8 hours of sleep, 8 hours of work and chores/eating/hygiene/cooking/commute, every thing you want to do starts seriously cutting into the time that's left.

Need an hour more sleep than average? Wanna do some kind of workout on regular basis? Go out with friends, on a date, see a movie? Have a serious hobby that takes 2-3 hours 2-3 times a week? If you put it on spreadsheet it will fit but it's just seriously exhausting (yeah, better hope you actually have pretty high energy levels, that also varies from person to person). There is not much slack there.
When Retirement Comes Too Early
2 Covid vaccines need ultra-low temps raising storage and distribution questions
I have no reason to believe these Q conspiracies but I understand why people believe them, when we know about all the past shady activities like COINTELPRO, MKUltra, WMDs in Iraq, all the involvement South America, NSA spying, etc.
write requires a length, it’s not specifically designed for working with strings like printf is.
Human education hasn't reached to the level that people understand pain and productivity has zero or negative correlations.
> Discussing dangers of possible long-term health effects of contracting COVID-19? Fearmongering.

The problem is throwing out unscientific speculation with zero evidence - that is fearmongering. HN is held to a higher standard.
Relevant as in for the current topic.

Not relevant as in influence. Bugs influence me too, but its not relevant most of the time.
The free market is your ability to pick up your toys and focus on Android. That's not a commentary on whether Apple is right or wrong, mind you, but there's no questioning it's their platform.
GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem?
> I don't think Epic is doing anything but trying to pocket more for themselves

I agree this is the best cheapest advertising Epic has ever done !!!
Yes, time for GMail et al to block them or admit it's just more anti-competitive nonsense.
Does this work if you mprotect a read-only region writable?