skysight-inc/HackerNews huggingface dataset:
I responded to the comment above with some examples of the kind of thing I'm hoping for. I don't think a deep philosophical discussion about math is necessary. Just reinforce the idea that math is a symbol system for dealing with questions of shape, quantity, and logic, and give multiple examples of applications of the same concept. Also convert between symbols and diagrams/drawings frequently (for example, I'm willing to bet an absurd number of Americans can't understand how a virus spreads exponentially; if you draw a pyramid of infected people, I bet they'd get it immediately; but instead we use curves and lines that don't connect with people).
What we call mathematics actually exists as a single point in a space of an infinite number of sets of axioms and inference rules.

We like this particular set of axioms and rules because they can answer questions about physics, but they were stumbled upon almost by accident when we started using the concept of numbers and asking "What does it mean to prove something?".

One could imagine other points in this space though, which define, say, the game of chess, or perhaps something as complex as English grammar. It just so happened that the point we naturally settled on for mathematics is one that was powerful enough to lead to the rules of algebra and geometry etc., and also consistent/deterministic in the same way that most physics seems to be (which is convenient for humans, whose brains are limited by physics).

So, mathematics doesn't "underlie" physics in the sense of being more real than it, but merely is a point we have chosen because of its similarity to physics. I suppose the real question, then, is why should such a useful point exist in this infinite space at all.
I don't think it's a fair assessment as many researchers are disappointed that the model wasn't released. And I'm pretty sure they do understand the model size concerns.

Running inference on this massive model would be a really interesting challenge for people working on model compression and pruning as well as those working on low memory training. New challenges are always a good thing for research.

Personally, I just wish it was easier to get an access to their API. I have an experiment in mind that I can't wait to try.
Then why would you put China alongside USA? It’s not like their software has been an international success. China pretty much only have TikTok, while EU have Spotify.

