skysight-inc/HackerNews huggingface dataset:
You are right but I wonder whether the usual economic argument would give a deep question. Why money exist? It is not because of those alone. It is all tried to solve the time uncertainty issue. You point out the problem of using government and here only the technology is the risk it seemed. It tried to solve the general time uncertainty issue.

But uncertainty has many types. The other digital currency tried to handle eg contract uncertainty. Bitcoin tried to solve the general one and hence it is used as an anchor. The original article pointed that out.

The gold is another possible Gov independent solution. Problem is it is too good in that. Save digging more gold or nuclear transmutation (per Newton effort?) is feasible using say solar, real scarcity is achieved. But it was opted out as it is not human manageable. Instead we have weapon based forced option of US dollars. Japan, euro now Rmb ... we are in a different regime for a reason.

The scarcity cannot be enforced like US dollars and is more like gold. Hence it is not weapon backed and it is not flexible scarcity. It might not be useful in our current environment.

You may think that is the whole point of asset not centrally controlled. But then we back to uncertainty over time which we as a human group cannot manage. How to control which to opt for a as Bitcoin is just a commodity subject to demand even if it is supply constrained.

Whilst so far another clone is not successful still it could be. If it threaten certain government it can block the cash chain. Who guarantee that.

Also, there is no issue within that is breakable by say quantum computing like cloning the whole tree say ...

The time dimension always meant there could not be one money or asset as it has to be tailored to individual human and human group.

Money is a contract with the future to handle uncertainty. Supply constrain is only one of the feature of Bitcoin. It may not be sufficient to be a good money supply. We will see or wait to the stage when mining is only for transaction and supply and demand react.
Low-Carbohydrate Diet Score and Coronary Artery Calcium Progression
Sbang lets you run scripts with long shebang lines
Just a reminder that even before social media, people sometimes became hateful towards each other, belueved conspiracy theories, and even started wars and revolutions. I'm not convinced that social media is to be blamed for social unrest.
It's not asymptomatic enough, not infectious enough, for that to be impossible. Multiple Australian states have demonstrated this, as have China, New Zealand, Taiwan and a few others.

If every time you get a symptomatic case that tests positive, you isolate contacts and secondary contacts, you will have isolated enough of the asymptomatic cases and false negative tests to get R < 1 and halt the spread of the virus.
> Which, by the way, summarizes a full year of oral arguments at the supreme court -- not actually a small sample size, but a total dataset.

It's a "total dataset" of the most narrow and small sample size possible. You are being very deceptive here by trying to dismiss the guy's concern over small sample size with "total dataset" as if that compensates for a minuscule sample size. The supreme court ( all nine or so members ) and the oral arguments isn't a sample size worth drawing any objective general conclusions from. You might as well draw general physical conditions of americans based solely on the los angeles lakers.

> And yes, there is much nuance in the article, and they do consider and analyze confounding factors, but your cherry-picked quotation seems to indicate a lack of genuine curiosity on your part.

You are projecting here. The only one who cherrypicked here is you. The guy responded to your cherrypicked data.
Unless you can get a PhD or funding from failed results I don't see graduate students giving any priority to publishing them.
Whee-chhiee! Baaaah!

I'll always remember that soundbite that came with winamp. I'll have to download it again!
I can assure you I didn't have Feynman in the name of my company to score some extra upvotes on HN. Not that that would even help btw. If you browse through my submission history, you'll see that most of my posts get <10 upvotes.

