skysight-inc/HackerNews huggingface dataset:
With respect, I find your point of view "oddly narrow-minded," and not representative of what most mathematicians think about these issues. Taking these points in order:

1) I haven't written anything about constructive logic because I don't care for it, and other issues seemed more interesting to discuss. Further, the law of excluded middle has a robust presence in modern mathematical practice. A foundational system without LEM essentially by definition cannot replace ZFC for the purpose that ZFC is used for within modern mathematics. I understood the discussion to be about what should be used to ground mathematical practice.

2) "You have opinions about what you'd like from foundations." Not really. Rather, there are different goals one might want a foundational system to achieve, and we can discuss the merits of systems based on how well they meet our desired goals. I have already said, for example, that if your goal is the practical formalization of complex proofs, then type theory might very well be suitable for achieving that goal (as demonstrated by Lean).

My objections in this thread have always been that HoTT proponents are not always precise about what goals they want to achieve, and why they think HoTT is best for achieving them. That is true even if I don't care for the stated goals.

3) "They are dogmatic and are not the opinions of those mathematicians working on foundations. Those mathematicians are interested in constructive logic, computability, the computational meaning of mathematics, replacing sets with topological spaces, replacing sets with objects closer to mathematical practice, etc." The work you've just characterized is not mainstream within the community of mathematicians working on foundations and logic. Go look at what gets published in the Journal of Mathematical Logic, for example. It's just a sociological fact that the constructivist stuff (in particular) is somewhat niche (outside of say reverse mathematics, which is different than what you noted). The views I express are fairly widespread, though I put them a bit more sharply than others.

Here's a question to illustrate this point: Who at an R1 math department works primarily on the issues you mentioned? Who got hired or got tenure on the basis of this work? I can't think of anyone off the top of my head. There are at best a few topologists who got hired for their topological work who branched out into these things later. I don't doubt that if you search you can find a handful of examples - but that number is going to be much smaller than the equivalent number of people doing "classical" set theory and logic.

4) What's so wrong with not wanting the univalence axiom in my foundational system? Or thinking that this axiom is in fact a negative? It's not very ontologically primitive, after all.
It's interesting to see the efforts to lock down our once permeable borders succeeding in recent decades. It seems that for much of our history we had no issue with free passage across, but we have in my lifetime used the politics of fear to militarize our borders. Obviously some will disagree but this seems to me a regressive change.
Blowback seasons 2 & 3 were both great. If you're into history at all.
"Because a religious group in North Carolina did that, the power station powering the town with a drag show got shot up, "

[arrest report needed]
> Considering M1 is directly derived from the SoCs that run the iPhone & iPad, Apple already did a complete 180° from how locked down their mobile platforms are.

That's why it's to easy to run any OS you like on Apple hardware, isn't it?
Wow, that's one heck of a visualization indeed. Is that based on the CO2-equivalent amount of coal or based on the amount of coal actually used in the USA grid? (Not saying that the former is 'inactual' or whatever, just to understand what this figure means.)
Why didn't you use varnish for that?
It was a very nice gesture, thank you for this!
Do you mind sharing how much?
If you have any children, I'd highly advise against it. I grew up near Detroit before my family moved into the middle of nowhere, and living out there was more developmentally stunting than anything else in my life. Having nowhere to go and nobody to talk to is a pretty huge roadblock for anyone's personal development, let alone a child living out their formative years.

Now that I'm more traveled I can understand the appeal of settling down away from everything, but I'm not sure if I can recommend it long-term. Maybe try moving out to a smaller town or village and seeing how that suits you.
Google removed my Yubikeys from a Google account 'just to be safe'
I've done it three times. Once on Three acres, then with my wife on 80 acres and now we have downsized to 2 acres.

I could talk ALL DAY about the +/- but youll never know till you do it.

Can you pull a dead fetus out of a sick goat at 3am in the middle of winter? I have. Can you load a full size pig with an injured back foot into the back of a truck, probably not but I've done that too.

