skysight-inc/HackerNews huggingface dataset:
I am involved in Proofwiki and I am not mathematician, so I had to learn from scratch what it means to prove things. In one of Numberphile videos Terence Tao said that there are 3 levels of mathematical maturity. On the first level people simply use math language like any other language without paying attention to details, so their arguments quickly become sloppy and ill-defined. On the second level people study maths as a network of definitions and theorems, i.e. people need to understand what are the inputs and outputs of definitions and theorems. This becomes tedious very quickly, because every single logical step you make that is not an identity must be supported by a definition or a theorem. However, after some training people reach the third level where they understand, that some of the arguments can be omitted, so they appear to speak like people on the first level, but now they know what and why they are omitting. I guess you are trying to transition from the first to the second level.

The way I learnt to prove things was to take a book, look at its solutions and try to understand what makes a "proof" a proof. This meant that for each sentence I had to write down which previous theorem allows one to connect arguments in neighboring sentences. Now, it really depends on a book you start with. Some very standard books are actually terrible references for proofs, and finding the right one involves luck. I did not use any actual book about proofs, because no matter how nice a proof for number theory is, if I am working with functional analysis, I need to study proof structure for functional analysis including tiniest lemmas that I could only learn by studying this stuff from scratch.

In your case, I would say that Linear Algebra Done Right is an ok book, but you need to do some extra work. Namely, since you do not yet have a working knowledge needed for proofs, you need to make something like a dictionary, i.e. for a given chapter you need to write out all the definitions and theorems and clearly state what are their inputs and outputs. Once you have this list, given an assumption of an exercise now you can start branching out by connecting all these inputs and outputs. This is the reason why I joined Proofwiki - I use it as a giant dictionary to store such details. To a classically trained mathematician this may sound like overkill - proofs tend to become 2,3 or 4 times longer than what you find in books, but this is what it takes. With time your working knowledge will grow, you will start noticing repetitions in the proofs and you will stop using the same lemma for the n-th time. At this point you will be able to say that you own the second level, at least in some tiny area of maths.

If making the dictionary I presented above is still too complicated, I may provide you some more direct help not constrained by this forum.
Ask HN: What's “The Edge”?
Is it any server infrastructure that responds geographically close to the user? Or should it also be "serverless" and have V8 isolates? Or is it just a buzzword for Deno Deploy and derivates?
It's 7TB compressed. If it's text you'd need about 70TB to decompress it. It's probably mostly images though, so probably not quite that bad.
It seems that men would have a biological imperative to impregnate women, yes?
It apparently comes with a index in the form of a MySQL database that contains title, author, description, and filetype.
> you can only have one job running at a time

https://zuul-ci.org/ and some other systems solve it by optimistic merges. If there's already a merge job running, the next one assumes that will succeed. And tests on merged master + first change + itself. If anything breaks, the optimistic merges are dropped from the queue and everything starts from the second chance only. Openstack uses it and it works pretty well if the merges typically don't fail.
https won't keep your ISP from knowing you visited the site. And the rest of those? For a text-only blog, they seem kinda trivial.
Oh yeah, it’s a cracking story too! A proper journey and what a revenge.

Hope you enjoy it!
I think it's noble to stay in for the sake of your children.
One thought: perhaps it's obvious to you that your wife is ignoring you, but not obvious to her? Maybe she takes your calm, grounded presence in her life for granted and loves you deeply, not seeing how much you are suffering.
I'm curious to know the efforts you've made to communicate your concerns to her? Taking her out for a nice date night, couples therapy?
Perhaps your wife values you and your marriage much more than you realize and change is indeed possible.
Be patient! Take a deep breath......

>> I also get lost when I start searching for a job since all of them ask for a lot of qualifications that I don’t feel prepared for, hence I feel like I have to prepare and prepare but never actually apply for any job since I'm stuck in this "preparing loop" where I don't have a path to follow. I’m lost and not sure what to do or where to start.

Start a work-out schedule: one day apply to 5 jobs (keep a job application spreadsheet and a history of all cover letters), next day work on leetcode, next day work on a project you LOVE (no matter how silly), next day rest. Repeat. Adjust as needed.

If your part-time job is draining your energy to the point you cannot do the above, then you must change the part-time job! The part-time job is only a stepping stone to your better job.
Would you have a recommendation for an easy to use Python scheduler with such a feature for a personal project?
You can also change the prefix (or remove it) to change how the drawings are created. Right now it's set to "Illustration of ". You can try different things like "Sketch of ", "Oil painting of ", "3d animation of " and "Mosaic of ".
I've read that Seal Team 6 was named that to throw off foreign adversaries to think that the US had 6 teams at the time.
> There's definitely some kind of astroturfing at play.

I looked closely at that data (though not in recent weeks) and saw zero evidence of that.