It's interesting that you accuse my company of not taking survivorship bias into account yet here you are falling victim to retrofitting.
That was entertaining and somewhat informative, for someone who hasn't used social media outside of hacker news for a few years. However, if you are being honest with your feelings I'm concerned at your level of anger. Try to keep in mind: you have very little control over these things, being emotionally attached is therefore not useful. Check out Stoicism or Buddhism for inspiration. Accepting this will likely improve your ability to enact change, as well as improve your own well-being considerably.
Alan Kay: Decarbonisining America Is Possible, but What Will It Take?
You're probably right but in general it's a problem with downloading windows software
Peertube is working on live streaming this year. They just hit their funding goal.
How Sean Connery, an Unlikely Choice to Play Bond, Defined 007's Style
Couldn't agree more. So many people are so scared of China (the new red scare) but in reality if you did something illegal who do you have to fear more gets their hands on the data: The FBI or some PRC equivalent? There are hundreds of stories of FBI (and CIA) working in other countries but I have never heard of any PRC people kicking in the door of someone outside the PRC.
https://youtu.be/uSLscJ2cY04
mpv is just using ytdl behind the scenes to enable this! Agreed on the keyboard controls being far superior.
Malayalam split from Tamil around 1000 CE. When I said you might need some expertise and training to read old Tamil scripts, I mean this: https://www.youtube.com/watch?v=aWIs17rSCg0&list=PLAU5iw78o0.... The video has closed captions if it is difficult to follow. Hope it helps.

Written Tamil have continuously evolved all along, the recent being around 1950 when printing became prevalent. The language itself changed very little, however only written letters survive and to know what was written 1000 years before you need some training.

Expert opinions might be different. Hope I am getting some information.
Oregon is magic mushroom therapy...
The problem is, sometimes you don't have a choice because the people you need to talk to are only reachable through Twitter.

I once bought tickets for a sold-out conference that way (at face value, not a scalper, just someone who had a ticket and couldn't go). I had to wire the money and would only learn at the entrance to the conference whether I got scammed or not. A quick scroll down the Twitter timeline of that person convinced me that I can most likely trust them, while at the same time clearly showing how much of a privacy disaster Twitter is.
There are many methods to try to determine how an ancient language was spoken, all of them by definition hypothetical, but since linguistic change does follow sensical rules, and happens in gradual steps (i.e. you can almost be sure that the vowel /u/ won't shift to the vowel /a/ in a single generation, and I bet there isn't a single recorded case of that happening, simply because /u/ and /a/ are very far away from each other in the mouth and acoustically).

For instance, we have very solid evidence (but still circumstantial, and therefore this is technically an hypothesis) that the Greek letter η, that now stands for /i/, had a long eh-like sound, likely /ε:/, for this and due to many other changes, we can say that were a Modern Greek speaker to speak with a Greek from the 5th century BC, they would have understood barely anything, barring certain specific words. From tracing how the language changed, according to the extent evidence, we can probably say that this speaker, however, would have mostly (but with difficulty) understood a speaker from 12th century Constantinople in simple day-to-day conversations. At the very least, the two speakers would have the same sound inventories and similar grammar, but somewhat different vocabularies.

I still agree with you that saying one language is older than another is meaningless. At most we can say that a language is probably more conservative than others.
Yeah, I'm wondering if or why we should consider volition in multi-cellular organisms any differently?

Are not single celled organisms as "conscious" as multi-celled organisms? Or, alternatively, are multi-celled organisms not as non-"conscious" as single celled organisms?
Winamp for Windows 10 is called Foobar.
Micro optimizations are a good way to find and stay in a shifting local optima of just the KPIs you track and get trapped there while missing the big picture.
Just downloaded this... changed the scaling for my 4k monitor and works perfectly. I think for my music listening I'm switching back to winamp from vlc.
Stop repeating this false claim. I never said it'd increase in a single year (strawman).

The Australian Medical Association projects 750-1,000 additional suicides for 5 years. [1] That's an increase of 3,750 - 5,000 additional suicides.

Some have projected a 50% increased suicide rate, if that happened for 5 years it'd be 7,500 additional suicides.

[1] https://ama.com.au/media/joint-statement-covid-19-impact-lik...
My guess is their bot/scraper detection not liking anything that's not a 100% standard, extension-free browser.

Although I've heard that even people without privacy extensions are getting hit by it, so it may just be a super aggressive bot detection that's randomly hitting everyone or some other bug that Twitter doesn't care because it presumably a) doesn't affect logged in users b) non-logged-in users who go there really want/need to see something (e.g. whether the US president is about to deport them) so they will put up with it and reload.
Microsoft Edge for Linux Compared with Other Chromium-Based Browsers
> That's true, but the more overt way would be seizure of the equipment, imprisonment, or worse.

