skysight-inc/HackerNews huggingface dataset:
Observing that Hossenfelder seems reliable and Weinstein doesn't and therefore putting more trust in what Hossenfelder says seems perfectly logical to me.

As an analogy, I have an aural thermometer and an infrared thermometer. From what I've read (and discussed with my doctor) the aural thermometer is the more accurate one. If my aural thermometer and my infrared disagree on someone's temperature, I believe the aural thermometer. Is this because I am bereft of logic and using only my personal feelings about the two thermometers, or because I reasonably trust one device more than another?

In areas that I don't have lots of familiarity with, like the kinds of math and physics discussed in the article, I think I can use the feedback of experts as sensing tools. Just like I can't directly infer someone's temperature by looking at them or feeling them, I can't directly infer the truth about competing claims related to Geometric Unity. What I can do though is rely on the sensing tools or experts with established credibility and see what they say.
React Frontload – small library for loading data in React, on client and server
Exactly. That's how we got academia's version of the minimal viable product: https://en.wikipedia.org/wiki/Least_publishable_unit
Further down the page:

> Backup dumps of wikis which no longer exist [...] This includes, in particular, the Sept. 11 wiki.

There was a Sept. 11 wiki hosted by Wikimedia?
I don’t see you engaging with the content.

You’ve written a longer comment, but I can see only three points:

1. You dislike the style and quality of the piece.

2. You are in full agreement that the authors is in fact guilty.

3. You don’t think people should read the piece.

Did I miss something?
In Frank Herbert's Dune, the main hero, Paul Muad'Dib, name means "the little mouse"
I'm not excited. I think it's very important to have good defaults. But "you can't configure it" means you can't have changes that adjust to the situation.

Let's look at a mentioned example:

> Increase consistency around things that don’t matter. For example, Standard requires all string literals be double-quoted. Single-quotes don’t support interpolation but aren’t any more performant, so mixing single & double quoted strings adds a bit of cognitive overhead with zero discernible benefit.

But there are discernable benefits. Single-quotes are great for indicating "there is no interpolation here" and for strings that embed double-quotes.

Rubocop is great, though, and highly recommended if you do Ruby things.
Apple syncs iMessages and Health data between a user's devices in an end-to-end encrypted manner, and plenty of normal people use those apps. They don't even need to be aware that those are end-to-end encrypted.

Imagine the device has a (non-encrypted) database, and the app runs locally and interacts with that database, like normal. Think localStorage if you are web-oriented.

The sync would be a separate background process (i.e. managed by the "Solid server" part) that handles encryption and decryption. As for how to manage a "circle" of devices that share the key without revealing it to the server: you can add a device via a key-exchange with the untrusted device asking a trusted device for the key. You can perform a key roll to remove a device. This can all be done automatically, though, where all the user sees is a control to add or remove a device. The hard part is key escrow (you throw all of your devices in a lake), by password protecting a copy of the key. Apple uses HSMs and Signal uses SGX to prevent brute-forcing this backup key.
favoirte spelling mistake. just fyi
That's not exactly what I'm complaining about though.

The syntax features I mention only make any sense period within IDEA. But it's just a syntax feature. The value-add is very low! But it's pervasive in Kotlin. That creates the lock-in. In fact, pumping IDEA's seeming value is those features' biggest impact on the average Kotlin developer.

The majority of the valuable code I've written in my life has been Haskell. I do just use emacs, but I heavily use ghci (free and flexible) to aid my understanding.

But most of that Haskell was conceived while I was doing the dishes. So far, my Kotlin has been too tbh.

So IDEA isn't solving the actual critical path of software problem solving. Kotlin and IDEA are sugar for the masses. Nothing more. And I'm pretty sure they know what they're doing when they aren't drunk on their kool-aid.
That’s a pretty bold claim. The 1953 Nature paper laid out both the double helix and the Central Dogma (which is arguably the more important result). https://en.wikipedia.org/wiki/Molecular_Structure_of_Nucleic...
I agree, I'm a long term IntelliJ polyglot, and I watch people in pair programming or video call refactor in VSCode and I feel sorry for them. Stuff goes sideways badly with dynamic languages, worse, they don't have a grip on it.

