skysight-inc/HackerNews huggingface dataset:
This sounds you did have a Braveheart edition and have given it away since.

I got started with the UBports Edition PinePhone in June and I think it's amazing how much the software has improved since. I have quite a backlog of new apps I need to add to https://linmobapps,frama.io, and overall it has gotten more stable and smoother as more and more is being upstreamed and hardware enablement happens.

BTW: I am writing this on my PinePhone.
Here are some benchmarks and a discussion about using f-strings in logging I remember reading a few years ago:

https://github.com/PyCQA/pylint/issues/2395
Typescript has all sorts of type-level computation goodies that Haskell doesn't have (unless you turn on insane amounts of GHC extensions).

Stuff like mapped types, keyOf, typeOf, ReturnType, literal types, conditional types etc. all combine to give you a certain amount of dependent types in Typescript but also a very rich way of doing type level computations (this is how e.g. in Typescript we can have type signatures that capture all sorts of very dynamic Javascript function signatures).

On top of this Typescript also has a strong structural type system augmented by union types and intersection types. You can fairly easily emulate a nominal type system like what Haskell has on top of this system, especially with Typescript's string literal types, but it's quite difficult to go the other way.

The only big thing I can think of that both Haskell and Scala have that Typescript doesn't is higher-kinded types.

I also want to strongly caution that I don't think a more advanced type system is necessarily a better type system! E.g. I'm not convinced that Typescript really needs HKTs.

Likewise I have previously programmed quite happily in Elm despite its paucity of type-level features in comparison to Typescript.
Yes it is convenient to express subsets/subtypes as closed intervals. But it doesn't cover all CS nicely.
I made zeno's progress bar; it always keeps moving, but never quite finishes until you send it a :done: event, at which point it wastes half a second animating the remainder of the progress bar. Never had a single complaint, and no one noticed that it had nothing to do with what was going on under the hood.
I saw this a few years ago and thought it was cool at first, but I had huge problems when refactoring that code. I would miss variables used in strings when I would rename, move, or delete things. Have you had this issue? I imagine an IDE that could grok it would have helped.
> The Catholic Church secured this monopoly by encoding the bible in Latin

The original documents were Koine and Aramaic with translations into Coptic and Latin, but you do realize that for most of history, this was taught to primarily illiterate people, most of whom spoke languages derived from Latin, right?

So it's not like the Vulgate was some grand conspiracy here. It was one of the oldest translations and they simply didn't keep translating it further because the idea was that people should be taught before going around instructing others. Given some of the tortured interpretations from people who founded doomsday cults and whatnot, it's not like they didn't have a point.
I chuckled at the original, but yours really got me. I feel seen.
Shameless plug - I created a cli tool called jtbl[0] that converts json output to tables in the terminal.

[0] https://github.com/kellyjonbrazil/jtbl
Some bacteria are suffocating sea stars, turning the animals to goo
I'd say, before about 1930 it was believed to be strictly Protestant nation. Catholicism was seen as un-American and dangerous, while not outright banned. Carrols - including the famous Charles Carrol of Carrolton, at one point the richest man in the U.S. - were the only Catholics among founding fathers and first senators, and in general there were few of them in the very early U.S. (XVIII century) and they were underrepresented in upper classes of society.

A lot of hatred and discrimination to Irishmen ("Irish need not apply" times) was due to their Catholic faith.

Joe Biden is only 2nd U.S. Catholic President ever.
I sincerely doubt she cares what the data says in this case. She's building a narrative.
Imagine farm land with these modules placed end to end. Running off solar and abled to produce year round in all weather conditions. Once batteries are perfected.
> Hey, it's not cool to steal jokes from /r/antiantijokes.

When is it okay to repeat a joke from the internet and when is it not?
The reason we have this problem at all might be due to a situation somewhat like the Prisoner's Dilemma.

A couple decades ago, Linux started to get a lot of leverage -- partly due to a compatibility-unburdening created by the Web, partly due to all the libre or open source angle, partly due to technical merits, partly due to lots of people being thrilled to flee Microsoft, and partly due to Microsoft wanting an anti-antitrust alternative to point to.