And for some people for some causes those risks, including "worse", might be worth it.

Besides, if you're the sort of person who might be the target of "worse" you're probably going to have a hard time regardless of if the oppressive power gets into your device. ... but maybe the security protects some of your friends from befalling the same fate.

As far as seizure goes-- it has an accelerometer in it: "Zeroize on throw" is probably implementable. Alternatively, time-lock where if the device is moved from its hiding spot at the wrong time of day or without the right gestures it get wiped.
Just a heads up, this already exists officially by Mozilla here: https://wiki.mozilla.org/areweyet
To give a sense of the differences the numbers one through ten in written tamil:

ondru, irandu, moondru, nangu, aintu, aru, ezhu (prounced like eru), ettu, ompattu, pattu

in modern:

oru, rendu, moonu, nalu, intu, aru, elu (or eru), ettu, ompati, pattu
Out of curiosity, what part of the post suggested to you "right-wing nut"? My email address is in my profile.
This is a 13 year old article about NASA go to metric.

https://www.space.com/3332-nasa-finally-metric.html

Why on earth are they using miles on this webpage?
I decided to try out drawing these GUIs on my new e-ink tablet: https://i.ibb.co/n6Xbd69/5-FDDAD87-F397-4-A0-C-92-B0-1243-B8...
Thank you for your understanding. I am glad we can talk about a mass produced consumer product in the full context of the social relations of its manufacture.
Sometimes one, if I've skipped lunch.
Flagged, and multiple downvotes in the comments. Umm... k?
choco install -y foobar2000
It really whips the llama's ass!
https://www.youtube.com/watch?v=HaF-nRS_CWM
Twitter's UI is hostile to conversation. It took me ages to figure out how to read replies (vs. make a reply myself) and on mobile navigating around different replies is horrible, even worse than Reddit's attempt to make this hard.
I'd agree that people are generally going to be less familiar with type theory (though I think it's not uncommon to touch on the simply typed lambda calculus in undergrad courses), but I really think anybody who has all those prerequisites could also learn enough type theory to write specifications in a couple hours because you don't actually need a deep understanding of type theory to use it (though maybe you meant that you immediately started writing specifications of large, real-world systems in TLA+, but I'd presume you'd then be the outlier on that). In my experience people pick up Isabelle (/HOL) really quickly and writing specifications in a type theory based proof assistant isn't a huge jump from that.

Now, writing actual proofs is a completely different matter, but I didn't disagree with you on how economical/ergonomic the over all approach actually is, just the basic complexity of the theory/specifications ;)

>What is the type of its first argument?

Some universe U, which is an implicit argument.
You could alternatively write your Lean example as

def id {u} {α : Sort u} (a : α) : α := a

Not being able to specify the type of u in Lean might seem kinda cheaty, but I'd say that's similar to how one declares generic type parameters in e.g. Java. You wouldn't say that those languages' generic functions aren't actually functions, would you?

Similar to how one could make those generics explicit, it is actually possible to define a special type of all universes (not including itself). Agda does this by having a special primitive type of universe levels. As an example

id : forall {u : Level} -> forall {A : Set u} -> A

is the signature of the universe polymorphic identity function. The Level type doesn't you any issues because it is essentially a 'top' type that doesn't have a type itself.
What was the best time in human history?
Not quite. There were plenty and simpler abstractions to easily manage concurrency before, without even touching Thread. As someone has mentioned, Executors, ExecutorService, ThreadPools, ...