People reach for this conclusion much too quickly when they see a topic (or opinion) they're not fond of showing up repeatedly on the site. That's why the site guidelines specifically ask you not to post these insinuations when you don't have any evidence (and why they ask you to email us if you think you do).

https://news.ycombinator.com/newsguidelines.html
Carbon Mapper is a really great mission that will help crack down on a lot of accidental and negligent releases of methane and CO2. I used to work on this project and there are some really amazing people making it happen:
https://www.planet.com/pulse/carbon-mapper-launches-satellit...
The best thing hydrogen has going for it is that it’s easy to scale up without needing significant increases in mining and processing various minerals.

If you are willing to increase mining, and want the cheapest solution, and you can ignore or solve geopolitics, the “best” solution is neither hydrogen or batteries, it’s to make a several square meter cross-section HVDC loops around the planet, because nighttime winter is never more than 20 Mm from daytime summer and the losses are low enough that it is still worthwhile.

But: you probably still want hydrogen and batteries for the vehicles, and vehicles use so much power that solving transport almost automatically gives you enough used parts to build the storage capacity for the electricity grid, and that even with batteries (and over-provisioning PV, which is fine because of how cheap it is), there would be enough storage for winter.
How does your wife feel about your concerns? She doesn't care?
Wow, that's really impressive! Do you plan on adding support for Golang?
> We will release the data in stages, as we are still processing the files. Right now the metadata file and a few of the torrents are available. Note that the torrent files are only available through our TOR mirror.

Presently, only the first four of several dozens of parts are available.
You don't say? https://gizmodo.com/crime-prediction-software-promised-to-be...
I gained a ton of weight taking a medicine to save my life. Thanks.
It’s only an hour old. It takes time.
You should also take a look at Bottle. It's like mini-Flask, except the library is a single .py file. Great for doing one-off web dashboards, embedded web UI etc.

https://bottlepy.org/docs/dev/
> For a text-only blog

If somebody MITMs it, they can serve you anything they want.
I never know what to say when another parent tells me their kids play Roblox. As I understand it, it's mostly a casino for children, complete with its own currency, and it offloads most of the labor of content creation to the kids and then pays them in company scrip.
I recall trying to work out how on earth we ended up with three drive failures in a 10 drive array literally out of the box and then I started doing some statistics on the premise that 1M MTTF means 1/2M chance of failure per hour. This is the wrong math not but it still illustrates how fast failure rates ramp when you multiply by the number of opportunities.

When you have 10 or 20 hard drives you start seeing failures in months to years. If you have a thousand drives you’ve basically got a full time job replacing drives.

And that’s why you have companies making or designing systems where failing drives are shut down and maintenance is only performed every 3-4 failures. And once in a while ones where you just decommission the entire rack when the faults goes over a threshold.
I imagine all the people on my street parking their zeppelins will be fun!
Partial suite is certainly an option. You can build tools that only test code that has changed and whose changes can have cascading effects on other code (i.e dependent code). Do you know if such tools exist, or would I (as in the software engineer working on the codebase) have to build them?
At some level, maybe not. But the majority of government employees and contractors with secret clearance do use commodity smartphones in their private lives. They might not be able to enter the workplace with them.

It's also not clear how well this is enforced. Don't forget Hillary Clinton was running her own email server as Secretary of State.
To me it's absurd that flying such a short distance apparently was an attractive option (to some) until recently.
I certainly don't see a relationship or kids as an achievement or something to put on my resumé. Anyone who knows me knows how deeply I love my friends and want to share that love with an intimate partner. Anyone who knows me knows how much I care for children and would love to have my own to love.

Why does this translate as an achievement for a resumé rather than a heart longing?
only the destination IP. TLS encryption is inside tcp and around the http protocol.
This is actually really impressive. The documentation site is insanely fast which is usually a sign that it's a well performing framework.
James Bardeen, an Expert on Unraveling Einstein’s Equations, Dies at 83
> I know engineering communities get exhausted by the library churn of the JS community, but I think it's a symptom of real success. A user base this large is going to create noise, but also produce real gems from time to time.

I wonder why this wasn't quite the case with something like PHP, then. It had (and in some respects still has) an enormous userbase, the technology had good enough performance, had batteries included for the most common use cases and was also relatively easy to get started with (being not too dissimilar to the CGI approach of having a request and a response, unlike the Java servlet mess at that time).