Do you like living around animals that could kill you if you look at them wrong? A bull is absolutely nothing to fuck with. Do you want to be 15-30 minutes away from the closest gas/food/hospital?

I say do it but to be honest, most people can't, won't and don't want to even HEAR about the realities of farm life let alone do it themselves.
I think a lot of it is the high intelligence of crows. If you feed say, wild deer or other animals they become dependent on humans to survive or end up sticking around human areas. Crows are already everywhere and their intelligence means that if the food source stops, they can still just do their thing. It doesn't disrupt the ecosystem though it can make them into an annoyance for neighbors.

The more we learn about crows, their behaviors etc the more we realize that we severely understate their intelligence with each new finding.
The ship is still being built and will set sail in 2025. What is the chances that this Reality Labs employee who plans to remote work from a boat permanently is still going to be employed by Meta at Reality Labs in 2025? Seems like a bit of a long shot to me.
Your statement is subjective as well. /s

Here are some criteria for beauty and why it is objective: http://www.paulgraham.com/taste.html
Most people in the US aren't used to car-free cities unless they've traveled abroad. It's not something you realize until you experience it first hand.
Same. Years ago I found that thanks to the gymnastics Facebook had done in notification settings, I could no longer stop many of the notifications I didn’t care about - so I shut them all off, FB Messenger and all. Since then I open Facebook maybe once a month.
I've been experimenting with https://kagi.com/.

For technical questions, they prioritize official documentation and SO. They don't serve you all those copy-pasta blogs that plague Google results.

For product reviews, they prioritize reddit and other forums by default. It's still far from perfect, but at least they're trying.
2035 is the goal for carbon free electricity only.
Are you sure? I just checked my device, and while all notifications are toggled under a catch-all "notifications" category, I am able to customize this from within the app, and shipment notifications are their own category.
Thanks. It was a bit scary the first time, but they keep their distance. No resident crows in this grove, afaik.

Sometimes I wonder if I'm already being recognized as "that weird tree guy", even on the ground, and what it would take to test that.
"In either case, he's definitely better known as a thought leader and rockstar developer rather than an effective executive, I suppose"

Yes, this is what I mean.
I've seen a woodpecker (I think it was) and a crow combine to challenge a falcon, in Edmonton repeatedly; although not in the air. The competition was for tree tops in the ravine and lasted a while with the smaller birds zooming up to harrass the sitting falcon then diving down to lower perches the falcon had trouble getting at. Eventually the falcon had enough and left.
feels like a variation on Andreessen’s perspective that the market matters most in startups

https://pmarchive.com/guide_to_startups_part4.html
Linux takes backward compatibility very seriously. The FOSS ecosystem as a whole has the whole spectrum, so the bad apples break it for everyone.

The result isn't even "fuck you, recompile." The result is, "fuck you, you better be constantly fixing the shit that we broke with our breaking changes."

This is part of the value that distros bring to the table. Providing a snapshot of versions that actually interoperate well.
Looking at Google Maps it appears several other buildings in the area also straddle the border. The reporter mentioned an insurance dispute in passing, but it would be interesting to have more details on how it all works from a legal perspective. Presumably they get two different property tax bills. Are two different building codes enforced depending on which part of the building you're in?
I'm no expert, but it doesn't hard to come up with a reason for that. I'm sure every team thinks that their notifications are the most important, and they are all trying to prove the worth of their own section. Put all that together and you end up with a lot.

At that point it takes someone with both vision and decision making authority to say say.. nope.. They have to be specific about which ones are too much.
not any more odd than getting sense of the world from from reality dating shows.
So a sudden 40% loss in hashrate could substantially impact & lengthen the 10min/block rate, unless there's quite a bit of excess capacity (equivalent to 40%) that could be brought online in response.
When this came up yesterday, at https://news.ycombinator.com/item?id=34130864 , I pointed to an article by Nancy C. Knight, "No Two Alike?" in Bulletin of the American Meteorological Society, 1988. https://journals.ametsoc.org/downloadpdf/journals/bams/69/5/... .

