skysight-inc/HackerNews huggingface dataset:
In buddhism there is the four noble truths, a teaching about living life and facing death.

In short, what many people afraid in death (or in life generally) is the fear of losing, either losing their possession, losing their loved ones or how those loved ones will feel when losing you, losing your ability to do your job, etc.

In the teaching, if someone is able to overcome that fear (suffering / dissatisfaction), he / she can accept death as a cycle of living and live more relaxed life.
Disney didn't push for copyright extensions this session because absolutely nothing was going to get done this session. The idea that the median voters cares even a whit about copyright extension is one you'll have to bring evidence to support. It seems unlikely to be true.
Altera was already an Intel Custom Foundry partner before the acquisition. I'm not sure the 2015 acquisition was necessary to accomplish what you are describing.
It increased app opens by 24% due to a wealth of confused users opening the wrong app first.
Obviously the most likely explanation is that every corporation within earshot has started an illegal clandestine wiretapping of you and your wife using machine learning at great expense in hardware and power.

Some people might say you started talking about cereal because you were blasted with commercials about cereal you just didn't remember until that conversation framed you to remember them.

But we know better.
This looks amazing. Looking forward to Saturday!
Cred Says Fraud Led to Loss of Funds – Law Enforcement Investigating
We made Tablerone specifically for these sort of problems. It lets you save browsing sessions, organise them into workspaces, and easily find any open tab. https://tabler.one
Armory Invited to Inaugural AWS DevOps Consulting Summit
Yea on mobile the opt-out no longer works.
> How precisely is a random lottery that requires certain education history and grades to enter discriminating against asians? Asian students still disproportionately make up lottery-eligible students.

Don’t forget the administrator letters. Or that the random lottery’s purpose is to move from admissions by moving from highest score down until the classes are filled to fulfills minimum requirements. That latter is to reduce the proportion and number of Asians. It’s phrased as a student body more reflective of the district’s student population but the effect, which is both foreseen and desired is to reduce the number of Asians.
That's ridiculously cool.
Oh I get it, but my Corgi-Pug rescue mutt doesn't ever seem to intentionally try to trip me. My lovely kitty on the other hand, I wonder sometimes. I guess what I'm trying to say is that domesticated dogs ain't the same as feral cats that enjoy a symbiotic relationship.

A dog is a great source of oxytocin when it looks at you and wags its tail. A cat decides whether or not they want anything to do with you, and in my case, that desire is to sit on my chest and lick my chin with a tongue that feels like sandpaper. They both love attention and enjoy affection, they just express it in different ways.
> No one "does mathematics" in ZFC.

How is this not partial evidence that ZFC is trash?

> Mainstream mathematicians are not being prevented from proving theorems because they lack "better ways of reasoning about equality of types."

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.

Saying HoTT is a failure because people do informal proofs is rather moving the goal posts; people won't do formal proofs until the tooling is really good. But none of the up-and-comming tools are classic first order logic + ZFC (Please don't mention TLA+) and there's a reason for that.

> The importance of ZFC is that it ensures our common language reasoning isn't incoherent (among other things). Once you've done that, you don't need to do it again.

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 don't expect this to be solved now (tooling, as per above), but mathematicians should learn more category theory now as that works just fine pencil paper and brain. When the type theoretic tooling is ready they will be ready.
Exploring the Potential for AI in SE Asia with Konduit AI
Underage and all. "Man in jail" walking. If i were him I'd sell it and move on.
A lot of Mac users do. We chose the platform because of it, among other things.