RxJava feels like an unnatural port from single-threaded mindsets.
Ironically, as the operating system of choice for most phones and smart appliances, all of which go obsolete faster than purpose-built firmware devices, Linux appears in e-waste more than any other freely distributed code.

Which is to say this problem has nothing to do with licenses or repairability.
Ask HN: How to onboard our first full-time hire?
A wonderful person has become available to our two-person (me and my wife) training company. They are able to learn our systems, and even provide some coaching help to our clients. (We coach dozens of clients each week, and maintain several repositories of content to assist in their training).

► How can I do in the very short term to help them us?

I keep feeling like I need to help them make more immediate gains, but am swamped simply trying to get them started while still doing my full-time job. Our project, task and admin management is poor, though we are improving rapidly (using ClickUp).
That being said, Cinnamon and MATE were produced because of the "fear of the new". While it has been a while since I've used MATE, Cinnamon is doing fairly well.

It's also worth noting that people have different workflows and tastes. One of the perks of FLOSS is the ability for people to choose what works for them. I would hardly call it a waste of effort because of that.
You missed the entire point.
Hopefully if/when they make the next generation with the custom silicon instead of being all FPGA based they'll have enough space and power budget for some internal modules.

I think it would be pretty interesting to have a Lora radio for participating in networks like meshtastic (https://www.meshtastic.org/).

I get why many people would find cellular interesting, but since it's not possible to use cellular without device level location tracking by the cell network... I think it is less useful.

In either case bridges from other networks (such as LTE cellular) to wifi exist and are readily available, including tiny battery powered ones... So the lack of external cellular shouldn't prevent you from using precursor with cellular.
Someone summarized that as "Plans are worthless, but planning is essential" :)
This is a good callout. P language evolved into the P# framework (as opposed to a language) which then evolved into Coyote (https://microsoft.github.io/coyote/)

Coyote allows developers to systematically test concurrency expressed through .NET async/await tasks. I encouraged my team to embrace Coyote based concurrency testing right from the start as we set out to build a new Azure service from the ground up. The results have been encouraging. The unification of the programming and modeling language is actually _quite_ useful in practice. For one, developers who aren't experts in formal methods are able to write concurrency tests fairly easily with minimal guidance. Secondly, the model and code never go out of sync as they are one and the same. The trick through which we are able to scale out these techniques to large scale software-in-the-wild is to have numerous tests, each test exercising concurrency in one set of APIs. This approach has scaled out in a decent manner. We run our entire distributed system in one process with various tests exercising concurrency and faults triggered through a focused set of APIs. We'll blog more about our usage of Coyote in the coming months.

While TLA+ is very powerful and useful, we've also found language integrated tools like Coyote to be quite effective in testing and catching concurrency bugs in real world code in Azure.
Possibly. But what if Zuckerberg went to a different university. Or fell in love with design instead of building, snd so on.

It's too easy, connecting the dots looking back. I believe we have to be careful with hindsight bias.

> In fact, worrying about your domain name, and what your LLC is going to be called, and what you logo should look like are all rookie mistakes when founding a business.

I agree. But that's not my point. My point was, avoid trying to think your way to PMF, it's too complex. Just try a bunch of stuff and iterate based on real world feedback.
I do something similar.

I am on vacation now for a few days, but normally I have the Freedom service open a window of access for Twitter and HN briefly twice a day. Anything useful, then I paste URLs into my todos list.

Twitter us about just following very interesting people.
Oh! I see. Wow, is full genome duplication very common?
I read the entire article, twice. Nonetheless, the confusion that set in initially never disappeared. What is the takeaway here? What is specifically advisable in order to facilitate developer happiness? I get that it’s important to invest in tools and training - no mystery there. But something more concrete was expected. What did I miss?
The commentary from someone with tangible experience with a company or service generally is more credible when they make a statement regarding the thing in question than someone who has not.

This is entirely situational, of course, but may help explain what you described.
Clicky: https://visafoto.com/

