skysight-inc/HackerNews huggingface dataset:
You write: "I don't think anybody is claiming that HoTT ought to replace ZFC for reverse mathematics in particular; it's "just" a capturing of some pervasive intuitions for concepts at the ground floor of the formalism itself. It takes a perspective that makes grappling with some concepts easier to approach. If you're already a deft hand with a different (very well-established) framework, maybe it's worth it to keep using the entirely viable tools you have!"

My claim is that "capturing [...] some pervasive intuitions" is not what ZFC is trying to do, or what people in foundations are interested in. Lurie puts the point well when he says a foundation "mean[s] a small number of concepts and assumptions from which the rest of mathematics can be derived." The purposes here are first, to figure out what exactly one must assume to get the rest of mainstream mathematics, and second, to provide a convenient base for doing metamathematics (since the fewer elementary operations/objects you have to reason with, the easier it is to write proofs). Capturing intuitions is completely orthogonal to this endeavor; no one is claiming that set-theoretic translations of everyday mathematical arguments capture the intuitive content of those arguments, because no one one intended ZFC to ever do that in the first place.

Similarly, no one is claiming that handing someone a Turing machine that performs quicksort is a great way to capture the intuition behind quicksort, or explain the algorithm in an understandable way. Turing machines exist as a special-purpose construct to probe the limits of computation, not to reproduce or communicate high-level algoritmhic reasoning. ZFC is like a Turing machine for (meta)math.
That sucks. Imagine if you worked there and realized that.
Schemantra empowers webmasters that develop, manage and market websites on the Web. It is a way to describe your data to search engines, and to link your website info to create a network of standards-based, machine-readable data across Web sites. It allows an application to start at one piece of Linked Data, and follow embedded links to other pieces of Linked Data that are hosted on different sites across the Web.

Schemantra is based on schema org and its built to boost the search engine optimisation of your website
The Wat talk is mostly BS for laughs. It's hilarious but to someone familiar with the language it's a bunch of stuff you'd mostly never run into. Some are even outdated.

Like he makes fun of the fact that Array(16).toString() prints 15 commas. In the context of the talk it's funny but in reality, what would you expect. You made a array with 16 empty elements. Array.toString() calls toString() on each element and separates them by commas. Why is that unexpected?

He then shows Array(16).join("wat") which is the same as the previous except JS uses "wat" between elements instead of ","

"wat" + 1 is string + number coerced to string so string + string. string + is defined as concatenation

"wat" - 1. There is no override for - for a string so numeric minus tries to add a string to a number and returns NaN. Ok, why is that unexpected? When will this bite you. You shouldn't be adding numbers to string or strings to numbers. I've been programming JS for ~20 years, I don't remember running into any of these issues.

I've also never tries to add to arrays, add an object and an array, add an array and an object, nor add 2 objects. It's funny that the language does something but so what.

You wanna talk about a language that sucks try bash. Meanwhile I've had no problems shipping 100s of projects in JS. (also, C, C++, C#, perl, python, assembly, others)
My website disappeared from Bing and DuckDuckGo
Single-brand market definition is the way to go in Epic Games vs. Apple
Yes it is. A healthy one too, that's how the moon landing happenned.
This is what https://decentraleyes.org/ does, right?
I'm actually not sure this is entirely accurate; I used a Mac basically all my life (OS 7 all the way to current) and never had a Windows based machine until well into my 20's, so Quicktime and I were good friends for a long time.

We also fought a lot when it came to the early days of torrenting anime and movies. I don't think Streaming and QuickTime really ever cross paths. It just didn't support as many fancy features that VLC and Media Player with the various Codec packs did, and later on players like MPV absolutely overwhelmed QuickTime in terms of playback and feature sets.

I have vague memories that QuickTime used to come with the iTunes package for Windows, but I may be wrong on this so don't quote me on it. I do distinctly remember a period of time when many people who had Windows would ask how QuickTime got on their system.

