skysight-inc/HackerNews huggingface dataset:
I think the answer is way more straight forward then this... We play games because it’s fun. Having fun makes us happy. Being happy is a goal that is worthy in and of it self. A life which is optimized for happiness is a good life. If a game makes you happy, and it makes people around you happy, that game is worth playing for if only for that reason that it makes you happy.

Its funny that you mentioned “feed the homeless” as an example here. When I lived in San Francisco I spent every Tuesday going to my neighborhood anarchist space to cook for Food Not Bombs and later served it on 16th and Mission. Why did I do that? Sure helping people is a noble goal, spreading anarchist propaganda through direct action is productive for a cause I believe in. But the number one reason I spend my time there—by far—is because it was fun.
I'll just say, if you're gonna put your thumb on the scale, you need to not fuck it up.

They streisand-effected the whole story, and made themselves look bad and unfair in the process -- how many unsourced claims about Russian interference have they let stand? This was a fiasco all around.

Cheers and solidarity.
If you have literally no legal moves why can’t the game just be programmed to stop?
> My point is that by whatever measure pure maths is worth studying (i.e. those measure beyond "practical" applications) also obviously applies to HoTT.

Not all branches of pure mathematics are equally worthy of study. A few are essentially dead for various (good) reasons, for example.

> There are pretty standard ways of talking about how well-regarded/important certain subfields are in mathematics, "I've asked around" isn't one of them.

How should one figure out how well-regarded a subfield of mathematics is if not by asking members of the mathematical community?

> His comments express a substantially different point to yours. He does not say that HoTT is a waste of time, or that it "doesn't have much content".

His comments support the point I intended them to support, which is that Lurie is not a huge fan of HoTT. You made a remark about well-regarded mathematicians, and I gave you comments from a well-regarded mathematician.
Let's keep in mind that these products are largely going to be delivered directly to the customer. Perhaps the issue is less about how many iPhones you can fit into a shipping container, and more about how much it costs to ship an iPhone by USPS/UPS/FedEx.
Still doesn’t seem like very long!
I agree completely and this is one thing HN does like most other sites with user contributions and it’s TERRIBLE.
SpaceX Launches ‘Better Than Nothing’ Starlink Beta
I'll probably just stop having phone notes. Just write stuff down instead
If you want to confuse your users.
Nobody wants to say it, but the only real distinction is the investors and the composition of those investor's portfolios.

When Tencent, Sequoia and Andreesen Horowitz are in the same room, its a startup, specifically a tech startup.

They could be selling hairgel with only a landing page for you to put your email address and it would be a tech startup. They'll make sure it is considered as much.
Yes there is some correlation. People who are generally healthy tend to spend more time out in the sun.
Maybe it works when navigated to directly, but the only time I ever go to Twitter is if someone links it from Reddit. And without fail that looks like this: https://imgur.com/fQJ27MF

The button to “Try Again” doesn’t work either, you have to manually reload the page.

This is in Apollo on iOS, but it sounds like the same broken behavior happens in web views on Android.
I really hate using G Suite at work. It’s my number one complaint about our tools. It’s truly an inferior product. I don’t know why we use it unless it was cheap. The nested emails in “conversation mode” are awful and keeping every email as a separate thread is also awful. Just really bad and hostile to the end user.
To spend a bunch of money. When someone you know (especially someone you're related to) works for the ad agency.
Exactly. I don't understand why nobody mentions this, but the decision to ship a USB-C to lightning cable makes a lot of sense when you think about customer segments:

- People who are upgrading an old iphone will still have a USB-A to lightning cable from their old phone, so they can charge their new iphone using their old charger and old cable

- People upgrading from android probably already have a USB-C charger, so they can use the bundled USB-C to lighting cable to charge their new iphone

- People who want to buy a new USB-C charger can do so without also needing to buy a lightning cable to go with it. (The charger can also be used for charging an ipad or magsafe puck, so it makes sense not to include a cable with the charger.)

In short, by including the USB-C to lightning cable, almost everyone who buys an iphone 12 won't need any new accessories with their new phone. (Unless you want faster charging or wireless charging and don't have other USB-C bricks floating around.)
It lately never seems appropriate for software lately when its mostly just constant bi-weekly incremental upgrades.