And yet, Apart from projects like WordPress, Symfony, Laravel and maybe a few others, it feels like it didn't ever get quite as popular, at least from a project/tooling perspective. I mean, XAMPP was nice and the entire LAMP stack worked well for typical configurations but things just kind of stalled there, maybe as other options came along.
Activate the ILS landing system. Recalibrate sea level - minus 200 feet.
Hmh; so, generally, the retreat is called something like "Ignatian Spiritual Exercises". I did it in Poland, my home country & language, so don't have data for any other country/language, but I'd say maybe try contacting your Friendly Local Jesuit Priest (tm) ;) As to books, I bought a few after my most recent retreat, but haven't really tried reading any one yet :P Um, there's the original book by St. Ignatius, but it's from a very different time and mentality, so be warned; the priests themselves emphasize this disclaimer often, and they certainly refined the method over the few centuries; though some quotes were timeless enough that they're still used verbatim. I guess you could maybe also try researching the topic on the internet, but I have no idea if you'll be able to easily find anything not aimed at advertising to the faithful and emphasizing this aspect. That said, now that I think, if you'd be able to find some actual materials for Jesuit priests (if such even exist - but again, try asking your friendly neighborhood Jesuit maybe?), those could be interesting; I seem to have found the guys very down to earth, and they clearly had psychological and pedagogical background - at least those leading the retreat. I don't feel they would try to be hiding anything, just probably assuming nobody sane is interested in studying the stuff if not assigned to be a retreat leader. Again, assuming such materials actually exist outside seminary lecture notes. But given that IIUC every (Caholic) priest is mandated to undergo the Exercises during their education, I would guess literature like that might exist. But you might find more if you try to research yourself vs. me randomly speculating any more, given that I don't seem to really care too much about that as of now :P
To be fair, Z-Library doesn't charge unless you want to download more than 10 books per 24 hour period. That's per account and although they ask you not to open multiple accounts they don't seem to do anything to stop you.
Just because I say I'm wealthy and attractive doesn't make it so.
Their initial campaign was to blitz the entire country and was shown to be overly ambitious. Since then it appears they have scaled back and changed their strategy towards securing the eastern portion of Ukraine, which is what is happening now and has been fairly successful.

Essentially none of the news outlets have provided good coverage on what is happening, because if they did it would reveal how poorly the western powers navigated this, and how much of a disaster this entire thing has been for Europe, irrespective of its effect on Russia.
I think a lot of the adoption of git in the industry at large is in _spite_ of its distributed nature - it just so happens that the decentralized design made it care much more about branching and merging, and it got adoption because even for a small local team those improvements over SVN were worth the pain of dealing with git's UX warts.
It's out of control it seems. Food especially.
Sure, we can change it. Too late to make a difference, but might as well.
Until ESNI becomes mainstream (and browsers offer the ability to enforce it), the domain name is also sent out in plaintext.
I too wonder about the way good drivers anticipate circumstances and prepare themselves to respond. That might indeed be hard to replicate.

But then I realized that detecting these kinds of patterns (kid chasing ball, car next to you that is stuck behind a slow driver, bumper to bumper with a merge approaching, etc.) are precisely what machine learning is good at.

Arguably it could get better at it than any human because it draws not just on the situations one person happens to have encountered in their lifetime. Rather the model that gets uploaded to each car is built from the experiences of millions of cars on billions of miles of driving taking place (eventually) over decades.

Perhaps at some point the quantity of relevant data more than compensates for the greater reasoning and fluidity of a human brain.

It’s hard to know until someone’s tech actually gets there…
https://web.archive.org/web/20220701204054if_/http://pilimi....
Also, as the article mentions, “orange juice” is not the result of taking some peeled oranges and squeezing them, like you might find at the fancier grocery stores. They are concentrated, evaporated, adulterated, and recomposed many times, so every bottle of a given brand tastes, looks, and feels exactly the same (oh, and is chilled-stable for like a month). All using _components_ of oranges, of course, but it’s only “orange juice” in the sense that Frankenstein’s monster was “human.”
I recall trying to work out how on earth we ended up with three drive failures in a 10 drive array literally out of the box and then I started doing some statistics on the premise that 1M MTTF means 1/2M chance of failure per hour. This is the wrong math, but it still illustrates how fast failure rates ramp when you multiply by the number of opportunities.

When you have 10 or 20 hard drives you start seeing failures in months to years. If you have a thousand drives you’ve basically got a full time job replacing drives.

And that’s why you have companies making or designing systems where failing drives are shut down and maintenance is only performed every 3-4 failures. And once in a while ones where you just decommission the entire rack when the faults goes over a threshold.
yet another reason why vertical farming will become the future.

Build the vertical farms in cities and skip the CO2 intensive process of transportation from the traditional farm to the grocery store/distributor/farmers market.

Imagine living in a building where a vertical farm exists below grade. Retail, restaurants, and bodegas on the street level. Finally, residences and commercial in the upper floors.

Literally straight from “farm” to table.
> As I understand it, it's mostly a casino for children, complete with its own currency, and it offloads most of the labor of content creation to the kids and then pays them in company scrip.