Simple stuff like code formatting and structure of files isn't well respected by vscoders <I find>.

IntelliJ got a bad wrap I guess because it all started with Java. I'm glad I had a short gig in Java to discover IntelliJ back then. I really think their software, although getting quite complex now, and the plugins can be a little sketch, is the best IDE out there <unless you're a vim nerd who swears by vim and will die on a sword for it>.
Sick Days Don't Look So Good Now That You Can Work from Home
> groups responsible for gripping the bottle

The prosthetic user isn't required to grip the arm though. It's strapped on.
Why not. Read whatever you like. Stop trying to be superhuman and enjoy whatever you feel like reading and don’t judge others for what they enjoy reading.
> The way I see it morality is an intrinsic human ability. This is not to say that all people are moral, but that all people, if they develop in a normal, stable environment, will naturally develop a certain morality that is actually not that different from one person to another. In this view morality doesn't really need to be taught and enforced by authority. Leading a good life is therefore the natural thing that people do.

I actually strongly disagree with this. I think there are some moral values (obvious ones being like "don't murder your family/friends") (but then why would you, they are of practical value to most people) but if you look at, for example the Old Testament there's tons of murdering of other groups being approved by God. So clearly, moral values can change over time. Even across cultures you can see behaviours that one culture finds deeply offensive and the other is the norm. The stoning of women in the Middle East comes to mind. I believe this moral core of right/wrong is extremely cultural, not innately human.

> I tend to agree, although for me what was lost with secularization is not so much morality, but important social institutions that fostered collaboration, charity, mutual understanding. Even when it's not lost, religion can be deeply perverted by the modern capitalist society - something like prosperity theology is an abomination to me.

I think a central morality is something we've lost. So we're getting moral drift where cultural norms splinter into different factions of morality. Clearly, for example, cancel culture is not in line with redemption morality, which is a deeply Christian ideal.

Prosperity theology is messed up though. America's weird in how it seems to have adopted capitalism as a replacement or supplement to culture in some areas, rather than as a separate social concept.

> I recommend The Darkening Age[1] for a sense of just how destructive early Christianity was.

I mean we all know that the Church in the Middle Ages was oppressive, I don't disagree with you there. Establishments seem to swing between good and bad.

> Here I also tend to agree, particularly when the dismissal of religion is tied in with scientism and perhaps even classism.

Yeah scientism gets my goat. HN being one of the worst culprits. I hated it before I adopted idealist metaphysics but now it's even worse because I'm more aware of the limits of both the idealised and in-reality scientific process than ever.

Americans don't talk about classism. Which is rather strange as they're very excited to talk about any other kind of -ism, some of which are deeply entwined with classism.
I love the idea! Since my website is just a single page, I didn't submit it but did add the link in my footer.
Or more simply put, how about table-driven logic in general? It doesn't have to be as complex as machine learning. There are more use cases than just machine learning, IMHO.
There is a location of this sort in pretty much every JRPG. It's fascinating to hear about one in real life.
Windows Terminal finally replaced everything for me when they added ability to split and resize panes.

Next update I believe gets your workspace at launch instead of having to split at start up
ΠΑΟΚ vs. Αρης, η Θεσσαλονίκη στα δύο
Στην Τούμπα, διεξάγεται το ντέρμπι που όλοι περιμένουν ανάμεσα σε ΠΑΟΚ και Άρη. Οι δύο σύλλογοι έχουν έναν βαθμό διαφορά στην κατάταξη και αυτή η σύγκρουση μπορεί να κρίνει την δεύτερη θέση στην κανονική διάρκεια, προς το παρόν. Ο 40χρονος Πολωνός, Σιμόν Μαρτσίνιακ, θα είναι ο άρχων του αγώνα, ο οποίος είχε διαιτητεύσει τον δεύτερο αγώνα του ΠΑΟΚ με αντίπαλο την Μπενφίκα στο Ντα Λουζ τον Φλεβάρη του 2014. Μην χάσουμε άλλο χρόνο, πάμε στα ΠΑΟΚ – Αρης προγνωστικα στοιχημα.
It would be hard to be expressive enough considering there’s a lot of exceptions where things don’t really quite work.