When there is a massive re-imagining of the product is the time to create a new icon or logo. In software its become change for the sake of change and is almost never better, just different. But in the case of Domino's pizza making their pizza go from disgusting to a completely changed product that was less disgusting a total overhaul of the logo felt appropriate.
Nobody seems to be asking a related question: in a sunny country like Israel vitamin D deficiency should be less common, does that translate into fewer Covid-19 cases?

Well, there seem to be differences between different ethnic & religious groups, but on average vitamin D deficiency seems to be less prevalent in Israel: https://pubmed.ncbi.nlm.nih.gov/28647929/

However Covid-19 cases don't seem to have been lacking in Israel https://www.worldometers.info/coronavirus/country/israel/
Related, it really bugs me that some startups are throwing the ‘no code’ tag into their pitch decks or Product Hunt launches just to hop on a trend.

As you noted, every app built for the end user is ‘no code’ in some respect.
Is aptiv/nutonomy a serious contender? The big automakers are betting on subcontracting self-driving tech like they do with every other commodity part.
"invented by somebody else"

Yep, perfectly describes the stereotypical useless executive that wants to show results by making some surface level modification. I often see it where I work at a lower level with new managers who want to rename the departments under them. It means they can immediately say in their first performance review "I created department X!".

Part of the way I identify good managers is by whether or not they do such a thing, or whether they wait a year to fully understand things before making more substantive changes. Or you know just running things normally, looking for those incremental improvements that add up over time in a bigger way.
For the ultimate low stakes version of this, when I played World of Warcraft in my younger days, tank swaps would communicate the same way.
Oh, interesting! Thanks for the extra info.

Wow, if they're insisting on COVID-19-antibody-free blood for donations that's going to cause problems as a greater percentage of the population gains antibodies to it. I guess they'll have to change to a specific test for current infection.
I want visual guides to be clear, simple to identify, and indicative of function.

They do not need to inspire me. I do not need my UI to be fashionable. I do not _want_ my UI to eschew function in favour of style.
Sorority houses were formerly banned in Louisiana.

Something along the lines of n women living together was considered legally a brothel.
>>Death is monstrous.

I'll be a contrarian and post this:

>>No one wants to die. Even people who want to go to heaven don't want to die to get there. And yet death is the destination we all share. No one has ever escaped it. And that is as it should be, because death is very likely the single best invention of life. It is life's change agent. It clears out the old to make way for the new. Right now the new is you, but someday not too long from now, you will gradually become the old and be cleared away. Sorry to be so dramatic, but it is quite true. Your time is limited, so don't waste it living someone else's life<<

Steve Jobs
Annecdotal: I live in a fairly northern country, and I've heard quite a lot of people say their mood is more normal over winter if they supplement with Vitamin D.
Indeed! Look around at any mature software and you start to notice that it can be worked with at multiple levels. Perhaps it’s a bunch of built-in features to most users, with a smaller group of users tailoring things with “add ons” and “plug-ins” and “apps”, and finally an even smaller group who writes their own extensions or integrates another application with the API.

“No code” is always what software vendors sell in the beginning. Eventually, they win a large enough audience that they have to add full programmability, if only to automate the testing and management of things, and someone waves enough money at them to allow for some custom thing or other.
And Microsoft with recent additions to Office. The larger icons in the ribbon at least have splashes of colour, but the quick access toolbar is entirely monochrome.
> The website has become embarrassing, with videos loading ridiculously slow or without audio.