From what I understand, it's a sandbox which does encourage/facilitate those things, but is a flexible sandbox used in other ways as well. It seems generally toxic though, I've heard they've nurtured a culture of children bullying other children for having default/free skins and cosmetics (parallels to the fashion industry at large...)
Great question! We do use huddles sometimes, especially when a Slack thread starts to get too deep. They're wonderful for pairing on problems. I'm sure we could migrate to huddles for standups if we really wanted to, there's just more momentum in Zoom meetings.

But I will say that Zoom integrates nicely with Google Calendar, offers video, and like you said has a higher limit.

We're also experimenting with doing standup three days a week so we can have less time spent in meetings each week.
You can also change the min/max summary length, which is defaulted to 0 and 60 respectively.
India bars Pulitzer-winning Kashmiri photojournalist from flying to France
Tyler Cowen's 101 on discovering talent
abortion access in ohio is bad enough that people had to travel anyways regardless of recent rulings

- - -

> Republican governor Kristi Noem of South Dakota, mentioned as a potential running mate to Donald Trump in 2024, told CNN’s State of the Union on Sunday that she found it to be “incredible” that “nobody’s talking about the pervert, horrible and deranged individual that raped a 10-year-old”.

What happened to not giving fame/power to the criminal?
I'm actually building something like this this year. I will likely be open sourcing it so you can build your own as well. But it's worth spelling out _why_ you want that limited functionality set (i.e. threat model, if that's your driver). There are scenarios where you can decouple your physical location and still Tx/Rx text messages, but with some limitations and caveats. But if you are fine with carrier tracking (and everyone else they sell that data to), it may be pretty simple to build yourself today. Ping me if you'd like to keep up with the project or want a data dump of my research thus far.
The Vibecession: The Self-Fulfilling Prophecy
> https won't keep your ISP from knowing you visited the site

If you use DoH, yes it does. Unless I'm mistaken. They only know the IP address of the remote server.
“Become Default Essential” – How to navigate downturns as an employee
That's an interesting take that I didn't think of. I think the burden on having a cloud-based development environment on ops teams will be non-zero though - some set of individuals (or a dedicated team) will have to maintain these very beefy hosts of your code that run the tests for you.

That said, I'm not against the idea in principle if access to the internet is guaranteed and constant. In some places that I'm in, internet access is shoddy or just too slow for this kind of thing, and my preference there would be to work easily on a local machine without access to the internet.
So things that can look like anemia can be other things! Case in point, my wife was misdiagnosed for months with Anemia. What she really has is several tick Bourne diseases. For 5 months her doctors kept giving her blood transfusions as he hemoglobin reading was around 4-5 and it should be 12-13 for a normal person. Can't tell u how many specialists and emg room visits. Finally found a female md that listened to her and gave the approval to do a comprehensive tick panel. Sure enough rocky mountain spotted fever, erlicheaosis, recurring Lyme fever and regular old Lyme. The blood they were giving her was basically like throwing gas on a fire. Almost was ready to make funeral arrangements. Let me say tick diseases are going bonkers and a lot of people don't know they have it. Plus a lot of doctors won't believe or authorize tests. Advocate for yourself or you might die! Not kidding !
this makes no sense, because the reason US school shootings get press is because they are a. a very American phenomenon and b. easily stopped hy policy change. breast cancer can't be reduced by simply making cancer cells illegal, but shorting can stop by regulating guns. this is a very bad take on so many levels.
You don’t need to copy and paste your reply everywhere it’s relevant on HN. Even us flea brains can carry your remarks in our head and apply them to similar comments.
HN pinoia aside, it was a pretty good one.

However I doubt that a civilization that has survived long enough to invent some (local) sort successful space travel would budge.

There are two extremes that would bring balance: mutually assured destruction (but the power comparison must allow for a delicate balance of terror to be believable on both sides); or a mutually beneficial alliance (which can work with a well-meaning advanced civ encountering a less progressed one - the “there there’re, little one” case).

That being said, I’m not convinced that searching for universal others isn’t a dead end. But even if it is, it sure can stretch our understanding a bit.

E.g. look at the Kardashev scale, with which we can sort of stretch imagination and think of Dysom spheres instead of solar panels.

I mean, even if we don’t find aliens, with a roadmap like Kardashev’s it won’t be (too) long before we become the aliens many of us hope for/aspire to.
So, if I get it right. First there was Libgen, which is mirrorable. Then, some Z-Library copied Libgen and added some more books, without making it mirrorable. The goal is to make these new books, which are not mirrorable — mirrorable (i.e. to "preserve" them).

So, why not just re-upload them to Libgen, then? I guess somebody will do that now anyway, but you could easily done it in the first place, without making your own mirror, which is not a mirror of Libgen. Just upload them to Libgen and make a mirror of Libgen.