From the Mac side of things, QuickTime always felt like it didn't know what it should be. It was aways a sort-of media player without all the library features and playback features the other players had, along with a very basic media editor, media converter/exporter, and a few other bells and whistles that were neat but no one used and very few people wanted to pay for.

Eventually I think Apple just realized there was no sense in maintaining it as a priority. As I wrote this post, I realized that on Big Sur, the dictionary no longer corrects QuickTime like it corrects iTunes or iMac or many other Apple products. (amusingly, apple seems to have had the self restraint not to assume you mean the company and not the fruit when writing apple, just a neat little fact ;))

Ultimately though, I don't think streaming and QuickTime really were enemies at all. I don't think streaming was even really a thing by the time QuickTime was really relegated to "that app you accidentally open movies in sometimes." Now it just is a media player that sticks around because you have to have a media player with your OS or the other OSes will make fun of you.
The article is clearly talking about QuickTime as a framework, and while it touches on its widespread use on Windows, it's primarily talking about QuickTime on the Mac, which was replaced by AVFoundation.

(Also, the current version of the QuickTime Player -- and, of course, AVFoundation -- handles streaming perfectly well, although I doubt many people use QTP for that.)
You vote with your feet and don’t use social media. There’s no “free speech principle.” Private companies can allow or censor whatever they want to on their own platforms.
You can. You just need to use the right tools. See my uncle comment.
Two options:

A) Apple will comply
B) Apple will leave the EU market

What will happen?
The Physics of Hypersonic Weapons
Have you considered listing your garage on pianos.pub?
It's fine to prefer M$ lock in to other lock in. I just take issue with blaming Jetbrains for lock-in while at the same time praising VScode which also has lock in.

I personally just use emacs.
Lasers? Cooling system?
Embrace, extend,...
A large bomb.
I want to point out a caveat to others: Proxifier != VPN

wireproxy's wg only forwards TCP and UDP. I am not sure how ICMP is handled. Other transports, though rarely used, won't be tunneled (and may leak, if not dropped).
PEG or rec descent
So now I'm assuming, you're approach would be to just have classes for your custom UI elements.

It might just be a Unity thing, but up until they released their XML UI tools, I could not build a decent UI for the life of me. Basic things like getting buttons to appear where I want them to are very hard without XML
I am not sure why this webpage is so hard to screenshot, but my main screenshot service can't do it (i get a 404 after it returns the URL), and in firefox directly telling it to screenshot loses a significant amount of text.

I cannot complain enough, this is a simple web page. there is absolutely no reason i cannot capture a static image of it.

beyond that, i sort of enjoyed a deeper dive, but the subject matter was relatively uninteresting to me. Technology used to have to be bent to the will of the group programming for it, and i'm sure with enough time and the lack of a release schedule from the three big CPU manufacturers, we'd have amazing results with x86 and Arm now, too. But it was a different time, and i do appreciate history.

Sure do wish i could save the site as a .png, though.
I don't know what python's async support is like but the biggest issue with porting to the web is the browser mostly requires that you exit events before it will do anything. This is contrast to pretty much all other environments. That means there are tons of patterns and libraries that just don't work and require major re-writes or big AST manipulations like asyncify from emscripten.

I'm not saying you can't do async work in any language. Rather I'm saying that likely the patterns you're used to using in some language that's not JavaScript won't work in the browser and you'll have to massively change your style.
I don't think it's ignorant at all. It's the advice everyone is going to give distilled down to it's essence.
> Practice. Practice practice practice.

I don't really care about social awkwarness, but I'm annoyed that I used to be really good at presentations and training people, and I suck right now, because of lack of practice.
And I didn't even actively practice before the presentation, I just jotted down a few ideas and was really passionate about the subject matter. Nowadays I find a lot of times that I stumble mid idea, forget what I was trying to show and generally break my flow a lot and find myself in "oh, snap, where did I lose them exactly?"

A couple of years of working as a contractor, changing jobs more frequently, the lockdowns and I didn't do a lot of presentations/idea sharing.