eg copying without conversion between different formats isn’t really possible when it looks like it should be, because there’s a lot of incorrect handling of timestamps both in libavformat and in files themselves.
Beaten to the punch, but at least we took fairly different approaches: http://beyondloom.com/tools/amigogh.html
> The salient aspect of relational data is that it's cyclic

This is an odd claim. Most relational data is not cyclic, and it's easy enough to come up with a scheme to handle cyclic data in a consistent fashion.

Conflicting changes (two changes to the same 'cell' of a database table) are a much more likely issue to hit and will need handling in much the same way merge conflicts are currently handled, so there are already situations in which manual effort will be needed.
I agree. I have full confidence that I, a literal nobody in academia, could theoretically write a mathematical paper, submit it to an appropriate journal, and have it accepted if it were correct and good enough. I don't know for sure, but I suspect there are disciplines in which this would not be the case, and that most papers in those disciplines are probably written in Word.
> Consider the whole database - the whole set of facts across all relations - as the state in the tree.

I tried to demonstrate that this is easier said than done. Deciding the equality/redundancy of facts is very subtle. At some it might even be guess whether your two clerks each met the same Alice when entering in their DB forks or not.

Transactions are just patches, I completely agree. And patches are just partial functions. But deciding what the action is of a partial function, or whether the input is in the domain requires a notion of equality. (Partial functions are encoded very nicely with incomplete pattern matching; in this case the question is whether Alice matches the pattern.)

Basically I know where you are coming from, and I want it to work too, but you cannot just wave away the math and issues it points out.)
Your definition of "useless" is different from mine.

What's more useless:

a) $2.5m sitting in a bank account, vulnerable to taxation, confiscation, legal judgment, gradual inflation, rapid devaluation and bank insolvency, unlikely to increase much in value, where the only thing you can do with it is trade it for something useful.

b) $2.5m invested in something rare, that could increase in value, where you can both trade it for something else you want, or appreciate the object itself and enjoy owning it.
Well, yes. A B+ high-school student can also reliably recognise the number 710. If you think that AI should be able to do something just because a high-school student can, I think it's your expectations which are out of touch.
Such as? I'm having difficulty coming up with any myself.
Lol at the hate that jet engines get for being too "simple" and "boring".

I think some of the compressor/turbine blades are drawn the wrong angle but jet engines have always looked to me like they shouldn't work at all. I know that the turbine extracts more force from exhaust than the compressor exerts on the air (while spinning up) but it's all in the diameter and blade shape since they're attached to the same shaft, and my intuition has trouble wrapping around the concept.
Calling someone a 'grifter' is an intellectually lazy derogatory epithet. How is he grifting?
How the language handles it is that neither 0.0 nor -0.0 satisfy either the minusp or plusp function, and the numbers are equal under eql or weaker.

I think the only way to write a comparison function f such that (f -0.0 0.0) yields nil would be to print the numbers into character strings and compare those. But even that wouldn't be portable to CLISP.
This reminds me of Wikipedia. The hardcore contributors/maintainers cop a whole lot of criticism, and I'm sure some of it is justified (though some is clearly just nerd-shaming), but people rarely acknowledge how amazing it is that the project is basically a success, and how quickly it could degenerate if the most dedicated 'loosened up' or lost interest.
HP48GX was the best calculator ever. I used one throughout my middle/high school.

The best features, IMO, were (0) the IR emitter and (1) the ability to program it to switch ON at a specified time and run code.

This means I could hide my calculator somewhere in a room before class started and program it to turn on halfway through class, turn the classroom TV on, turn the volume to max, and start wildly flipping to random channels.