The recommendation for the title is to use the original title, but in a case of a new product I think it is better something like "Visafoto: Crop and fix the photo for your visa with AI"

Are you using AI? A technical post explaining some of the details may get more traction here.

What happens if I use a light blue background or a background of other color?

> You get your result in several seconds,

I think it's better to use "a few" instead of "several", but I'm not a native speaker.

---

Also, try to read the weird formatting rules here.
No. They are numbers that cannot be reached from zero by applying the successor operation. In other words, they are part of a separate infinite "chain" of numbers that "looks like" the integers (negative, zero, and positive), but is not the same as the chain of numbers that starts from zero and is the "standard" natural numbers. The first-order axioms of arithmetic cannot rule out the existence of such chains; those axioms imply that there is a chain that starts from zero (the "standard" natural numbers), but they cannot prove that it is the only chain that exists.
Gujarati has its own script, fairly similar to Devanagari but without the horizontal bar above letters and a few more changes. Marathi uses Devanagari.

I believe both Urdu and Hindi came from Hindustani which was derived from Khari Boli.
But this is tricky too. Like for example asking for user support via Twitter. People choose to expose the privacy of their purchases as long as they can gain some audience for their frustrations and solve their problem.
Yup, I get that mortality rates are relatively low - but finding quantifiable QoL impact is extremely difficult, especially as these effects can last for months.

Reporting seems to focus exclusively on mortality, which I suspect leads to people feeling much more confident than if long term health impacts were more clearly reported.
Yes, exactly..
For Java you can use jib from google

https://github.com/GoogleContainerTools/jib
The problem is that almost everyone seems to dabble in politics or current events or argument which leads to you having to watch them throw a tantrum on the internet.
There's an option in fb2k to send opened files to a named playlist (e.g. 'New'), in which case it doesn't disrupt any other playlists you have open and just plays the file like Winamp.
QuodLibet is an excellent minimal yet customizable music player. It is a GTK app but the Mac version looks and works great.
https://en.m.wikipedia.org/wiki/Bread_and_circuses
Pythonista on iOS can run yt-dl, works well
In recent American history. I was born in 1985 and the breakup of Yugoslavia and ensuing wars happened in my lifetime, and the Russian invasion of Georgia and Ukraine Ukraine, and things like the Syrian civil war, US invasion of Iraq, Afghanistan getting invaded by the Russians, then had a totalitarian Taliban rule, and then had the American invasion.

I mean, it sure is significant and all as the US, for better or worse, isn't "just another country", but it's also pretty narrow towards both the current time and specific location.
> this brother of yours was dead and is alive again

So don't bother trying to not die, since you can respawn and have a feast thrown for you.
How to Flip Instagram Accounts for Serious Cash
Quote: "Support for Windows Audio seems to be one of the key developments and this change allows for complete compatibility with Windows 10".

I always used Winamp as my music player, since 90's. Current version on it's files details says "version 5.6.6.3516 / Copyright 1997-2013 Nullsoft Inc". Never had any issues with it, dunno why they said that.
If you want to try the map for yourself, it's available here: https://map.mta.info/
I think it's pretty good to talk to a therapist when switching careers, I know people who benefited greatly from talking it through.

But, I don't think a dislike of tech work today would need to be an internal issue. Tech had other issues before that are kind of resolved and at the same time new problems have evolved that might not be apparent to all frogs in the water.

The biggest overall problem I see for a life in tech is that constant information has created constant competition to integrate popular ideas into the work place. There are therefore a lot of places that have exactly the same things, and popular things rarely live up to the label, which can be fine, but some can be major irritants.

Of course, there are some places that make a point of being stubborn about keeping a difference, but I'm less likely to estimate in years or decades when an organization claims it is sticking to an unpopular direction than I was in say 2000.

So increasingly, I think there is less choice about many of the factors that go into an office job in a place that prides itself on tech. For all the talk of diversity, there's a lot more one size fits all.
The Copenhagen Interpretation of Ethics (2015)