So yeah, practice and remember if you don't use it, you lose it.
Totally agree. For some people, forcing them to continue life is like making them suffer for longer. If people can give birth without someone's consent, there should also be a way out if they don't like it, and with dignity instead of going out with huge pain and mess.

Affordable housing and education, livable wage, universal healthcare etc. are suicide prevention. This is what people should be focusing on more.
Life experiences...feeling embarrassed, actually saying stupid things and realizing why it was an awkward thing to say later...etc
Anyone who would rather watch 1 good 2 hour video rather than 500 random 10 sec videos isn't going to like TikTok. It's the dumbest shit I've ever seen. Half the time I have no idea what the fuck I'm even looking at. Maybe I'm old, but I think maybe the kids are stupid too. Both can be true.
The Cost of Downloading a Byte (In Relation to Carbon Emissions)
Not quite all of what you're after but you might enjoy But How Do It Know?, which can fairly easily be found in PDF form if you do a Google search.
What are Weak Links in the NPM Supply Chain? [pdf]
Also see generatingfunctionology: https://www2.math.upenn.edu/~wilf/DownldGF.html
TikTok has recently introduced 10-minute long videos. Although, I have yet to come across a video that is >3 minutes, or a creator that uses that length of video.
Why a terminal window on your computer is almost always 80 colums width?
If I'm understanding correctly, the thing you found offensive in that comment was the JetBrains employee talking about "dragging" people to IDEA. If that's the case, it's important to note that the notion was first suggested by the OP:

> This would not only be beneficial to developers using this editor, but could drag a lot of developers to IDEA when seeking out for a full-blown IDE eventually.

In this context, the JetBrains employee was not saying "it won't sell licenses and therefore we won't do it", they were saying "this won't do what you think it will do".

JetBrains is a company, and like any other company their focus will tend to lean toward where the money is. But my experience with Kotlin over the last several years is that JetBrains is very responsive to the community and their needs.
HN RSS does that for me very well.

I still keep Facebook to check on what are my friends been up to recently. But lately it only has part of that content.

Perhaps it is time for friend feed aggregator.
I don't think it's an easy journey—not because the material is intrinsically difficult, but because almost all resources are written for mathematicians and computer scientists. I think a "homotopy type theory for programmers" book/blog/playlist could be a big hit. I've been considering putting something like that together.

I view the relationship between HoTT and topology as similar to that of functional programming and category theory: you don't need to know the latter to learn the former, but having that extra background can certainly help.
I don't see a convincing reason why information conservation would need two additional photons. The author mentions himself in the conclusions that the standard two photons of the annihilation process could carry the additional energy.
Nah. Gradle has its advantages but it's way more complex than building a node project. The Gradle DSL is utterly incomprehensible to anyone that isn't a seasoned Java dev. Honestly, I struggle to think of a language with a more complex build system than Gradle, besides building cpp apps.
https://news.ycombinator.com/item?id=30494938
Why and how to start a startup serving emerging markets
Get off it. Asking an app to serve you content isn't giving up privacy. Get some fucking perspective.
NPM has had package locking since what feels like a million releases.