> Figure 1, a photograph of actual snow crystals, not replicas, illustrates a striking example of two snow crystals which, if not identical, are certainly very much alike. ...

The two very similar snowflakes are in the bottom center of figure 1, side-by-side.
Mmmm. 12 Years of Norovirus. Sounds like fun.
Hi HN. I posted this here because it seems to be the best way to get someone at google to look at something.

To preempt some comments along the lines of "why are you relying on google in 20xx", I try my best not to these days but I still rely on them to forward emails from my old accounts, or for services like youtube where you must have a google account for full features.
Same here. I've turned down jobs because it's not worth the pain. I would take one if desperate, or if offered sufficiently more, but, but thankfully few places require much Python for the kind of jobs I'm interested in.

Ruby was fast enough for me to do what I needed with it already in the 1.8.x days. Every improvements since is gravy.

A handful of times over the last 16 years or so I've needed to dip into C extensions for the performance I needed; but in those instances Python wouldn't even remotely cut it either.
GPT-J specifically was written using Google Cloud's TPU stuff.

https://github.com/kingoflolz/mesh-transformer-jax/#gpt-j-6b

They even have a google colab notebook thingie. Not much setup needed, just an account.

https://colab.research.google.com/github/kingoflolz/mesh-tra...
Have You Tried Homesteading?

Yes and no. I am not entirely off grid. I have surprisingly reliable electricity and even have fiber internet thanks to a government grant. My goal was not to homestead but rather I have goals that require a rural property where building codes are not highly restrictive and where I can have enough land to be off grid if it came to that. So my goal was not to homestead but rather to be independent and some day have a large steel barn that will have climate controlled space for chickens and enough land for solar panels, horses, chickens, maybe an insulated geo-thermal greenhouse. My to-do list is rather long and finding resources locally even for materials is problematic. I will likely have to ship in materials from several hours away. I am retired and take care of both domestic and wild animals because that is what I enjoy doing. If I depended on this for money it would be much more stressful. If making a living off this was my goal then my preference would be to raise show/racing horses as they can potentially sell for a lot of money, downside being I would have to not get attached to them.

So I guess I would ask what your end-goals are and if homesteading helps you reach those goals. Are you the self sufficient type, meaning you can fix most things that are critical to you? I ask because in some or most rural areas there may be small businesses that can fix some things but you may find that many of them are faking it to make it so to speak.

I'm not exactly a "hang out with people" type

That's not required however being able to socialize at least a little bit with your neighbors can be very important when moving to a very rural area, especially if you do plan to go entirely off grid. A network of neighbors can be very important when bad things happen or even when you or they have tools and/or equipment that the other does not have.

Is homesteading the goal or the tool to achieve your goals? Are you perhaps looking for more isolation from big cities? If isolation is the goal you actually have more options and should research what locations made proper use of their government grants for internet.
That begs the question, why do I want to be the most successful person in my field?

Software development is a means to exchange labor for money and to support my addiction to food and shelter.

The list of things I’m more passionate about than software development is a mile long.

I haven’t written a single line of code that wasn’t in direct service to exchanging my time for money since 1996. I was “passionate” from the time I was 12 until I graduated from college.
I love Supabase for all their features, but something I think is overlooked is they’re the simplest way to get a free postgres DB up and running for demos/PoCs/side projects. You don’t _need_ to use their fancy features or API clients, you can just spin up a DB without messing with a VM or temporary IP (looking at you, Oracle)
Can confirm, I have radiant heat and we have to watch out for condensation on windows especially in the bathroom or where curtains are drawn. We have an air exchange as well and it does help but not 100%
My experience is that CBD works better for pain when combined with THC, or rather a full spectrum cannabis product that is not isolated. I'd suggest that if CBD alone is not working for pain, try it in combination with some THC by using a 1:1 tincture or gummie. You could also combine CBD flower with THC flower in different ratios to potentially get more analgesic benefits from cannabis. Cannabis is medicine, but it does not work for everyone.
"vandalized". I have a strong suspicion that if a different sub set of the population committed the exact crime the headline would include the word terrorism.
Minisforum UM690. Such featureful, fast little miniPC. I've loaded it with Linux and using it as my work computer currently.