One teacher had all of us students put our hands up and walked around the room looking for who had a remote at their desk, and I remember watching that teacher's face of horror when the TV continued flipping channels as everyone had their hands up.
it is mania, but so are a lot of collectinf hobbies. NFTs are attractive to those who value physical minimalism but still value a sense of ownership of something.

identity is tied with ownership because it allows one to say they either created it (authorship) or they have the possession of it (ability to transfer / sell/ destroy) - NFTs are an extension of the human desire for identity.

they suffer from the false scarcity effect, that even with their distributed nature, rely on a central authority (the same as those certificates included in collectors items) - it's a matter of valuing the platform AND the NFT itself. that is a flaw imo.

I think we will see something of a hybrid. NFTs that have real world utility and physical practicality. even for games. we need to have FUN. not just scarcity.

these are not going to be great but they will last. most will be worth nothing and will make money for the platforms and some prolific or already existing artists.....

not the game changer yet.
The obvious issue with this is that the new owner of the number doesn't actually know if it's the owner of the old account trying to sign into it - it could be anyone trying to take over an account whos owner forgot to change the number for. And how do they know you're not trying to sign into their account? The text messages don't specify which account is being attempted or anything.
This is crackpot physics. The only reason this gets any sort of publicity is because Mr. Weinstein has a (non-scientific) podcast and is associated with Joe Rogan and Sam Harris. People wasting their time invalidating the work of a man who can't be bothered to even publish it is completely ludicrous.
AirPods Max.

Never had a "nice" set of headphones before and these really have been amazing. Wasn't really even particularly interested in headphones until Apple released these. Figured Apple's been right about other products I've loved in the past so I'd give them a try.

Makes remote work in a tiny noisy apartment a lot more bearable. Spatial Audio is incredible, too.
Weinstein claims to have a theory of everything but he can't show you because he's afraid you'll steal it. Gives a vague and not-at-all useful lecture as "proof". Builds a cult of personality around his claim and coins the cringy term "intellectual dark web" to describe a group of supposed-rogue intellectuals who are really just reactionaries masquerading as Enlightened Geniuses.

If someone claims to have a theory of everything, they're probably full of shit. If they claim to have it, but says they can't show you for some reason, they're 100% full of shit.
This book is dope, all the jargon is explained and there is an example for everything!
So, clearly Google has too much power over the internet, it's arbitrary and opaque, etc. I agree. However, I think it is worth pointing out that:

1) malware is often very aggressive and fast-spreading, and once it's on a user's computer it's hard to get off, therefore...

2) the system to detect it and stop access to the site has to be automated, not a human-in-the-loop system that might take hours or days to shut off access to a site which is infecting many users per minute, and...

3) the more clarity there is on how exactly that automated system works, the more certain we can be that malware will be able to evade it; it's much like how spam detection or search page rankings are opaque, because the incentives to game the system are very great

I'm not saying Google's system is perfect, but I am saying it's a very hard problem to solve in a way that doesn't give us an even worse time stopping malware spread than we already have. So while it is hard to feel sorry for a company as wealthy and powerful as Google, I think the issue is not as clear-cut as some comments on this thread seem to suggest.
I think people are focusing too much on the attacks. Imo those are a sideshow. It's even questionable whether they can be called attacks when you're asking it to recognize an image and it recognizes something that's on the image, just not in the mode you expected or the object you assumed was of interest.

It's way more important that CLIP learned to read (crudely) as part of image recognition, like GPT3 learned addition as part of NLP. It has neurons for abstract concepts. It does amazingly on a bunch of other tasks without being explicitly trained for them. It integrates multiple senses. And it already does very simple image descriptions[0]. In a few scaling iterations it might have a better understanding of a scene and describe it as "an apple on a wooden table with a piece of paper reading 'ipod' attached", end of confusion.

TL;DR, they're gaining new capabilities, it's unsurprising that they have not mastered them to superhuman levels yet.

[0] https://openai.com/blog/clip/#zero-shot-probabilities
I happen to disagree with you both that syntax is irrelevant and that receiver scopes are "just syntax".