You might be tempted to include WeChat and games that Tencent brought, but if we lower the bar to that then the list of EU companies would grow a lot as well, such as SoundCloud, Shazam, last.fm, Viber, King, Mojang, Rovio, Supercell, Kiloo, Dailymotion, Criteo, SAP, ASOS, Skyscanner, Wix, GoCardless, Adyen, Kaspersky Labs, Yandex, Transferwise, Badoo, etc.
Previous catastrophes did not vent the millions of tons of hydrofluorocarbons into the atmosphere that we will, that break down into a greenhouse gas thousands of times as potent as CO2. (We thought switching from CFCs to HFCs would save us. Joke's on us!) The total of HFCs currently in circulation, eventually leaked or vented, will produce as much greenhouse effect as all the CO2 currently in the atmosphere. (A sharp minority of the responsible people collect it for disposal.) So, it's not just CO2.

The US is supposed to switch from HFCs to something else around 2024. A lot of companies are switching to propane refrigerant ahead of time because it's cheaper, and worry about it igniting has dissipated, vs. looming ecological catastrophe.

BTW, to my knowledge the Greenland structure has not been reliably dated, nor even confirmed to be a bolide crater (although it seems like one). YD bolide impact seems pretty secure, though.

Temperature change might be a relatively minor effect of the CO2 concentration peak. Ocean acidification causing a collapse at the base of the food web, as marine animals become unable to fix calcium to make shells, might be more important.
Another approach can be seen here http://lambdaway.free.fr/lambdawalks/?view=fromroots2canopy without closures, lexical syntax and laziness. I don't know if it's still lambda calculus but we can still have fun.
Who is building the mobile-first intercom for mobile subscription businesses?
Features we wish we had:
-1 tap interaction with native modal views (survey/actions)
-in-app chat for support with automatic translations
-send WhatsApp/Instagram/SMS
-push notifications
The current legal understanding is that according to the current copyright laws the ML models trained on some data are not considered derivative works of that data, so if the data was obtained legally and without other restrictions (e.g. if the researchers sign a contract with the data owner that gives them access to data but agree to certain conditions) then the authors of the data do not have any claim on some rights to the resulting model.

One aspect of this is that historically statistical models calculated from large volumes of text (which is a notion that predates computers, e.g. frequency dictionaries and the whole [sub]field of quantitative corpus linguistics) have been considered facts about that corpus of text and thus not copyrightable at all or (depending on jurisdiction) entitled to different set of protections/limitations assigned to compilations of facts, which give some rights to the people who compiled the facts but no rights to the source of these facts (since facts as such can't be copyrighted).

This also applies to many forms of analysis of audiovisual data, where the copyrights of the source works do not transfer to the results of the statistical or qualitative analysis and can't limit their creation, distribution or sale.

The appropriate analogy to a commercial book or movie is not a translation, but some analysis of it - e.g. a thorough literary review and critique of some book or movie is a separate work with its own copyright, and the original author has no claim on it despite the fact that is (obviously) based on the contents of the work and describes it in great detail. Including verbatim fragments of the work is limited (fair use allows some inclusions but not all), but all the other details are not.

Also, the whole notion of copyrightability of ML model weight files is interesting and IMHO not settled. You could argue that there is some creative expression in forming the model (which would support it being copyrightable) or you could argue that it's a mechanistic result of the application of some algorithm and settings (which have the creative part, and are copyrightable on their own), and so the output can't be copyrightable, no matter how much work (human or machine), time and cost it took - at least in USA copyright law doctrine (e.g. Feist Publications v. Rural Telephone Service) is that mere "sweat of the brow" (no matter how much) does not entitle a work to copyright protection; it requires application of human creativity to create an original work, and automated processes can't satisfy that requirement.

So from the perspective of GPT-3 authors it might be prudent to distribute the model only to people who agree to specific, explicit contractual/licensing restrictions on redistribution and usage of the model instead of simply relying on the default application of copyright laws.

And crucially, if some output is not copyrightable, it can't be considered a derived work to which the authors of a source work could have some claim.
Wayland relies quite heavily on sharing various resources (especially memory) between server and client. Getting this to work between a server in Windows and a client in the WSL2 VM sounds quite tricky.
Neither Google nor Microsoft were or are actually choke points. The internet is plenty democratized. People simply choose to use a few big centralized services. They have the ability to use others. A democracy where everyone votes for the same candidate because they're the best candidate is still a democracy.
Do you have any evidence for your claims?

Meanwhile in the real world, Charles Moor, former editor of the Telegraph, is mooted to become the chairman of the BBC and Paul Dacre, former editor of the Daily Mail, is to be head of ofcom, the media regulator.

Not exactly paragons of impartiality are they?
A Crispr Baby Future? New Report Outlines Path to Human Germline Editing
>art is the field of human interest with beauty as its transcendental ideal.

I have no idea where this definition is coming from. I don't think many people would agree with it.

The most obvious counterexample that comes to mind is Picasso's Guernica[1]. It is one of the most renowned pieces of art of the 20th century. It is also ugly. There is no color. The characters are distorted in grotesque ways. It is too large, too chaotic, and almost confusing to look at. This is all intentional, it is after all a depiction of a war crime. It is a work of art that isn't meant to please its audience, it is meant to upset and challenge them. Is it bad art?

[1] - https://www.pablopicasso.org/images/paintings/guernica3.jpg
> Asking visitors to Try it Free increased clicks by 212%.

And ask for a credit card, right? Leading into the dark pattern of "forced continuity":

"When your free trial with a service comes to an end and your credit card silently starts getting charged without any warning. You are then not given an easy way to cancel the automatic renewal."

https://darkpatterns.org/types-of-dark-pattern/forced-contin...
A moderator changed it because it was linkbait. Note this from https://news.ycombinator.com/newsguidelines.html:

"Please use the original title, unless it is misleading or linkbait"

For book reviews or articles about new books, the book title often makes a better HN title, so we turned to that in this case.
Sales is also graded by level of "touch". For example, selling IT services contracts is very high touch. Signing a deal could involve weeks of written correspondence (RFI, RFP), in-person pitching, contract negotiation, etc. Low touch could be fully automated with simple, non-negotiable pricing. There are lots of levels in between.
Customize Your Comments Section
Inception of fundamental disagreements ...

On the point, what do you do if the machine is not there anymore? Your model fails immediately. Also, some processes operate on an assumption that the "machine" will stand-up -> do-something()- > die(), which your model also doesn't support. Not to be messing with you, but I don't think there is the "right" model, but whatever works for us. I do like your model for immediate accessibility of the logs.
Ego: https://www.youtube.com/watch?v=Od2baRZA-YY
US Space Force Enlists Blockchain Firm to Deploy Hack-Proof Data Defenses
With DO, I've noticed that you can enter login credentials into the sign up screen and it works to authenticate you if you have an existing account.
it would let me use the linux tools I want alongside MS office

I used to go this route. I used WABI (Windows Application Binary Interface) on Solaris in the 1990s, sort of like a very early WINE. However as time has gone on, I found that the Linux Office Suites (LibreOffice, more recently) have become more and more sufficient for my needs.

I realised recently that I haven't really booted Windows itself more than half a dozen times over the last few years.
I got my first Windows 10 a month or two ago with a new laptop. I then proceeded to squeeze it down to under 100 gig on a 1 terabyte hard drive. On my main desktop, Windows 8 is relegated to a mere 50 gig out of 12 terabytes of storage.

I have used Windows 7 on VirtualBox more often for running my HP Scanner's MultiFeed software, just because I can. Though normally, I just run a single-sheet scan most of the time under Linux.

In summary, Windows could completely disappear and it would not affect me adversely at all.
Google Tables (Beta)
There are a lot of personal preferences we regulate away. I prefer to drive drunk home from the bar, but that's illegal. I prefer to build buildings without obeying fire safety building codes, but apparently that's also illegal.

30k / year die in car accidents in the USA. This is a real problem with a huge human toll, akin to drunk driving or building codes.

Step 1 is slow the vehicles down. As soon as they slow down, one of the main drivers of size - fear of an accident with a bigger vehicle - will be greatly decreased and we can do step 2: shrink them.
The parent comment was presumably talking about the suburbs and sprawl, of which 55% of Americans live. These areas were designed for cars.
Most accidents are at low speed, especially when you are talking about hitting pedestrians and cyclists. Your suggestion is non-sensical.
What does that even mean? It has an integer add instruction, surely, and integer add can overflow. Do you mean you get no exception? or no status flag to check?
Considering it says "Currently only works on the desktop version of Google Chrome" it seems like that would be a feature
Why Loneliness Fuels Populism
thanks for sharing about 5-HT2A receptors! I'm just generally casually curious about how consciousness works. Check this out from 2020: https://psychedelicreview.com/the-structure-and-function-of-...

Even though neuroscience intimidates me, I'm smart enough to regurgitate the summary: "The 5-HT2A receptor is central to the effects of many psychedelics, but it may not be the only receptor involved." Also I know enough about myself that I don't kknow any of these topics enough to evaluate Barbara E. Bauer, or https://psychedelicreview.com. I can keep Googling though ...

This was quite interesting news: https://psychedelicreview.com/uc-berkeley-opens-the-center-f...
By this logic, they should be focusing on higher income people if audits of lower income people are automated and therefore require drastically less manpower.
“The amount of data as well requires a massive telemetry apparatus, and designing likely models seems the province of people with PhDs.”

Transfer learning takes care of your first point. The second is taken care of by the plethora of open source libraries such as fast.ai that abstract away most of the decisions one needs to make when creating a deep learning model.

Oh did I also mention Kaggle and Google Collab offer free GPU to train your models, in addition to the thousands of publicly available datasets?
TikTok as an interesting take on recommendations compared to other platforms.

Instead of presenting a list of recommendations (like YouTube, Netflix or Instagram does), TikTok infers what it thinks you will like and directly shows it to you. Then based on how you react: if you like the video, follow the creator, watch it until the end, or swipe away, they know with much more accuracy the type of content you enjoy. This allows for more testing on their part too.

On the other hand, on platforms like YouTube, there are a lot of factors beyond the video itself that influences if a person even clicks on it (like the thumbnail, the title, the number of views, who the creator is), so if someone doesn't click on a video, that doesn't tell you if they would have liked it or not. Because of that their data to make recommendations isn't as accurate.
Interesting thought in your second paragraph. Through similar reasoning it would also follow that one of the bigger forces promoting science - or at least applied science - would be war. It's one of those things that keep you grounded in reality - the ship will either sail or it will sink; the shell will either land on target or it will miss. When your invention is going to be put into combat use, you can't get away with nice-sounding stories. You get instant and often visceral feedback.
op here! I definitely do believe that regulation is the path forward to shrinking and slowing cars. But that's not actually what I suggested. I just want the ability to PURCHASE one of these in north america - and for them to catch on
> Compel people to act. Use action verbs such as get, start, and try.

I don't enjoy being "compelled to act" when action involves handing over my credit card number (or email address, etc..)

Oh no, my large friend isn't here to hurt you - he's just here to compel you to act.
I've noticed that firefox always reports errors as "Script Error" and gives no stack trace, which makes it quite hard for me as a website maintainer to collect and fix browser specific errors. Chrome gives me nice, specific errors and stack traces so I can track down and fix the error quickly.
Oil is useful for a lot more than just burning it. Fertilizers, plastics, and asphalt are the most well known but a host of industrial processes use it as a feedstock. It’s only recently that oil has been hard to find, initially it was seeping up from the ground which still occurs on the sea floor in some areas making it hard to miss.

So some other civilization could exist without using it, but they would look nothing like ours.
https://www.urbandictionary.com/define.php?term=Perfect%20Cr...
I just did a short thread on how we went from $0 -> $2m ARR with founder-led B2B sales.

https://twitter.com/ChrisJBakke/status/1309197276061945857

There was a lot of interest, so I wrote a longer-form version that I'm sending out next week, and I'm happy to send to you if you email me.

The biggest things are: learn by doing + learn via mentorship.

Feel free to email any specific questions and I'll do my best to help answer.
Thanks - but that raises further questions about what exactly an azure databrick is!
I was under the impression that if your frequency is not exactly 60 Hz then a place where two separate power sources meet could result in what you might describe as a kaboom. Is that not correct?
It’s also a trivial port because the underlying Chromium engine already runs on all those platforms.
https://archive.is/81N8I
https://archive.is/Akmcx
Indeed, Skype is an example of this.
Seems comparable to https://graphviz.org/

Perhaps pikchr is more flexible but more verbose?
This is an anecdote that I have not tried to verify, so take that for what it's worth. A colleague in the early 2000s immigrated from New Zealand to the US. His wife went to get a job at a grocery store, and he told me that he was amazed that the hiring manager could not tell them how much of her pay would go to taxes. The implication being that this sort of thing is easy to figure out in NZ, but impossible in the US because of complexities in the US income tax system.
How MrBeast Is Building a Billion-Dollar Empire [video]
>What we call mathematics actually exists as a single point in a space of an infinite number of sets of axioms and inference rules.

No, the word mathematics actually describes this entire space. You can go a level below math down to logic. Logic are the rules that bind all these different mathematical fields together.

In addition to axioms that are assumed to be true, Logic in itself is also assumed to be true and we use a singular set of logical rules for all of mathematics.

>We like this particular set of axioms and rules because they can answer questions about physics, but they were stumbled upon almost by accident when we started using the concept of numbers and asking "What does it mean to prove something?".

Much of abstract mathematics has no real world counterpart.
YouTuber Barnacules, use to work for Microsoft and he did tell a story on his live stream about ridiculous comments MS developers use to put in their code, I am sure they still do
It was removed from Microsoft code too. This is an old snapshot of the code, almost two decades old.

Since the 2002 TWC initiative, anything from easter eggs to things like that are all very strongly banned, and actively get removed as they're discovered.
TLDR: "Today’s rightwing populists have proven so successful at appealing to those for whom the traditional bonds of the workplace, religious institutions and the wider community have broken down. Their success also lies in this: an appeal to the feeling of exclusion and marginalisation that many citizens have come to experience in recent years, a sense of being ignored, even abandoned, by those who hold political and economic power."

The logic seems to argue more that outsiders will appeal to the lonely.
That's actually the wrong way round.

For advanced designs the instruction set really doesn't matter that much, the bulk of the silicon in a modern advanced CPU is spent doing things like caching, branch prediction, instruction scheduling, buffering loads and stores that may be unwound due to speculation, address translation, etc. These things are completely instruction set agnostic. To see how little it matters look how well x86 processors work despite the x86 instruction set being a mess (even figuring out how long an instruction is in bytes is a nightmare) or how well advanced ARMv7 processors despite that instruction set being a mess (a free shift on every immediate, urgh).

Now low-power is a completely different game. The bulk of the CPU is spent doing really quite basic stuff, fetching instructions, decoding instructions, simple ALU ops. Tiny differences to the instruction set can make a big difference to how much silicon (thus power) this takes. This is why RISC-V offers a 'reduced' variant (with only 16 registers), they know that for any low-power design the vast majority of silicon area is just going to be spent on flip-flops or latches for the 32 entry register file (what a waste given the tiny performance bump in moving from 16 to 32 registers). That's a lot of leakage power for no reason.

Now RISC-V is not necessarily a great instruction set, but it's not really an awful instruction set either (from a pure perspective of implementing an efficient 32-bit CPU, I'm sure it has academic advantages). For example nobody implements a RISC-V CPU without the 'C' extension (16-bit instructions) and given that they really should have just made all instructions 16-bit with optional 16-bit or 32-bit payloads (typically immediates). This would have meant it was only a single instruction to load a 32-bit constant rather than two and code density would be higher (thus less power spent fetching and decoding instructions). On the other hand you'd have a lot less extensibility available. Probably this would require 16 registers instead of 32 (not enough bits in the 16-bit instructions otherwise), but again this is a good thing for lower power in small CPUs.

So RISC-V will never be the best instruction set for low-power 32-bit CPUs, but it's definitely better than x86 and ARMv7, and that's probably enough. And for 'advanced' designs it just doesn't matter, it's all about the quality of the implementation.

Personally I dislike RISC-V but I will still use it for implementing CPUs (and already have) due to the toolchain support. Designing your own instruction set is fun but porting a compiler is not, and RISC-V is sufficiently 'not bad' that it does the job. I imagine a lot of people feel similarly.
What if I have a large family? What if I need to crate my large dog in the car? What if I want to go to Costco and buy a bunch of groceries and supplies and bring them home? What if I like visiting national parks and the speed limit en route is in excess of 70MPH?
Please stop taking HN threads into nationalistic flamewar.

https://news.ycombinator.com/newsguidelines.html

We detached this subthread from https://news.ycombinator.com/item?id=24597659.
>Why this specific one?

That's rather a simple one, every point of experience is "this specific one" for itself, but in reality there are no specific points. If you were a fish in previous life you would only know that and the question would be the same.

If you mean "why" in terms of "how", the mechanics of it, well as far as I can see it's way bigger than our intellect and in turn language can handle. One assumption I have is that at the moment of death we will get it, not intellectually because the brain won't work but rather experientially.

>our existence is permanant in the history of the universe

Tell me how do you really, existentially separate yourself from the universe?
Power sources are not synchronized to a fixed 60 Hz, but to each other. If the frequency drifts off 60 Hz, the entire grid drifts together.