Also got my first robot vacuum to test the waters, so didn't want to go all in. Got a Eufy LR20 on sale. It's not perfect, but wow was I wrong. I always thought robot vacs were gimmicky, but this thing saves us so much time sweeping and vacuuming.
Ah, all these arguments seem to be too much of a reach for me. I have a much simpler theory as to why we think flowers are beautiful.

One of our distant evolutionary ancestors was a small primate that fed on the nectar of flowers, kind of like bees. Speaking of, it probably also lived in hives, hence why humans also tend to live in hives (well, cities, same thing).
> A 1GbE switch with 8 ports needs to be built with 8Gb throughput

It needs 16 Gb switching capacity; it is duplex.

> What home users need is a 10GbE hub. 10GbE connections between devices but really only one at a time. Switches are overbuilt for home user purposes.

Not really. While it is true, that most users do not have active multiple devices at the same time, they would pay for this in energy usage. Ethernet, which is what most people would end up with, has pretty high consumption at 10 GbE, to the tune 3-5W per port (times 2, because you need two ends for each cable). It is better to keep them idle when possible; that means switching.
OpenTelemetry is quite stable for tracing with Go. When was a while back?
> Yeah but it has absolutely no explanatory power for sociological phenomenon

That's a nice broad generality, but it doesn’t seem to be true. For instance, on the specific subject of thw thread, epigenetic changes related to chronic stress have demonstrated to have evidence of both (1) some intergenerational transmissibility, and (2) a role in alcoholism.
Do they count abortion under 'infant mortality'?
bitwarden's TOTP only runs on android/ios and not the mac app?
I’m a writer and I always do my best work when I leave the phone at home. In fact when I can, I leave it at home for several days in a row.
> the overall Linux mindset seems to be: "fuck you, you should have provided the source code if you wanted your software to work after the next dist-upgrade"

These days you just need a container. Or use Nix/Guix, which makes it easy to preserve required dependencies for an older app even when upgrading other parts of the system.
You didn't lose your passion, you lost your virtue signaling.
We've been over this. To say "It's an objective fact that the professional mathematical community has decided that ZFC is the standard foundations" is not inconsistent with your claim that "there a portions of mathematics never formalized on ZFC." Both claims are true!

Also, re: the mathematical point, I asked above: "What new metamathematical statements - recognizable to an ordinary mathematician with no particular interest in topos theory or HoTT - has this led to?" You proceeded to give examples that did not fit this description. If you agree that HoTT is not good for metamathematical inquiry, then great, we agree on something!

Also, DNNs are (definitionally) not a topic in pure mathematics.
The feed used to be a simple chronological timeline. Then it evolved into whatever stochastic mess it is now in an attempt to maximize user engagement and ad views. So they've turned the notifications into essentially a mini version of the old news feed which (big surprise) is damn noisy.
A while back I spent some time working with homelessness charities in Australia as part of a corporate sponsorship. It was, to say the least, enlightening.

Australia has a very robust framework for dealing with homelessness and so a much deeper understanding than a lot of countries.

I used to have this perception that you had to be on drugs, etc to end up homeless and it's just not true. There is such a broad set of circumstances that can lead to homelessness and for women in particular the leading cause is domestic violence.

