skysight-inc/HackerNews huggingface dataset:
One could argue that a defining characteristic of human intelligence is our ability to agree on "unreal" concepts. I think the first time I heard it explicitly was in the book "Sapiens", though I doubt it originated there. In this sense, mathematical concepts are no different than, say Santa Claus. We can agree (mostly) about what it is we're talking about, and talk about it. What sets mathematical "unreal" ideas apart is just how useful they seem to be in describing the universe. They're patterns that fit onto lots and lots of things. For instance, we can all sort of agree on the idea of a (finite) set, and on some basic rules of logic, and with those you can build a lot of mathematics.
(Commented on someone but they deleted. Will post as parent? All axioms are imaginary. Given that humanities method of logic is imaginary, then consensus is the only difference between certainty and non certainty which is equivalent to truth.

Logic is programming. Human’s are programmers and hardware/OS who largely don’t realize they’re running arbitrary truth values based on popular imaginary rules.

To exist, is to LARP? Lol.
The article on lwn pretty much nails it. The discoverability of features would be great. I have been used emacs for ~20 years and I had finally switched to VSCode after I was stuck for half an hour finding a way to type single-quote in org-mode. I had found a way first time in the past, but then I completely forgot how to do it and was forced to search again. (It something to do with locales, it is traditional for Russian to use < > and << >> quotes instead of ' and ", so someone made it default when LANG=ru_RU.UTF8, so one types ' but gets < or >. But how it was done? How to undo this damage to emacs? Now I cannot remember it one more time, but luckily I do not use emacs now so it doesn't matter anymore).
Same info, with less editorializing and more details, in the FBI complaint: https://www.bloomberglaw.com/public/desktop/document/USAvBau...
As a sufferer from Ulcerative Colitis I am cautiously excited. I am snacking blueberries everyday and am eating the extract, maybe it helps.
> The article's author pet peeve is that all software running on PinePhone start with "no guarantee" or "as is".

Not really. It's not even that it's a pet peeve, just them pointing out that projects need to keep safety in mind.

The author even mentions that they have contributed to PinePhone software.
https://cloudonaut.io/loosing-trust-in-aws-sns-broken-for-24...

https://www.reddit.com/r/programming/comments/izo607/im_losi...
I made something which gives a partial solution for this: https://distinguish.ink, can't get it to work for user's needing to log in though.
Correct. This memo also applies to some Linux interfaces (usually one that begins with G and ends with ome)
Whether math is like an art or whether it is "discovered" is sort of a pointless question to me.

To start off, math is simply the art of understanding the consequences and theorems from a set of axioms. Since there are an infinite amount of sets of axioms, there's an infinite amount of math.

Whether a set of axioms or the theorems derived from a set of axioms is discovered or created is again a pointless philosophical debate that is not exclusive to mathematics. You can apply this question to any topic. Case in point:

There is a finite set of paintings that can be painted on a fixed sized canvas using a fixed set of colored paint. When you create a painting... are you creating a painting or are you "discovering it" from the set of all paintings?

Since the question does not pertain exclusively to math; if you think hard you can sort of realize that it's just philosophical speculation derived from intricacies in our language. Is anything truly created? Or is it just "discovered" from the set of all possible things?

When we think about this stuff we're not actually thinking about anything profound, rather we are just examining intricacies of language and the definition of the word "discover" and "create." I mean if you think really hard and try to formalize the definition of "create" it can be said that to "create" something is to "discover" a single member from the set of all things. It can also be said to "discover" something is to "create" a new member from the set of all things. People are just getting excited over a language issue. The word "create" was never formalized and forms a sort of fuzzy overlap with "discover."

Basically it's one and the same thing sort of like is the glass half full or half empty? The actual reality of this problem is uninteresting and pointless. This paradoxical-like phenomenon doesn't actually exist and arises exclusively because in our language, we have a word called "empty" and we have a word called "full."

Consider the black wall. Is the wall "black" or does it lack color? Consider the flying bird. Is the bird flying or is it falling and missing the ground? Is the dark room full of darkness or is light just absent? It's all just language tricks I can "create" or "discover" an infinite amount of garbage here for you to think "profoundly" about without actually realizing it's just a language issue.
It's hard to understand American values when you look at who America votes into office.
> insufficient data for a meaningful answer

Well I can't very well see that phrase and not post it

https://templatetraining.princeton.edu/sites/training/files/...
I like the idea of math being a fiction, but the difference between math and novel is that in math you can never ever break the rules once they're set. In contrast, I see that novelists constantly ignore or retrofit the rules to make it interesting. Imagine this was allowed in math!

I also think that the fascinating part of programming is that it's sitting in between math and fiction, depending on an application. Sometimes you have to obey the rules very strictly (e.g. writing a parser), but in other times you can be wildly imaginative (e.g. designing UI).
The problem with an increase in security is that it almost always comes with a tradeoff of higher complexity. Higher complexity means more difficulty tracing. It also means the state space of a general purpose machine ostensibly there to be configured to fulfill the user's goals is a priori heavily constrained.

Point being, I don't see a shift in the direction of security above usability or ease of mentally modeling doing anything but worsening the problem. I could be wrong on that though, but the last 20 or so years of further encroachment by industry on User's perogative to configure their machine as they like doesn't inspire great confidence in me.

I can say I'm totally reading up on that though. I hadn't heard of it before, and it sounds interesting.
Thanks for your work keeping the site sane, Dang. Apologies. I get overly emotional.
Neutrino communication is simpler, you just need to modulate a nuclear reactor or a particle accelerator, and simply receive it at an underground detector array in a mountain... Well, easier than modulating gravity...
Are you including the full path? The last part of the URL is the unique store id - It will render a blank page if that's omitted. On my mobile safari, HN doesn't show me the full URL, but when I click on it, it renders fine
Emacs Buffer.c Source Code
As I see it, measured reactions against power structures get squashed. Maybe you get a token appeasement that actually changes nothing. It's just too easy for those in power to make it go away so they logically go that route. Going overboard is the only way to force a reaction other than suppression (not guaranteed of course, you might just get massive suppression instead).
As for Julia, I mean I like the matlab like syntax for data science use, and I’m sure its great for prototyping computation heavy algorithms where run time dwarfs the JIT lag, but its surely not suitable for a text editor, at least at present. I’ve tried Julia several times as new versions of have been released and for simple scripting tasks that required a few external libraries I’ve always ended up rewriting the script in Python because the scripts were faster to run from start-up, more consistent in performance (no unexpected pauses to re- pre-compile) and simpler (no messing around getting packagecompiler.jl working etc).
People are cooped up and want to travel, once the vaccine hits I think there will be a heavy demand for travel.
The fun part is that what we invented is a set of rules that governs what else we may or may not invent! That is, once you agree on what logic is and what some axioms are, you can show that certain statements can't be added as axioms. Similarly, once you've decide on your axioms, and your set of logical tools, you will find some things (like irrational numbers), that you wouldn't have introduced directly. It's pretty cool!
In fewer words than the article, there's a concept called a substrate, kind of like what water in an oocean is to a fish, and while we experience the patterns of it all the time as part of our normal existence, expressing it in language that lets us share our experiences of it with each other is very fiddly. But when we manage to describe things that consistently reflect other peoples experiences, it is like drawing a map. You can experience the territory without it, but it's a totally different game when you have one. So between the critical theory poles of empiricism and Platonism is our ability to perceive and express our experience of our substrate.

(What is our substrate? Turtles, all the way down.)

Institutions these days never seem to pass up a teachable moment when it comes to reinforcing the precepts of dialectical materialism. e.g. "If something doesn’t have a physical existence, he asks, then what kind of existence could it possibly have? “If one ‘goes Platonic’ with math,” writes Pigliucci, empiricism “goes out the window.” (If the proof of the Pythagorean theorem exists outside of space and time, why not the “golden rule,” or even the divinity of Jesus Christ?)" It's so tedious as to make me doubt their humanity, but I'm glad this girl sparked a popular discussion.
How is the migration to GitLab going? I still see people filing bugs via email...
So the “available for download” part is at the very least bad phrasing and at worst potentially misleading. Obviously anything you pay for and license is “available for download”, but if it’s not free to use then what’s the point? If anything it should simply state that the effects are “available”, as in they are now available for purchase.

Also, isn’t the BBC one of many publicly funded media outlets? It should at the very least be free to use for those who pay to keep the service alive, and ideally completely freely licensed as I think any public work should be.
I find this quite strange and short sighted.

I see my kids look at TikTok all the time. I don't really see how you could spread propaganda through 5 second dances and jokes. Especially since peers are doing that.

I would think the Party influence on Hollywood and other entertainment such as Computer Games would be way more disturbing. Injecting propaganda into a real story seems way more effective. Especially when you fully control the medium.
Quote: "Microsoft was developing Windows XP during an era when there was fierce competition with Apple over desktop operating systems"

I'm sorry, what? Talk about joke of the week. Apple never had desktop world bigger than 10% as market share. Not even today when it's at the highest peak ever, and in 2001 they were more like 1%. Sorry to burst your bubble Tom Warren, you do realize US is like 35 people out of 800. Asia market was and still is dominated by Microsoft when it comes to desktop.
It may never return if biz travel suddenly becomes unnecessary because companies think they go do a lot of previously in-person stuff via video call.
You do get into a bit of a problem when you put Windows on a tablet such as the Surface line. I think that’s what Microsoft was trying to solve with Windows 8, but they failed very badly. They have fixed some things such as removing the Start Screen and putting back a Start Menu, but the fundamental problem of putting a desktop OS on a tablet (touch targets must be bigger than click targets) still exists. I don’t see them fixing it any time soon, but I’d love to be wrong.
The upstream reply asked "I don't think I've ever seen a map that places United States in the center. Is that really a thing?"

So, your question is different.

But yes, to answer your question, in school we also had global maps that centered the Americas and split Asia so that China was on the left and Europe and Africa was to the right

I think it was split somewhere to the west of India, as I recall. The projection may have been over the US, but Im not positive. It was awhile ago

Edit: here you go: https://crosscultcomm.files.wordpress.com/2014/07/compart_wo...
> seamless interop with Objective-C and C

The interop actually has lots of seams. A huge engineering effort had to be made and has been made to paper over those seams, but they are definitely there.

Calling conventions are gratuitously incompatible, objects have to be converted at API boundaries at significant cost, the meta-systems are incompatible, etc.
My stats point is this, let me show a simple example. Say in my small poor country nobody has the latest BMW and most people use some 20 years Renaults. Then you can create some stats to show BMW is perfect and Renault is crap. Where would be fair to compare cars that are in the same price category, same age, same driver category etc.

Is the same statistics shit Apple fanboys use when they want to show that Apple can't be a monopoly/duopoly the use a world wide stat(where in fact in US Apple and Google are around equal (iOS appears on top on this source but who knows how credible it is https://gs.statcounter.com/os-market-share/mobile/united-sta...)

About laws, it is more like because someone is getting hurt with his power tools then we ban power tools and we allow only children friendly tools. This is not how it is sone, we can ask for safer tools but if someone injures himself with his power tools it is his fault. (and now I expect the argument about "Apple branding needs to be protected" dude Apple shipped bad keyboards and refuse to aknowledge the issue until a a lawsuit, Apple fucked witht eh battery behind the users back and a lawsuit had to happen for this to be shown, Apple branding is not something as a user you need to care about because it promotes antiuser behavious.
Perhaps he means "in the Bay Area"?
Here's the thing: isalnum has never been a bottleneck in my code. The sum amount of runtime that glibc's optimizations have saved my programs is almost certainly significantly less than the amount of time I had to spend untangling glibc's bullshit when it broke. Isn't "programmer time is more expensive than computer time" the lie that we've built this whole mess on anyway?

And even if you want to use a LUT, other implementations have incorporated a LUT without this segfault issue, for instance plan 9:

https://code.9front.org/hg/plan9front/file/00397858f3d8/sys/...

https://code.9front.org/hg/plan9front/file/00397858f3d8/sys/...
Is it planned to move issue tracking to Salsa?

I enjoy filing bugs via email, because that does not require me to create an account and I need email notifications to become aware of updates anyway.
That's already accounted for in the price of a pencil. They're not being sold for a loss.
New Uses For Assertions: in system reliability, AI, and data analytics
Preserving one's employment is not a legal defense
But there are systems, and more to come, to test against whatever these supposed to work with. That doesn't invalidate platonism, only tells that models may not match something. But that is already obvious, like you cannot win chess by poker rules — they do not even match the problem space. A spherical infinite set of eternal mathematicians could think of and explore all of logic systems. What is a true system anyway?
> since the US could just force FB to give them access to the EU data centers.

Which would then violate the EU laws, right?
The pricing also seems weird, the free plan has a 10% fee on all bookings while the paid one doesn't.

So after $300 worth of bookings, you are making more money off the "free" plan then the paid plan?
The case of Kucoin, and moving your assets out of exchanges
Do you have a source for that?

Because I'd love if that were true, but every explanation I've seen contradicts that.

The default isn't more space, as you write -- it's actually less space, for bigger elements. Which is why you would need to render at more than 2x. It does, indeed, scale up -- there are plenty of articles from when Retina's scaling options came out that state it does lead to a slight amount of blurriness because of this.

To be clear, under Display > Scaled, the "More Space" option is true 2x retina, while "Default" through "Larger Text" are the ones that upscale.

You can actually verify this yourself -- it you take a screenshot of any UX element at "More Space", and then take a screenshot of the same element at "Larger Text", they're pixel-for-pixel identical. For everything less than "More space", MacOS is scaling up.
Can validate. Craft is amazing, by far my favorite CMS, but if you have a true enterprise site and need to do any changes to fields, it's a nightmare. Crashes the site constantly, only solution is to boost RAM.
Push Without Notifications
I particularly like the closing comments about how we teach math. It is something of a theme that we do a bad job of explaining why math should be taught. It took me many years in academic research to realise that not only was math useful to me, but that I liked it. If we could do a better job communicating what math can do - make us rich, predict the future, win at games - maybe it would hold the attention of our students better.
Poets, like writers, use words. They often say things in few words subject to many internal constraints, so one must pay closer attention than when reading prose. (Indeed, many people write prose about the poetry as a guide.)

Mathematicians use even fewer symbols to say things subject to even stronger internal constraints, so one must pay even closer attention than when reading poetry. (Indeed, almost all people write prose around the symbols as a guide.)

Some poets explore what happens with more, some with fewer, constraints.

Some mathematicians explore what happens with more, some with fewer, constraints.

(Viewed as a MMO game, mathematics introduced the parallel postulate in or before 300 BC and although many people said it ought to be nerfed, the nerfing wouldn't happen until 1830.)
... and at that, one could argue that even that isn't necessary.

I just checked my fridge, it has six buttons and an LCD panel, and in all my (4) years of home ownership, I haven't touched the buttons a single time.
I mean, irrational numbers are maybe "ugly" from a certain perspective, but they are the price we pay for other things that make our life easier.

Rational numbers are arguably nice and easy. But if all we have are rational numbers, 2 doesn't have a square root. More in general, our number line has holes, and one of the most fundamental properties of analysis - that every non-empty bounded set has a least upper bound - goes away. We could do away with that (and arguably, irrational numbers don't really exist "in the outside world") but it would make all the calculations so much more complicated.
Just like asset inflation occurs when the government hands out trillions to huge corporations that gets turned around and invested in already high stocks?
Only about 3% of the energy of a fission reactor comes out as neutrons, so even if one stipulates these would cause fusion efficiently the energy multiplication would be small. One might as well just stick with fission.
Turtles all the way down. I think we should try to nail down answers on simple cases before trying to unravel apparent paradoxes.
Hi there, which of the three Stripe Connect account types did you go with?
Non-euclidean geometry was a retcon.
I agree. The term gets over-used with (senior) celebrities but in his case it is deserved, I think.
Because it is a different problem that many other countries do not have.
There's tsar for doing grandfather-father-son backup rotation:

https://support.powertools-tech.com/safonso/tsar
This is the second time in as many weeks I've read a complaint about Bose headphones. The first was that their Bluetooth was so janky the audio itself was delayed multiple seconds and out of sync with video playing on the device.

That blew my mind, my $20 Amazon-purchased Bluetooth earphones just work™ with no delay.
Well, people certainly invent novel proof techniques which remain controversial for over a century. For example, Cantor's diagonal argument, which people still deny the validity of today (although those who do are generally considered cranks).
If I was a marketing person at Apple right now, I would MILK THIS NOW!
In my understanding, that’s exactly what math is, a language. And various modes of thought have utilized the language of mathematics to communicate ideas that were otherwise not possible or not consistently able to arrive at same conclusions.

This is very interesting. What is language? When does language evolve? Is language itself consciousness?

Whenever there’s a leap in language is it because something had to be constructed to help assign an abstraction to a coordinate in space where thoughts exist?

It appears we’re languages all the way down.

Or analogicalmachines? Lol.

Lots to unpack here - some with what many would call not nice Consequences.

What happens when a minority elite (unsure how else to describe it?) disciplines require a language that the majority lack the finesse to use? Example: math used in physics, or programming in computation. If the languages being used introduce more complexity without the ability to reduce net complexity then it damages the communication of the specie using it. I’ve been thinking about this quite a bit on our trajectory as a species.

Complexity in language leads to information silos which leads to various existential risks based on information and miscommunication.

Also interesting coercion / authoritarian emergence comes out of those creating a new language to reason about an abstraction which leads to a success that negatively impacts those which do not know the language and if the space to understand said language is sufficiently far enough you have much room for manipulation. Also, who gets to say which language is the right one? What happens when a new language is created that is more advanced and the majority disallow it preventing an evolution? Interesting dynamics.
This feels cheap, as most articles do in the past few years. Scapegoat presidency. We can start over on a clean slate with ANYBODY else. Because thats how it works.. We didn't start declining since we started a buncha endless wars, we started declining because of this one person here and now. Cheap and divisive, can we check if the author isn't a foreign asset?
Did a Hostage Crisis End Domino's Greatest Ad Campaign?
Perhaps a history lesson would benefit her more than one in mathematics.

We don't know much about Pythagoras and why he did mathematics.

But we do know a bit more about Archimedes and the reasons why he did mathematics: to kill Romans and improve plumbing.

Two things that mathematics was found to be extremely good at.
A good example of this is unionization. If a decent chunk of employees are upset about things, but you don’t do anything to alleviate it, they’re more likely to want to unionize so they can force the hand of their employer.
Pricing is still WIP, but essentially yes, if a user is putting even a small amount of revenue through this thing then it makes more sense to sign up for a standard account. I’m trying to encourage users to do this in order to get consistent revenue
What is Git fixup and how it's helpful?