Considering how Orwellian they are with content curation and moderation, particularly with anything that has even a whiff of politics, I see that as a good thing.
Two cables is far better than two bricks.
I think the killer feature of macs with Apple Silicon is that the iPad versions of Slack and Discord would "just work" and people wouldn't have to deal with Electron crap anymore.
It works on any string of HTML but it doesn't have SSR so I don't think it counts as hydration.

Also, the unsafe-eval CSP is way too risky.
I only connect my Samsung TVs for firmware updates, seems to work fine pulling the plug after.
The suggestion I've been given is to watch a riff track version rather than the original. The biggest sin of the holiday special is that it's dull and no amount of cold medication will help improve it, as I discovered one January.
Maybe not for Covid specifically, but they have found it helps with other respiratory diseases. Example: https://news.harvard.edu/gazette/story/2017/02/study-confirm...

I take 2000 IU every day and have for years. My doctor said my vitamin D levels were low, but they are now in normal range.
The reason it had it's value was is scarcity. A traditional special. You are suggesting putting up Xmas decorations in October is a good thing.

But ignoring that, why not create something new? Are all our artists to busy with work?
I specifically avoided insulting them. "Ignorance" is not an insult; it's a description of your knowledge on a topic, and if it isn't the right word to describe telling such a blatant and fundamental misunderstanding, then what is?
I cannot wait for this moment
> Who said icons are supposed to be inspired?

haha yeah they don't have to, but there's just some good examples of "inspired" icons out there and it's kind of sad Google didn't take the chance to do something similar. The Microsoft office icons, for example, I'd call clear/differentiable and inspired. You get the cool detail that the shape for each is associated with the document type they edit (tables, text, graphics, email/calendar) subtle gradients, depth through great use of shadows, and even on apps that are technically the same color (blue is used for 3 apps) subtle yet noticeable changes in hue [1].

There's also macOS icons, especially the older ones. There's many examples icons with wonderful uses of texture, depth and detail, many of which altogether break away from the trend of "one color per app" but still manage to stay unique and, well, iconic [2].

It would've been great to see something with a little more effort and "inspiration" from google, although yeah, at least something clear and distinguishable would've been good.

[1]: https://systechinfo.com/microsoft-rolls-out-updated-office-i...

[2]: https://img.utdstc.com/screen/3/official-macosx-leopard-icon...
Tesla expects to demonstrate self-driven cross-country trip next year
> I've helped several do just this.

Interested in hearing more.

Which tools have you evangelized?
Hackers should have instead sacked the website publishing all the Hunter videos and pictures.
Doesn't explain the death of Google Reader.
NIMBY's have successfully waited out the surge in demand. Why would they cave now?
This is great. His Edison language is an interesting early exercise in building the minimal language with good support for concurrency. Prior to this dump there much information about Edison online but now you can get the full write-ups and code:

http://pascal.hansotten.com/per-brinch-hansen/edison-a-multi...
As a developer, I almost have no problem with companies choosing the no code tools. As cynical as this will sound, those apps will age like milk as per usual, and they will always want custom uses cases that will require platform knowledge. And, those platforms become old, and stop being cool. It’s almost like ‘no-code’ debt, it’s gotta eventually get paid.
Sometimes, yes. It seems like it usually fails when I first go to a tweet from a link on another site. Then if I refresh the page it might finally load.
A ton of businesses have been running on no-code for decades. Excel, MS Access, Squarespace, Gmail and many others. Not every business is heavy on writing code. They just want to get things done quickly.
Except it does seem to help: https://news.harvard.edu/gazette/story/2017/02/study-confirm...
You guys are such squares. Remember when they replaced the google logo? It was some serif thing, they smoothed it out and made it look more modern. It felt terrible at the time, but nowadays when I see the old logo, I have to laugh at how silly it looks. I can't help but feel that the entire reaction to this change is born of familiarity. The author practically admits as much when he recalls hating a change to the gmail logo, only to have it grow on him. The new logos are kind of cute, honestly. Here's to the new!
It really is. High level programming languages were the original "no-code" compared to assembly of course.