I wish the Java community (which I'm actually also a part of) would stop rejecting everything that's not "the Java/enterprise way" and be humbled by exploring better alternatives, or alternatives with different tradeoffs for once.
But it is Tesla, so people has to make a drama about it
You can trigger CI in more ways than just codebase changes; daily/weekly/monthly, when dependencies change versions etc. Then you can know about issues immediately and fix the issues if they are easy to fix or update your dep version ranges if not, then fix the issues at your leisure.

Pinning and vendoring just lead to outdated deps with unfixed issues, especially security issues. Vendoring especially was why log4j had such a high impact, because there was no way to just update log4j and then restart affected services.

I think we will just have to agree to disagree on this.
Not like this. Yeah, we had different tastes in media, but TikTok is to video as radio commercials are to music. It's like you guys are just watching commercials nonstop. It's nearly devoid of actual content.
Just please commit to it. I suspect organizations that use volunteers would rather have someone reliably there than someone who shows up a few times and quits.
I had Medicare on a temporary visa in Australia and had to go to the ER. I don’t think I ever got any bill at all. It was really amazing all the way around.

The contrast made me feel ashamed to be an American, to be honest. I grew up in poverty, and have internalized not going to the doctor for any reason besides an actual, literal life threatening emergency. My folks were volunteer firefighters and first responders, as we lived in an isolated rural area on dirt roads, so we were the closest emergency services, now that I think of it.

I’m back in USA now, and I still have to live that way, as I’m unemployed and trying to start a business. I have no assets and am nearly homeless. It’s no American Dream for everyone.

I wrote a bit about my Australian medical emergency here:

https://news.ycombinator.com/item?id=29719451
I no longer recommend VLC for music playback. They resample audio (change its playback rate and pitch away from nominal hardware rate / audio file rate) for some reason, and this algorithm breaks down especially when you seek, causing files to randomly be pitched up and down by nearly a semitone at worst. The bug has been reported for many years now, I recently found the exact circumstances, reproduction instructions, and a workaround (disable audio resampling), but not a fix: https://code.videolan.org/videolan/vlc/-/issues/14287. Note that disabling audio resampling may impair AV sync.
That variation would account for some premature failures, not a few motors randomly lasting 100 years by exceptional luck and skill. 100 years is just the performance you get when the thing is assembled correctly.
Why is Putin fighting like it’s 1939?
> Kotlin for JS is really about selling IDEA licenses

Kotlin the entire language is about selling IDEA licenses.

Ever tried to read Kotlin in plaintext? It's terrible. The language makes you need the IDEA hints they give you to read it.
> I have vague memories that QuickTime used to come with the iTunes package for Windows, but I may be wrong on this so don't quote me on it.

It did, because QuickTime is/was a media handling framework. The article isn't talking about the QuickTime Player application except incidentally. When you were using the Mac on OS 7 up until about 2011 (with the introduction of AVFoundation), just about everything that was playing media using Carbon or Cocoa API calls was using QuickTime under the hood.

When Apple ported QuickTime Player to Windows, they ported the QuickTime framework, too -- and iTunes for Windows was built to use that. So QTP basically came along for the ride whether you wanted it to or not. I don't know if this is still the case, though.
The certificate in cybersecurity I was referring to is a CISSP. It takes a few weeks to master the ideas and get a certificate, and then your dad would be qualified for cybersecurity consulting jobs. As I mentioned, cybersecurity consulting is mostly about re-organizing governance, and making PowerPoints about that re-organization. And there are a lot of openings, and more every day, due to the scariness of the threat of Russian cyberattacks.
Maven to Gradle is a huge improvement, but I think a lot of people here are coming from the JS world. Package.json is incredibly simple compared to Gradle.
Yes, hence my desperate desire to relocate the article on what purposes a foundation may be put to. I say this as neutrally as possible, but I don't think "foundation" has such a singular meaning, and misattributing one "foundation's" goals to be those of another's is probably near the root of your frustration. (It would help my case to find the article; at present I can only relay the ghost of what I took from it.)

HoTT/UF share some purposes of a foundation with ZFC, and not others. Each has purposes the other does not. That's about the safest thing I can say with any faith that I'm doing it justice.
That can’t be right.
It's not arrogance. There aren't an infinite number of things to do and learn. It may seem so when your lifespan is less than a century, but quadrillion years? You'd run out of things that make sense for a human being.
Most of the people and even Muslim do not aware there is a chapter (chapter 70) with a title Al-Maarij in the Quran with the literal meaning of Maarij "the door to ascent" that some modern scholars refer to this as the wormhole [1].

According to one of the best English translations The Clear Quran, Maarij is translated as "pathways of heavenly ascent" [2]. In the 4th verse of the chapter it's mentioned "through which the angels and the holy spirit will ascend to Him on a Day fifty thousand years in length". That means based on our (human) reckoning it will be fifty thousand years but for angels (or those travel through this pathway or door) it will only takes one day of journey.

[1] https://en.wikipedia.org/wiki/Al-Maarij

[2] https://quran.com/al-maarij
I've said this on Reddit before, but the current Gnome is excellent for someone who loves it and only needs a few changes to make it work for you. Personally, I like how everything works (you could also say that this is some form of Stockholm Syndrome, ha ha). I like not having anything distracting from

The answer for most of these is "there's an extension for that"

> - Why is there a full screen app drawer?

https://extensions.gnome.org/extension/6/applications-menu/ (fully supported by the Gnome team; hopefully shouldn't break from release to release)

> - Why are there no icons in my tray for my background apps (steam, slack, etc)?

There are a variety of extensions that do this, I use Topicons Plus (https://extensions.gnome.org/extension/495/topicons/), which also seems to be a part of the core suite.

> - Where can I go to see my current running applications?

I rarely have to do this (for me it's almost always IDE, Terminal, Browser), but "alt-tab then escape" is an option. For the window list at the bottom, there is the Window List Extension (https://extensions.gnome.org/extension/602/window-list/), part of the core Gnome desktop as well.

In short, most of your complaints would be solved by logging into Classic Mode, which tries to emulate the Gnome 2 experience using some built in extensions.

> - Why does the top bar do nothing and function like my Android top bar?

I am not sure what this means, but I like the Shell's current behavior where we have as few active elements as possible detracting from your active window.
so they either cannot do business in France, or cannot hire french engineers, which would be even more idiotic.

laws are rarely idiotic, businesses are
constantly high CPU usage. Moved on to k3s and happy since then
The OP on twitter says its not going to help you pwn Teslas, and as of the time of commenting every comment on this post has the same opinion that this is ok.

Where's the drama?
Thank you for this comment. The Ubuntu/Canonical hate that goes around on this platform is pretty ridiculous.
Is it because you’re outside of TikTok? You maintain a mental model of the app and its algorithm. The app is in your lab, not the other way around. A like or a share is a calculated action that occurs simultaneously in your mental model and in the app.

Thinking like that kills immersion for me. For example, I was playing Mass Effect 2 on my Framework (with Wine) yesterday and caught myself thinking about whether any significant internal state would change from the conversation Shepard was having. I shut down that line of thought and dove back into the story.
> Yeah, in the java world you write code against specific known dependency versions. That's why when you try to build it again in a couple months, it still works. I sure wish the JS community would learn this old trick.

I've been writing JS with npm locked to specific, exact versions of dependencies since 2014, IIRC.

Not everyone does this, obviously, but the tooling has been able to at least do a decent approximation of this for a long time (and I was and am very far from being a bleeding-edge adopter).
If you want to plug my car in, go for it.
You could make a series out of these projects. Another one that suddenly died is RealPlayer, which used to be herpes back then.
On my 2017 model x the charging port is locked shut when the car is locked.

I get a strange amount of vitriol from anti-EV folks where I live, I could imagine somebody putting a metaphorical potato in the metaphorical tailpipe. Although that type of person is more likely to use a screwdriver than a replay attack.
This feels like an existential threat to the stability of the country. Life, liberty, and the pursuit of happiness. Forty acres and a mule. These truths we find self-evident.

Tell me another. It’s time to call the bluff. We either have the right to affordable housing, or we are beholden to the market and its participants. When the free market can’t provide a market based solution, are we to just throw up our hands and say, at least we tried?

I know there are no easy answers here. What do people in the industry think the future of affordable housing looks like?
How and what is LessWrong doing? I haven't heard much about it in years. In a way, it's not a good fit in the 'post-truth' era.
It was for me for a couple of days and then I realized it was the same crap over and over and over and over. Every now and then a new "challenge" comes along and takes over but it's the same dumb stuff.