I hate that WhatsApp, Skype and other crap Electron apps that I’m forced to use because of other people can’t do simple things like propor multi language spell checking that macOS has had since day one and that every other app gets for free.
Amazon destroys $1.5m of sellers inventory – now homeless
Yeah, that's a problem. If the dollar loses 10-20% against their native currency, then they all of a sudden have a 10-20% pay cut.
YC 2021 - Soylent Human Hummus - Do vegans taste better than omnivores? - ArsTechnica
No. There's no evidence for that. There's an incredible mountain of evidence supporting the idea that neuronal action potentials are. The currents in neurons aren't even in the direction of the action potential propagation. They're perpendicular to it and only over a handful of tens of nanometers. Yes, the substrate of our macroscopic reality is dominated by electromagnetics but the brain isn't a very conductive place.
Funny how only the safe and responsible motorbike riders post on hn/reddit... Very rare to see one on the road though.
Your comments indicate you do not understand it very well. I therefore also hope you didn't waste much time reading your current level of understanding.
I grew up in a rural area. Just out of curiosity, I drove the old bus route I used to take to school. (It took an hour by bus, ours was the first stop to get on in the morning and the last to get off in the afternoon. Our old house was on 20 acres, and that's about a typical lot size in the area.)

Now there's expensive houses everywhere. A lot of the older, more humble houses are still there, but I get the impression they're gradually getting replaced and the whole area is gentrifying. I don't know why; we're far enough away from big cities to make commuting inconvenient, and there isn't any big industry, just farms and vineyards. Maybe those are more profitable than I thought. Or maybe people are just moving out of tech hubs and working remote.
I’m not gonna read the article, I noticed the gmail icon change and I looked at the rest of the icons. The gmail one is excellent. I know what the heck my email notifications are for the first time in forever. The rest of them are “I used a design language” level of trash.

Edit: I think I got preemptively downvoted by the HN comment system before I even saw my words on screen but I don’t care. I stand by this opinion.
UK to ban sale of carrier-locked phones from December 2021
> when I say types, I mean the modern reference to the word that it has a static type system

Can you show me a significant body of literature or a whole community that uses "types" to mean "a strong type system"? Because I've never heard that aliasing done before.

> I don't know if Lisp, the language, influenced Java and Scala so much, it was more about its runtime, the garbage collector, etc.

Lisp pioneered lambdas and first-class functions, in addition to garbage collection, all of which were adopted by Scala and Java later.

> I simply dislike Lisp, interesting language but not for me.

I understand! I have things that I like and dislike, too. However, it's extremely frustrating when you ask for an analytical comparison between several languages, and some random person lacking knowledge on at least one of the languages (I suspect you don't know Rust either) comes in and, instead of actually providing relevant information, gives fallacies and opinions.
You seem to be getting at a fundamental inequity in international law: trade (and, for various historical-fuck-the-Soviets reasons, emigration) is treated as a right while immigration is treated as a privilege. This basically allows unending labor arbitrage. Whenever a country becomes rich enough to have a middle class, labor standards, unions, and/or minimum wage laws, start moving operations over to the next country on the list.

The only governments that have clued into this are the member states of the EU, and even then, some of them are starting to forget this point.
I've been looking at this for months and AFAIK it's the only one that has it OOTB. If you find others, please let me know.