That said: no-code is not "no engineering"
The ideal mid-way frameworks offer both, a library of patterns that work for internal applications that are almost no-code, and ability to write code where business logic is required. There are some things that are still best expressed as code. I am not sure if a truly "no-code" framework is possible for real-world applications.

We have built Frappe Framework [1] as a platform to re-use code for our massively complex application (ERPNext with 900+ models). While it does not have a drag-and-drop UI builder, object creation and migration is fully automated via configuration. The key reason why this works as low-code is:

1. Automated UI generation (via metadata)

2. Automated database management (schema and migrations)

3. Abstracted functionality that can run on any object (like permission rules, workflows, assignments, file attachments, PDF generation etc)

The configurations are stored as JSON files that can be used for source code management [2]. Frappe Framework is still under the radar, but of late we have seen many teams using it massively for internal tooling.

[1] https://frappeframework.com/

[2] https://github.com/frappe/erpnext/tree/develop/erpnext/selli...
I can't remember the last time I saw something with a commercial on Hulu.
>"I even find the jetbrains IDEs kinda laggy."

On my laptop (6 core 3,9GHz 32GB RAM and NVME) VS Code is fast and responsive, still wastes lots of RAM though. Jetbrains tools meanwhile were way more laggy on the same setup.
I am visually impaired and they look great to me.
.NET is faster than C++ and Go in gRPC_bench
That's a PG, a HN alum, a good one too and I use them for couple of my services; But even they require special approval for International transactions last time I checked.
> How is this not partial evidence that ZFC is trash?

ZFC was never intended as a language for practically doing mathematics in, so that's a weird criticism.

> Mainstream mathematicians do run the risk of being siloed in narrow specialties because abstractions are needed to distill the all definitions of remote areas of mathematics.

Mathematicians are siloed in narrow specialties because they focus on solving hard problems that require a great deal of specific subject matter expertise. I strongly doubt that "distill[ing] the all definitions of remote areas of mathematics" is even possible, or a fruitful project to attempt. Could you give an example of how definitions from, say, probability theory and algebraic geometry might be merged in a useful way?

> No you need formal proofs to check that there aren't errors along the way. And lack of formal proofs slows down new weird stuff like the ABC conjecture proof candididate.

I think this comment misunderstands the problem with the ABC "proof," which is (speaking roughly) that a certain lemma asserted something that was crucial to the argument, but which was never actually proved. Peter Scholze and others spotted this pretty quickly. Formalization wouldn't really have helped at all.
the mentions of drm in that code seem completely trivial to me
I actually feel stressed out looking at the icons together, like it's a test I know I'm going to fail.
Shame, I was always partial to the Drive penrose triangle. I thought the icon clearly and intrinsically communicated it's purpose, unless I'm missing something and looking at the new icon incorrectly.
This is a good take. To add to it a bit, there's another perspective that makes no-code solutions useful: team decoupling. You know Conway's Law about how the software is structured like the organization that produces it? No-code is that, but it's giving "coding power" to parts of the team that didn't have them before. E.g. a design team can accomplish a reasonable number of funnel tweaks using an A/B testing tool, and it means they get their job done faster (= more effectively), and the engineering team can focus on other problems. It's not a panacea and there's definitely risks, but I've seen it be helpful in this way in many contexts.
While 10% is small in relative terms, it's still huge in absolute terms. And the Mac also remains an important nexus for Apple's wider ecosystem, even if a significant majority of their customers will never own one. Because of the way Apple technology is developed, and by virtue of being largely untethered and unmanaged, Mac is the bootstrap platform for everything else Apple does. It doesn't always have to be so, but I don't see Apple releasing anything else which could take its place.
Every no code solution has such scripts under the hood and most let you edit them. However, drag and highlight a row of cells and click sum, min, or max and your not editing code directly which is really all there is to the ‘no code’ concept. There are plenty of ways in these tools to select a bunch of data and click make a chart, but guess what that’s just another way to write some code.
I use and love vultr too, but their IP space is shit for VPN purposes. Constant captchas from google and eBay. Delta.com is blocked completely. Amazon refuses to play videos and says to disconnect your VPN.
Thanks Jay! Looking forward to connecting.
“Someone else invented the term word processor, so we’re reinventing Google Docs as a text actualizer.”