But not having a support network around you (or if you have some then it's couchsurfing, which is a form of homelessness), is very easy. Plenty of people don't have strong support networks to fall back on.

Scammers exist, but we can't let that stop us from helping the many many people that need support (even more with the cost of living crisis).
Yeah, it sounds to me like the article could have been titled "How I learned to stop over-engineering and love to code." The "being vs. doing" duality seems forced to me, and doesn't always align with the overall message of creating solutions that are oriented around solving a problem rather than engineering for its own sake.
Ubuntu, for like a decade. Made running Ubuntu servers real dicey.
Wait for it. The direction is clear since years. So it's just a mater of time.

Apple knows that you need to be patient when boiling the frog.
Yes, take your own reputation & throw it on a pyre EM. Burn any goodwill you've collected by whining, complaining, embracing dark side emotions & amgst. Amplify the low. Exacerbate & agitate the situation by casting as much blame as you can.

This whole Twitter Files thing has been quite the nothingburger. If this is the worst of what twitter has done- eventually deciding to kick a politician off after they inflamed supporters to go raid the capital, based off no evidence, no actual problem, well... buddy, they were doing amazingly, or amazingly little (too slow). So what, they had meetings with the FBI & OGA? They probably should.

People want to be malcontent, are effective at being Advanced Persistent Disturbances, and EM is feeding the frenzy. You can either swear fealty to this special truth & buy in to the in-group secret occluded way of seeing the world where everythig is outrage - misery, or you are there to be owned by the persistent conspiracy heads.
The fact that they’re acting like this is a shocking insight cracks me up. They pay this group industry leading salaries to learn what anybody on the street could tell them
Why would you want to export a PDF as a PDF? What could that possibly achieve?

Just… use the existing file.
The problem is they’re using phrases like “brain 500 errors” and expecting people to take anything they say seriously.
Don’t go crazy now. Why should Firefox cater to the power user with a feature that likely requires zero maintenance.

Any day now, I expect them to drop the pretty JSON rendering as well.
the doomsday scenario is that the hashrate drop outpaces difficulty adjustment, because as you point out there's a rate limit on the difficulty adjustment; possibly in those 20 weeks the hashrate would drop another 90% because it isn't profitable to run the miners during those 20 weeks at the still high difficulty but much lower bitcoin price

after two or three orders of magnitude drop in the hashrate 51% attacks would be quite affordable
If you are bored, best understanding of CERN thanks to Feynman
Richard Feynman was a renowned physicist who made significant contributions to the field of quantum mechanics and is known for his work on the theory of quantum electrodynamics (QED). He was also a member of the team that worked on the development of the atomic bomb during World War II.
"Just."
As this is a cruise ship, the Meta employee is also purchasing a 12-year lease on repeated covid infections.
Other similar projects:

0. DivKit by Yandex https://github.com/divkit/divkit

1. AdaptiveCards by Microsoft https://github.com/microsoft/AdaptiveCards

2. dynamic_widget(https://github.com/dengyin2000/dynamic_widget) and json_dynamic_widget(https://github.com/peiffer-innovations/json_dynamic_widget)f... Flutter
The best is when you're on reddit, think "this is boring", open a new tab and type in "reddit.com"...

On that topic, I've luckily managed to make reddit boring that I open it, scroll for a minute or so, and close it again: I unsubscribed from the "interesting" subreddits like politics or tifu or askreddit.
Interacting with birds has been so wonderful for my family.

We live in the mountains in North America. We were tearing down and replacing our deck when the builders came upon a nest with multiple eggs (finch eggs). Thankfully the builders asked us what to do.

Our family decided to do some quick research, build a birdhouse within 10 meters of the previous nest, and put the eggs inside. We were able to watch as the mother bird found her eggs and cared for them through their hatching.

Years later, so many of them come back every Spring. It makes us smile and wonder what would have happened if we wouldn't have moved those eggs a decade ago. I'd like to attribute how friendly the birds seem to be to some sort of anthropomorphism, but that is probably not the case.

Regardless, even the "most basic" birds are wonderful.