It can be implemented with React and others (I've done it with Svelte) but it's complicated. See this example on how to do it with Preact and Next:

https://medium.com/@luke_schmuke/how-we-achieved-the-best-we...
I must be the only one that refuses to pay for a software subscription.

But I'm not a pro, don't have corporate to pay for my license, may only use a drawing, design, paint program occasionally.
The apparent driver here isn’t about AMD wanting to get into the FPGA business. The real motivation appears to be a combination of platforms and programmable chiplets. There are two problems that programmable chips address https://semiengineering.com/amd-wants-an-fpga-company-too/
And Rust
Wow, it seems pretty good. It's demo seems legit.

It's hard to get something in a room without other things around it in practice.

It's not AR, but meh, whatever sells.

Not sure of a use case. eBay? It could be big, but can't think why. Not sure how you could meme it. Pictures of food?

It reminds me of advice that zoom on the (phone) camera is not necessary because the quality is the same zoomed out and you can just cut it later, expect that advice sucks because editing later means it won't get done, anything you can do straight away is a good idea.
I suppose there's even a fourth option:

People who are more likely to be hospitalized are also more likely to be deficient in vitamin D.

The control group seemed to be a healthy population sample, but hospitals are not a pool of healthy people. How about a hospital sample instead of a population sample?
Do you have a reference to Vit D content in mushrooms and their exposure to UV? Pretty cool fact!
Study shows how tiny compartments could have preceded cells
To me, the Gmail icon no longer looks like an envelope, but like it's got big teeth sticking down. It's kind of threatening...
meh.
Its deeply patronizing to hear gate-keeping developers discuss when is 'no-code' acceptable...

Talk to a first line employee or manufacturing factory worker end user who wants to make minimal data apps on fly without the extra time or baggage.

Google Appsheets or Microsoft Power Apps are fantastic tools of this nature.
Couldn't you argue the opposite: that current policies penalize workers who don't want to live in an urban high cost of living area? Is there a solution that doesn't penalize one or the other?
I've looked at Zerotier many times over the years. You are using this as your dedicated VPN to load balance multi WAN connections, is that what you are saying?
KPI unlocked! You are now a +9 google wizard
Staying home or in a hospital bed without sufficient sunshine exposure (which will likely happen to anyone feeling sick) will reduce vitamin D levels.

I don’t know what you consider “known way”, but this Hypothesis is mentioned in almost every discussion, and is not controlled or corrected for in any study I’ve seen.

(There is reason to believe vitamin D Supplementation is helpful, based on earlier studies related to viral respiratory diseases - but not yet enough data specifically for covid)
So now it's not just apps and services, they're killing off brand recognition. I don't understand it.

Well, on products at least, I have a theory: there used to be "Google Labs", an interesting selection of experimental projects that you knew were experimental and perhaps not permanent.

Then they killed off Labs, and it's like everything that would previously been housed there is now released as if it's a fully fledge and supported service, only Google knows it's really just a "Lab" experiment.

As a result, when those things get killed, it's much more against expectations, so it hits harder. Though perhaps not as much anymore now that we all expect it.

This leads to an adoption problem: previously, a Lab that got enough attention might see a true release or be merged as a feature into an existing service. You could use it, not rely on it, and root for it to succeed. Now it's all reversed. You don't want to try a new thing out, you can't ever rely on it, you have no way to distinguish a fully backed initiative from a spaghetti-hits-wall approach.

Basically, Google should resurrect Labs so people know where they stand on using these things.
Sure, but... why would you consider them?
No matter one's take on generic USB type C cables even if you only used an Apple branded USB type C charging cable at least you'd be able to use the cable with other devices too.

I.e. it's always a lose situation to have the non-standard cable. Either a generic USB cable would be better or the Apple brand cable would be better for more than just your Apple device.

That being said USB C cables for phone charging aren't where people usually run into the USB C standard confusion anyways.
I didn't mean to call the GFC a bug, I'm saying that the instances where volatility has significantly and immediately spiked have been:

1. The GFC which wasn't caused by HFT

2. Certain instances where HFT bugs led to "flash crashes"

>If the point is to have a stock market where people make investments, HFT literally serves no purpose

This is patently false. Imagine a situation where the price of AAPL suddenly plummets because of an influx of sellers. If you want to close a long position with AAPL to lock in your gains, there will simply not be enough buyers for your shares to sell most of the time. The purpose of market makers is to make this sale possible because they are still able to profit or nearly break even from buying your shares (and are often contractually obligated to do so). Without someone taking the risk that market makers take, the stock would just free fall indefinitely and nobody would be able to take a profit off their investment.

A similar situation is options market making. People/institutional investors like Warren Buffet hedge their bets by purchasing options to protect them when their expectations fail to pan out. In such a situation, it is imperative that options are able to be purchased for a fair price and due to volatility the price from 10 minutes ago is almost certainly wrong. Likewise, it's important that a contract even exists for your desired purposes.

The purpose of HFT isn't just to give the most recent update, but rather to provide the essential pricing of various derivative instruments which depend on immediate values like the price, volatility, etc. of the underlyings. The immediate ability for your order to execute also protects you from the market's volatility, since you can essentially lock in your price as soon as you see the market moving. The blatant truth is that many modern portfolios consist of more than just unhedged long positions in a variety of stocks and as such a lot more complexity is required than "investing by a company's merits," even in the world of "value investing."
Of course it'll move the curve. Now companies won't be geo locked to US anymore. Yes they have offices in other countries but the salaries are adjusted according to their COL. Think of EMEA where lots of SWE would love US salary but still live there. So the net effect would be that the market will hit an equilibrium where that salary is now way lower for US SWEs than what they used to get but way higher for EMEA SWEs than what they used to get. Get ready for a big time pay cut.
"You'll get over it" - Jeff (1)

(1) I'm not Jeff
I think this is a good example of the HN bubble which is one of the only places where "native macOS app" means anything to anybody. At least something more than "oh, I need to have a Macbook for that?"

My girlfriend is a UX professional that does most of her work in Sketch. She doesn't care about macOS beyond the fact that it's required by the tools she has to use.

I impulse-built an overpowered Windows machine earlier this year and tried to pawn it off on her, but she didn't even want it because it doesn't run Sketch. She's stuck on a Macbook.

Some people are replying to you saying there are these great benefits to being macOS native, but they really pale in comparison to having to learn something as complex as Sketch. A few familiar component paradigms don't really put a dent in the learning curve, or it's at least vastly overstated. I'd liken Sketch more to Photoshop in the sense that some native components aren't going to make the hard stuff easier.

One practical downside of being macOS-only is that it makes those hard fought Sketch skills less portable and any business that uses Sketch in their pipeline now has a hard platform requirement. Maybe they'll choose something else like Figma. That's something much more tangible to a Sketch professional.

Even VS Code's popularity among developers (the one group presumably sensitive to "native" vs not) suggests how little weight "native" carries with most people. When it's time to get work done, turns out there are more important considerations.

I think you're right, hard to imagine it's a hill worth dying on.
What a fantastic way of putting that sentiment. I will probably steal that at some point.
>First I should say that I understand Google’s intent here, to unify the visual language of the various apps in its suite.

Not sure I agree with that this is a useful endeavor. This just reeks of consistency for consistency sake.

The polar opposite approach to this philosophy is Amazon, where utility and function for what's best for the user is always prioritized. When I look at the Amazon app icons, Kindle looks drastically different from Amazon core vs. Amazon music (Alexa, etc. etc.) But they work well at what they do, and so who cares how the icons look, nor whether or not people know that Kindle is an Amazon brand.

This is just more evidence that Google Product Teams are shit, and are therefore trying to prioritize other ways to make an impact that is more visual.

Sidebar: the article didn't even talk about the travesty that is the Google TV icon...essentially the docs icon, but sideways...
I really like the comment on the article that suggested making each icon focus on a single color. The icons look so much better, you can actually tell them apart without taking a few seconds to figure out which blob of color you are looking at.

https://drive.google.com/file/d/1xX8pKlUiSkG10-zIGZeKda5A9qf...
Yes, only 182 bills have been enacted this session, which is very low.

You'd be surprised what you can squeeze into a budget reconciliation bill if you care enough, the government has to reopen eventually.

Honestly, enough people just don't.

But you can.
In my journey of ADHD I refer to this as my personal order of operations. If I can unblock opening the door to some new positive path, I can do wonders. I just have to get myself to open that door.
I can’t imagine how quickly they would be laughed out of a court with the argument of “you can’t split up our products, you see, the icons are all thematically the same!”
True, we should respect all the resources of a device, at best. Also true for desktop (Slack's memory usage comes to mind).

A major result of the study is greatly reduced bandwidth (and consequently, shorter parse time) compared to the original TeuxDeux, so I'm working towards respecting these resources, for what it's worth.

To be clear, the study does not care about doing SPAs or not. The results are applicable to server-rendered HTML as well (write a function that enable some behavior on an element, mount by class name, done). I agree that many use cases (e.g. blogs) should mostly be server-rendered and only progressively enhanced with JS for some UX improvements.

But highly interactive apps (drag & drop just being one example) will not have comparable UX without client-side rendering. I do not want a 100-1000ms delay (or an error message) after dropping an item in some list because of a server-roundtrip. This is not good UX.

Also, when filling out a form, I do not want to lose data or context when clicking submit while I'm in a tunnel. I'd rather have a client-side rendered UI that keeps my context and tells me "Sorry, try again when you're connected again".

Even better if it works fully offline and syncs the transactions I've done with a backend once I'm connected again.
Agree. No eco-system, no apps.
If you read through the studies in the link I posted, patients do benefit from supplementation.
I honestly don't know what they are working on at reddit. The new version still goes down at least once a week and the new site is still lacking basic features like editing multireddits.
And yet they keep adding things like streaming videos and creating cartoon avatars.
"What Andy giveth, Bill taketh away."
"Commentators have criticized Emoto for insufficient experimental controls and for not sharing enough details of his approach with the scientific community.[9][17] In addition, Emoto has been criticized for designing his experiments in ways that leave them prone to manipulation or human error influencing the findings.[9][18] Biochemist and Director of Microscopy at University College Cork William Reville wrote, "It is very unlikely that there is any reality behind Emoto's claims."[9] Reville noted the lack of scientific publication and pointed out that anyone who could demonstrate such a phenomenon would become immediately famous and probably wealthy.[9]"

https://en.wikipedia.org/wiki/Masaru_Emoto#Scientific_critic...
How could someone shoot that awkward 4 minute video and still think the project was with working on?
I think mechanically, the Lightning port is fine, my issues with it are more about how it requires an expensive active converter to output HDMI.

A lightning to HDMI adapter really has a decoder as the phone streams compressed video to it. Which lowers the quality and raises the price.
Parent of parent was talking about the difference between stripping and prostituion.
It is my understanding that what you describe is not how charging works nowadays. For example, the new 15W MagSafe charger doesn't work at 15W if you plug it into any old brick. A particular charging profile (voltage and current) must be negotiated between and supported by both the charger and the device.
Don't underestimate how much middle managers love pivot tables.
Financial institutions are semi governmental branches in most countries. Jack Ma also admitted if the Chinese government demands, he would handle Ant's control back to the government. This is also the reason I believe Ant didn't plan to go to oversea for IPO in the first place, regardless of the political climate in US. It needs the buying from Chinese government, so the CCP.

Frankly speaking, in a country such like China where capital is strictly controlled, Ant's existence itself is pretty significant.
Different take : the cat is trying to coerce you into an early feeding, because it recognizes that you as an entity have the power to make such things happen for it.
Honestly, it looks like Google is marketing to preschool kids.
FreeRSS – Keep the Internet open and free
Remember the old days of the internet when we used open standards, had a free exchange of information without any of the gatekeepers?

Subscribe to RSS feeds in a modern web interface. The freedom to access the information you want without censorship and walled gardens. Keep the Internet open and free, and free your own mind.

http://freerss.robdelacruz.com/
Rumor has it the design team was bypassed to make these icons as a VP special.
And is it "M" for "Meet" or "M" for "Messages" or "M" for "Gmail"?

One of those three is not like the others. I bet you can guess where my mind doesn't go first.