- Google, probably
Try opening this Argonne page next to gmail. Later, you might think it was gdrive.

https://www.anl.gov/article/could-argonnes-mini-nuclear-reac...
Under pre-Sonny Bono copyright terms, this special wouldn't have been available until 2040. Someone downthread pointed out that under 1909 copyright terms, it wouldn't be public domain until 2022; Disney wouldn't have even been founded for another 14 years. So, no, this doesn't seem at all accurate.
Depends how detailed you want to get. All of us have a need to be social and creative, IMO, and Gray would say each sex has its own traits which do not necessarily hold all the time but can be instructive. I gathered this from his "Men are from Mars..." book.
Maybe Vitamin D reduces all-cause hospitalization
Don't you run into problems with websites which block access from clouds?
Ask HN: Is Tesla an automobile company or a data company?
but it begs the question; why? Obviously there is a biological necessity for these forms of propagation. I remember reading an old neuroscience textbook that said glial cells were purely support cells but they are finding a-lot of emergent phenomenon there as well.
Outstanding efforts! Thanks for the work and the follow-up.

Once I have a little time I may give the later AMD GPU a try, unless someone else figures it out first.
Deva Boone’s blog (an MD featured often on HN) describes a case where an extra 5000IU supplement caused neurological problems.

IIRC, there was no regard to other sources - e.g. she might have gotten 30,000 other IU per day from Milk and another amount from fish. Very unlikely - much more likely that something else made it toxic in that case.

Regardless, it is clear that the upper safe limit has significant variance and is not well characterized.

(Personally have been on 10,000IU daily for the past 7 years with no ill effects and possibly good effects, n=1 standard disclaimer)
UML is great but I think the key area where Google has had a whole lot more impact is with its text-to-speech and speech-to-text technologies for search. There's still a double digit percentage of people on this planet who aren't able to read or write. They haven't been able to benefit from advanced technology at all, until recently, due to the patronizing literacy requirements held by most software. In fact, I seem to recall, at one point or another, Google even made their search engine available by phone in a language that had no written form. Talk about conquering the digital divide.
They tried the monochrome look with the Visual Studio toolbar a few iterations back. It did not end well! The simultaneous introduction of uppercase menu bar text probably didn't help, either :)
B.C. Leaf owner's plight highlights difficulty in replacing EV batteries
A single wireless charger requires multiple times more resources than a single cable. A fairer comparison would be against, say, ten cables.
I think it depends a great deal on what you're doing. A fully pipelined double-precision floating-point fused multiply-add in FPGA tech will reach well over 500 MHz on current parts, but takes almost 30 cycles of pipelined latency to deliver each result. On the same process node, a well-optimized CPU will run at 6-8x the clock frequency and only require 4 cycles of latency to deliver each result.

Is this flow filled with divide-and-conquer algorithms with very low work per step? Yes. Is that particularly ill-suited to FPGA logic? Yes. Is it unfair to the FPGA? Not in my opinion.

I stand by my claim: If you normalize a general circuit's speed in units of time instead of cycles, then you'll find that ASICs come out much much farther ahead.
What does great mean to you? Are they still easy to distinguish? Or “great” as in you find them more visually appealing?
I have an early 2013 MBP and its still a champ, none of those problems.

I'd suggest popping off the bottom and cleaning out the dust, I do this about once a year.
The title should say Office_r_, not an entire office :)

Also - to the other person who posted this fix: jinx! :)
Figma is free unless you need team functionality.
But you can train neural network which will write shit like that.
I don't know firsthand, but these guys say it's true:

https://appleinsider.com/articles/20/10/27/magsafe-15w-fast-...