At this point, many in Linux and related spheres could wield this leverage, to get, say, technology partners to meet them on the kind of terms that had freed everyone from the tyrrany of Microsoft, and showed promise for doing even more.

And if everyone in Linux did their part, Linux would have a stronger position.

However, some parties, for whatever reason (e.g., philosphical differences, personal enrichment, desperation, not knowing history), decided to compromise, and make it easy to combine closed blobs/drivers/etc. with Linux -- frittering away the leverage Linux had.

Bonus for compromising: the parties who remain committed to the principles that got Linux that far are at a disadvantage to you.

(Disclosure: At one point, I was one of the people who compromised, in that I made a specialized Debian Live-based distro that included closed blobs. In that particular case, it was just a pragmatic decision, since I needed an emergency USB stick that would work in whatever PC was handy, but no commercial motivation. But even that obscure distro arguably contributed to discarding leverage, at least in principle. And a couple years ago I compromised on drivers for GPU computing, but maybe I wouldn't have had to, had some before me wielded leverage better.)
>Suggested use: VCR or CD player.

Uline sells so many products. I wonder how old that description is.
“ Hardware eventually fails. Software eventually works”
Michael Hartung
So this wouldn't be an issue if you solved the ageing problem - a problem which we are presently working on solving ourselves.

I don't see why it's out of the question that a civilization that's hypothetically a hundred thousand years ahead of us wouldn't have worked out how to suspend themselves, preserve themselves or negate their ageing. Or for that matter, work out how to sidestep the distance argument though some other exotic method that we're yet to discover (i.e. wormholes or some such).

I'm not exactly a proponent for little green men visiting us, but I do think that arguing about distance or physical limits of speed/travel based on our current frame of reference is an incorrect position to take.
I hear you on this problem. You might consider checking out the articles and videos from https://mskneurology.com/. It's a superb resource.
For $10/mo one could host their own VPS and server infra.
Reminds me of Roger Penrose and Carver Mead.
The dollar is the most pervasive money laundering channel in history, yet this never seems to bother anyone at the treasury.
My girlfriend is in the business and it is a combination of a lot of things.

There's a lack of empty containers in China, there's a lack of ships/capacity as the traffic has spiked while companies have put shipping routes on hold for a while last year, there's Brexit which delays things as lots of ships which usually go to Europe also stop in the UK, there's Chinese New Year approaching and everyone is trying to get their orders in before China effectively closes for a while (even though that might be different this year), there has also been overcapacity in the shipping industry for years and companies have worked to consolidate and reduce that which kinda seems to have worked but now comes at a bad time for everyone who wants to ship but obviously good for the shipping industry and all of this on top of a much swifter recovery than expected....

There are probably more reasons still.

At least here in Europe more stuff is transported by train from China now but they're expensive as well and only account for a tiny amount of the totals.

Unfortunately behind a paywall I believe https://www.economist.com/business/2020/10/10/how-covid-19-p...
Is this an antijoke or did I just need to know where it's going, like the bartender?
Maybe the bartender is confused?
Ha, that Beat Generation background music really sets the tone.
How about something like https://stackoverflow.com/a/54153662

<span class="graph" aria-label="A graph showing the price of Bitcoin in USD for the past 8 hours" role="img">{11:30}§2b|2i|3t|3c|2o|0i|1n|0{06:30}[35551[34323]</span>
Based on the most active thread here, I think this article has accomplished its goal, which is to lead (smart) casual readers to believe that the congestion and associated delay are due to increased exports to the US because of the predicted increase in consumer spending. (This is a trade publication that wants advertisers for people who want to buy more freight! Demand is a great reason why!)

In reality, I'm almost 100% sure that the real reason for the congestion is referred to in the one sentence from Hapag-Lloyd - which is that port workers in SoCal have been decimated by COVID. The massive spike of COVID cases in Los Angeles County that started ~11/1 and really hit hard by 12/1 (discussed many places), which has disproportionally impacted both POCs and workers in heavy-labor industries, is certainly impacting the supply of workers to offload and process. I've heard this anecdotally from two friends who run freight forwarding companies in SoCal.

It's also worth noting that the logic around shipping ahead to predict a generic increase in consumer spending doesn't play out. Planning for a single date (Halloween costumes, Christmas toys) - of course, ship it as close to the deadline as you can, but don't f'ing miss it. But for a rolling, undated, potential increase in spending? In a world of relatively fast manufacturing, ~4 weeks to get your items from the Shenzhen terminal to offloaded in Long Beach, and with storage costs being exponentially higher in the US than in China - it makes zero sense for what will be a diffuse wave (optimistically!) of consumer spending. No major manufacturer/retailer produces that far ahead of unproven demand, and no smaller one can afford to do it (and it's not like you can get money for this).

This is a staffing shortage, pure and simple. It's not going to get better for a while.

[Added 30min later]

BTW, I didn't see this before I posted, but Ryan Petersen (CEO of Flexport) shared on Twitter today

"Yesterday there were 800 COVID-19 cases amongst the 9,000 ILWU employees who run the port of LA / Long Beach. And there was already a backlog of 29 container ships waiting to unload in the port."

https://twitter.com/typesfast/status/1351942493907034112
The code in question is related to setjmp/longjmp. As a general rule of thumb, this is something where the gut reaction to any bug report is going to be "you're doing it wrong"--the C standard actually provides a lot less guarantees here than most people believe it does. I haven't read the verbiage and the bug report in question in enough detail to ascertain if this is true or not, but it isn't in the least bit surprising that most people see setjmp/longjmp and immediately table the issue as being low-priority.
Recursive till you fall off your stool.
Only touching the surface.

The major problem with dynamic typing is performance. There are not many dynamic type systems added to existing languages which made the language faster. More secure yes. Better documentation via typed signatures yes. Better error messages. But only a few made it faster, by using the available type optimizations. Racket complained, python complained, perl5 complained, ruby complained, everybody complained. I think only PHP and my cperl gained speed with added dynamic types.

The compiler overhead adds to the runtime. With static types you don't care, your compiler and typechecker doesn't need to be Rocket science. With dynamic languages it needs to be. And your paired runtime optimizations, liked typed arrays, eliminated bounds checking, optimized int ops must be worth it. You don't need a jit with types.

"Is Sound Gradual Typing Dead?"
https://www2.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf
> For example look at Acts 2:44 which reads "All the believers were together and had everything in common."

Be sure to read the whole story there. Ananias and Sapphira come shortly after that part and you'll soon get to the verse saying "those who do not work shall not eat."

They did indeed live communally for a while, but it didn't work out very well and it didn't last.
Ask HN: What resources would you give to non-techs who want to 'learn to code'?
I know this is a tedious question, but I have to ask since I can't find anything satisfactory.

I'm a 20 year old student. I have a few non-tech friends who have asked me to give them some tips on learning to code. I'm not entirely sure what to give them. I was recently a beginner, so I know better than most HN readers what it's like to learn to code in these times and often have thoughts on how it could be better.

Learning to code in 2020 is both much easier than in 1980 but also more frustrating in many ways. There are far more resources, but most are abject shit printed by an entire cottage industry devoted to teaching people the basics. In the 80s, a curious kid sat down at a home PC with a BASIC interpreter and a reference manual. I think that is an infinitely better experience than what most people get today.

I've tried several beginner resources. HTDP is too slow paced, most beginner Python books just force feed syntax and that's it, most websites are total crap and the vast majority of beginner tutorials are either not truly beginner level or are so braindead that nothing is actually taught.

My ideal would be a modern BASIC with the most intuitively simple syntax possible, that includes well-written tutorials that would walk you through basic programs and concepts all the way up to at least one or two complex, multi-file projects. Importantly, it would encourage the right mindset to tackle learning about tech, i.e curiosity, organization, not getting bogged down in details unless necessary, etc.

But I don't have that, so what resources are any good?
Caltrain Horn Sounds
With technologies that we have today, I wonder whether train horns should still be controlled by train/locomotive driver/engineer?

Using GPS/devices, one should be able to re-play horn sounds that are pre-recorded based on location and driving speeds of the train, and measured with sound-level detection devices along the tracks. This can ensure accurate level of sounds required to have public safety, and likely prevent horn sounds that goes too loud.

What do you think of this idea?
you might like https://github.com/hofstadter-io/hof as well
A salesman, an engineer, and a programmer drive a rental
car up Pikes Peak. On the way down, the brakes fade,
and the one driving manages to skid to a stop in a cloud
of dust at the edge of a precipice.

The salesman wants to call for a tow truck, the engineer
wants to try to fix the brakes, but the programmer says:
“No, first we should drive back up and confirm that we
can reproduce the issue.”
As always, the argument is subtler than the blurb on the back side.

A reviewer summarized it as follows:

> In One Nation Under God, Kruse argues that the idea of the United States as a Christian nation does not find its origins with the founding of the United States or the writing of the Constitution. Rather, the notion of America as specifically consecrated by God to be a beacon for liberty was the work of corporate and religious figures opposed to New Deal statism and interference with free enterprise.
What porting? Isn't C++ the most portable language in existence? Oh, there is also Rust. But isn't it just uses an LLVM codegen, same as Swift or clang? So, there is Rust's stdlib.

Seems like these abstractions are not exactly zero-cost?
10 years ago I worked for a company called Wowd which built real distributed search engine. Stored the index in distributed hash table (Kademlia). We were all students at the time. But, Wowd failed to get enough traction and it got acquihired by Facebook.
To summarize the article, women are now 50% more likely to enroll in college than men. For those interested in the longer term trends, here is a pew report on the subject up to 2010 [1]

The post article brings up the point of financial expectations, but I wonder what other factors could might be changing for young men. Alternatively, what factors ARE changing for women, and are not changing for men, specifically minority men.

https://www.pewresearch.org/wp-content/uploads/sites/3/2011/...
Always and Never, at the same time.
I just signed up and filled the form. It redirects to the home page. How do I find the link to download?
I think part of the problem is that there is no infrastructure for something like this on iOS and Android.

With webOS, there was a single messaging app that integrated SMS, Skype, Facebook and Google. The latter part was implemented using libpurple, so it was relatively easy to extend this to all messaging that libpurple supports.

I really liked that approach (marketing name was "Synergy", unified messaging was only a small part of this), but it's quite obvious that neither Apple nor Google have any interest in adopting this unified approach for anything but their respective own messaging of the day.
Should be good now?
Spinning up more servers as we speak. HN hug of death :)
Yes. I was surprised that the OA gets as close as mentioning “golden apple” but misses that the Latin “aurantium” (from pomum aurantium) would sound awfully close to “orange”.
Ask HN: Will you pay to have a anonymous friend to talk with?
I was wondering what if there was a service which is based on talk therapy and where you can have a virtual friend who is a real person and can be based on your preferences like gender, hobbies likeability, language, region and many such options. There is no restriction as such to what you can talk, fully secured & end-to-end encrypted with decentralized mode of operations (server only works to propagate connection between two nodes.)

A truly Anonymous talk therapy service
About World Stream SEO
sorry, the relevant part of the book is in the first few pages of the first chapter, where JBS Haldane discusses the physical limits of mammalian anatomy due to load bearing constraints on bone cross sections and hydraulic implications for a heart that must circulate blood/lymph through a gigantic body, and how all of these and other separate systemic envelopes merge to form what we understand as the "right" sizes for living things etc.

Some portion of this chapter is occasionally excerpted to deflate claims about extraordinarily large or small purported alien creatures, though Haldane was setting up an argument for dynamically limited systems in general.

I thought it might be an interesting skim given the similarities to your comment above.
To explain algorithms a little more clearly to less mathematical students I actually introduce traditional logarithms in case they are not familiar, in terms that are easier to understand.

For instance in a remote river with lumberjacks dancing on logjams without falling in the water, that's a type of logarithm at work.

When Al Gore does it, that's an algorithm.
I can't claim to be an expert, but this is likely correct. The native Japanese words for color (shiro, kuro, aka, ao, midori etc) don't use the -色/iro suffix.
Wow, this is the first time I've seen the computed goto extension. Delightfully gross!

https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html
It might be, but it's the first thing many devs look for when choosing an engine, so might as well answer the question.
Pottinger is the architect of current China containment policies that's fairly coherent if not for Trump going off script. There's likely continuity going into Biden's China policy. He's arguably more dangerous to Chinese interest than Pompeo. I don't think there's going to be much movement towards improving relations until Biden sorts US out for a couple years and there's some semblance of where Trump/Pompeo/Hawks/Republican party is heading for next election. Sanctioning Pompeo probably a gift for his presidential aspirations anyway. Otherwise it looks pretty reciprocal, China doesn't have SWIFT levers, so have to inconvenience another way.
I use https://quire.io to do similar. It's also 100% Markdown, and you can copy the list itself as Markdown to elsewhere.
> Even if logging can't use f-strings, is there a reason it can't use `string.format`?

the logging module predates the `.format` function.
I guess this could be enhanced to also serve as an input device. Combined with either microphones reacting to the reflections of the ultrasound or a high res theremin perhaps?
The sum of all positive integers can be somewhat described as negative one twelfth: https://www.youtube.com/watch?v=E-d9mgo8FGk
Thank you for informing us. If the course doesn't even cover the dot and dw movements then I'll avoid it.
DEC WARS is full of great computer jokes. It's a 1983 Usenet posting by Alan Hastings and Steve Tarr: https://www.bsd.org/decwars.html

> It is a period of system war. User programs, striking from a hidden directory, have won their first victory against the evil Administrative Empire. During the battle, User spies managed to steal secret source code to the Empire's ultimate program: the Are-Em Star, a privileged root program with enough power to destroy an entire file structure. Pursued by the Empire's sinister audit trail, Princess _LPA0: races aboard her shell script, custodian of the stolen listings that could save her people, and restore freedom and games to the network...
So you are not "project manager", but "competent project manager", which is something completely different :)
What do we want?

GARBAGE COLLECTION!

When do we want it?

...

...

NOW!
Studies on how much carbon data transfer actual use tend to be all over the place, i dont think a single study should be treated all that highly until the various studies start agreeing with each other
Canon G7x, it just works nd takes great shots
The famous cartoon on software developement:

https://www.smart-jokes.org/how-it-projects-really-work.html
Crows are way too smart for decoys or actual scarecrows. The only thing that scares them away would be an owl or another dead crow. Someone did try shoot one early last year, but police investigated because setting off a firearm is prohibited within city limits.
Ubuntu has a checkbox to install non-free codecs, I'm forgetting if that also includes non-free firmware.

With all the hate directed at Ubuntu 20.04 (mostly about Snaps), I don't know why saying "just use Ubuntu if you use wifi" would be an acceptable stance. Given Debian does release unofficial non-free DVD/CD images[1] (i.e. the dirty deed has already been done) and someone proposed a patch to make them more prominent, any resistance to the patch really just seems anti-user rather than pro-FOSS principles.

[1] http://cdimage.debian.org/cdimage/unofficial/non-free/cd-inc...
because A/V folks are hackers, not engineers. hackers do impressive things without reading the fucking manual. that's why they can break seemingly unbreakable things. but on the surface, to the engineer, they seem uncompetent.
The point of listing the second point was to paraphrase/summarize archetypes and contrast it to a more plausible explanation (the first point).

Here's some hyperbole explaining why the first point offers the simpler explanation.

To use the old south park meme:

1. The underpinnings of the architecture of the mind

2. ?

3. Stories resurfacing.

vs

1. narrative tradition
Fun fact: the first and last commits were 4 years ago