I think whether you care strongly about syntax is just personal preference. For example, I prefer Elixir to Erlang, TypeScript to JavaScript, and Kotlin to Java even though they could be/are implemented by transforming source code to source code.

On receiver scopes specifically, they make simple DSLs very easy to implement. Arguably needing a DSl is a symptom of design flaws, but Android has a lot of those so receiver scopes makes Android programming a lot nicer.

Edit: I would call this more than syntactic sugar:

interface MyScope {
fun frob()
}

fun foobar(content: MyScope.() -> Unit) {
let scope = MyScopeImpl()
scope.apply(content)
scope.getResultInternal()
}

fun user() {
foobar {
frob()
}
}
The name is DOLT with an L
https://standardebooks.org/ was recently discussed here, and looks great for out-of-copyright books.

https://news.ycombinator.com/item?id=26207484
Cancel culture, conservative victimhood, and the paradox of tolerance
Ownership in this case is a NFT (EIP-721, a smart contact standard for non fungible (unique and single ownership) tokens) on the L2 Matic sidechain for Ethereum return the public key to your public-private keypair.

Duplicating the token means creating an exact bitwise duplicate of the NFT on the Matic sidechain, which the Ethereum Virtual Machine will not allow. There is no hash to send to someone else and unless there is an exploit in the EVM the NFT can only be owned by one person.

To be clear these NFTs only has the meaning of "signed tweet" because people decide it does. If you copied their smart contact and launched your own exact replica Jack could verify on your platform and a new and different NFT would be minted with the same "accepted representation".
The SSL certificate has expired for the posted URL. HTTP alternative is http://brackets.io/

To save you a click, there's a modal with this message:

> On September 1, 2021, Adobe will end support for Brackets. If you would like to continue using, maintaining, and improving Brackets, you may fork the project on GitHub.

> Through Adobe’s partnership with Microsoft, we encourage users to migrate to Visual Studio Code, Microsoft’s free code editor built on open source.
Having a single (unsigned) infinity (and a single zero!) seems cleaner in some ways (and I dimly seem to recall that some pre-ieee754 floating point hardware worked that way). On the other hand, having e.g. a neutral element for both max and min also seems pretty nice to have, although without infinities, the maximal and minimal floating point value will equally do the trick in most cases.

How do inequalities work for posit infinity? Is posit infinity both larger and smaller than any other posit?
That seems to intuitively make sense as a want, if I consider the fact that many other devs tell me that they never want to leave their IDE, even just to open a PR or whatever.

Is this windowing support somehow superior to using regular windowing and shortcuts? I ask because I personally find that getting used to a new set of shortcuts takes considerable time and creates frustration when you mix em up. I switched to IntelliJ from eclipse and wanted to learn IntelliJ native shortcuts instead of using eclipse settings. There's something to be said for everyone to 'speak the same language' when interacting and helping each other.

Anyhow back to windowing, I personally like to just have whatever application I use to be open full screen (minus any menu bars, docks etc). and having the same set of shortcuts to interact with any window (CMD-TAB or CMD-~ works the same on all of them - substitute CTRL-TAB for Windows) is awesome. Similarly I know some people use a tiling window manager and I would gather that it would even be beneficial if each internal window in IntelliJ could be detached and arranged by that window manager (sort of like Photoshop/Gimp does on Mac) using its own shortcuts.

An example in frustration for me is the debugger in Chrome. The times I've closed the Chrome tab because I wanted to close the open file (which looks like a tab to me) with CMD+TAB is staggering ;)

Caveat: I might be biased by seeing people awkwardly click around to find the right internal window and then the terminal or other tool is way too small to be useful if you ask me.

Another 'integration' into IDEs that I don't understand is the source control. They also in many cases rename functions which makes for awkward conversations. Though they seem to learn e.g. people have an easier time now to find the function in IntelliJ if I ask the to show me the 'git blame' as it's called "Annotate with git blame" now. Whether a current employer gives me Windows, Linux or Mac OS, I work on Java and have IntelliJ or do whatever else, using command line git and gitk and Kdiff3 will always look and behave the same.