skysight-inc/HackerNews huggingface dataset:
Btw, the reason Haskell isn’t used more isn’t type system per se, as all types can be inferred at the compilation time. People would sometimes use this feature even to see if GHCi guesses the type correctly (by correctly I mean exactly how the user wants, technically it’s correct always) first time and save them some time writing it either with an extension or just copy&paste from the interpreter window.

When it gets hairy is that most programming languages have low entrance barrier. To write Haskell effectively you’ve got to unlearn a lot of rooted bad habits and you get to dive into the “mathematical” aspect of the language. Not only you got monads, but there’s plethora of other types you need to get comfortably onboard with and the whole branch of mathematics talking about types (you don’t need to even know that such a field as category theory exists to use it).

However, since most people just want to write X, or just want hire a dev team at price they can afford, Haskell rarely is the first choice language.
I think the point is that they accept more than the spec dictates - do your JSON parsers accept e.g. the vs code config file (JSON with comments) or JSON with unquoted keys?
Yeah, I feel sorry for this man's family and loved ones, but I wish he'd never invented the damn things. Blue light scatters in air more than non-blue, and it's just garish to look at.
Oh, the fun we've had in computer classes in school... Out high school was math-oriented, so there's a bunch of 14 year olds who spend 6 hours a week proving theorems and lemmas – and learning a local dialect of Lisp made by our school stuff. Obviously, there were a long of shenanigans, trojans, and DOS attacks, but the best part was when my classmate got so annoyed by his PC restarting for the third time just as he logged in and opened his IDE third time in a row, he physically attacked a classmate who he thought was responsible. (He wasn't, it was me, from another classroom). After that, our whole class was downgraded to DOS as collective punishment.
Spanish Flu Spread
So it looks like offline is a feature now :D

Damn I'm still happy to have my iPod and Rockbox in my backpack, 80gb of music, days of battery and a nice firmware to play Vorbis/FLAC/Opus :)
Monarch butterflies are tracked by tags, rather like ringing birds

Source https://monarchjointventure.org/faq/track-the-migration
> I can agree with now are 2 and 3, the rest is just invalid.

The parent poster is clear on what they like (or don’t) and even prefaced everything with “and these are super subjective”. Personal preference doesn’t become invalid when another disagrees, nor does parent seem to be fishing for agreement.
As China continues to expand they make more people's lives worse, as we saw recently in Hong Kong, not so long ago in Tibet, and may soon see in Taiwan.

That expansion is fueled by trade. So even if you're right that refusing to trade with China would not improve the life of the average Chinese person, it might improve the lives of people near China.
Yes, it's why SAD therapy lights are blue-ish.
>Can you buy a house with cocaine? A car? Stuff from amazon?

A drug dealer certainly could.
Animals do get lost.

On to the next article that takes a fallacy and makes it an axiom.
Any time "the leaders of the world" get together for any stated purpose, some of them are trying to bring about exactly this.
Where have all the kindergartners gone?
A company whose product is sufficiently inessential that they can just send everyone home and no one would know the difference.
Both the nominal and PPP GDPs of the US as a percentage of the world GDP have been dropping steadily over the past few decades. It used to be near 40% of the world's GDP. Now it's barely 20%. At what percentage point will the world look at the US Dollar and its economy and decide maybe that figure is too low for the dollar to be world reserve currency? 15%?
10% or 5%? And did weaponizing the dollar as a geopolitical stick against its enemies change that threshold? Or does it even matter as long as the US retains military primacy on our planet?

These things are more guesswork and storytelling than anything.
Schoonschip – Unique residential area: floating, sustainable, circular
I recall 1997 being when every IRC-type person had mp3s and a cd burner. One was lucky to have a hard drive large enough to convert mp3s to wav files before burning. Otherwise you had to decompress "on the fly" and hope for the best. Could be done at 0.5x for higher chance of success, if I recall correctly.
Training a decently large ML model requires a huge amount of compute power. There exists specialized hardware for these purposes (e.g. TPUs, FPGAs, bespoke ASICs or even the giant wafer-sized chips from Cerebras).

Besides, even after training, inference can also require huge amounts of computing power, with data requirements only a fraction of those during training.

The energy usage of ML is astonishingly high, even at inference time. Getting it down to the energy efficiency of human brains is a major area of research, sort of like proof of stake.

The parallels between the two domains are very strong for those who are well-versed in them, but some people seem to pick one or the other as "too dangerous to keep around" for some reason, which is literally the Luddite stance.
Argentine president positive for coronavirus after vaccination early this year
Show HN: Ivy Podcast Discovery - follow guests, topics, tags, and podcasts
It's long, but if you're into it this podcast (episodes 2-5) go into some lengthy research and discussion into it: https://www.youtube.com/playlist?list=PLPNW_gerXa4NjSNbZhpSD...
macOS has a great UX but in my personal opinion I dislike the native Mail app and native Calendar app.
I use Gmail and to me Gmail is far better than the native Mail app on macOS.
I also don't see how the author consider himself a power-user and then use the native Mail app which is clearly less advanced than Gmail which offers far more features and integrations.
A company whose product is sufficiently self-sustaining and automated that they can just send everyone home for the well-being of the workers.
Startup's are a winners game, but the software aspect of them is very much a losers game. Startup's very very rarely succeed because of high quality programming, most of them are doing very boring things from a software point of view, they just need to not have their software be unusable for long enough to test out their business hypothesis.
Cryptomining is a waste of energy and compute resources. Imagine such an effort being put into protein folding, or finding a cure against rare diseases instead.

What makes it worse is that a tax, higher energy or hardware costs, or increased transaction fees only speed up crypotocurrency inflation relative to other currencies. It's hard for me to comprehend, that others don't see the pyramid scheme behind it.
>It was beautifully coherent.

Not really. While Linux DEs had open in place, Windows would keep opening new Windows when clicking a folder. Until the UI crashed. I believe the NT line had open in-place.

That's besides the point though. The same list of actions would randomly BSOD in one case and not the other. Windows 95 was not coherent it was chaotic.

You only had 4 hours left on the 0day FtP WaReZ site? Tough luck. Deadline at work? Too bad. With Win95 randomly crashing and corrupting files whether you'd get there or not depended on Russian roulette kind of luck.
I still remember the first day I used Windows 10 and tried to make a desktop shortcut. I opened the Start menu, began typing the name... and then dragging a program off the search result list didn't work. I right clicked, expecting to get the option to "send to desktop(create shortcut)" and that was gone too. I found I had to add it to the Start menu, drag it from there onto the desktop, and then delete it from the Start menu. The feeling of dread that settled onto my stomach at that moment has never been matched by any other computer event in my life.
The point of certifications is that they make particular promises. If those promises are obviously broken, why bother? This is like a priest asking, "so what if God doesn't actually exist?"
While it's not a time zone as such, most Ethiopians use a time system where 12:00 is at dawn and dusk rather than noon and midnight. A similar system is in use on Mount Athos.
“Continuous integration and testing practices" are not exactly a great burden, and you don't know when the thing you are working on is going to snowball and become the thing you need to nurture and grow. Even if you pivot, you will likely want to re-use code written for earlier attempts.

I suspect the reason startups don't do the bare minimum here is because their developers tend to be cheaper and less experienced (at least until they get funding), and "we move fast and break things" is just a lame justification for incompetence.
MacKeeper 4.10.4 Crack with Full Torrent and Key Latest (2021)
Just to be clear I was only joking. It was neither pro- or anti-systemd. Stating an opinion on systemd is like discussing religion or politics; best avoided on forums.
If adding trillions of dollars in reserves (QE) are not inflationary because they don't act in the real economy, taking that trillions of dollars of reserves of the system is not going to be deflationary neither.
in many countries assets value depreciate at a regualtory predefined annual rate till it reaches 0.
I had to rewrite some JavaScript code in Postgres recently that measured the overlap between different elevation ranges. In JS I had to write it myself and deal with the edge cases and bugs. In Postgres I just use the range type and some operators. It was brilliant in comparison. The tiny effort of learning it was worth it. The list of data types I use all the time is bigger than just string, numbers and booleans. Serialisation formats should support them. Particularly as there are often text format standards that already exist for a lot of them. Give me wkt geometry and iso formatted dates. It's not that difficult and totally with it.
Yeah, unfortunately it is not backported for older GPUs. But it doesn’t make the case of supported hardwares worse.
Well, my current workstation boots in about 5 seconds, and it is not so special (NVM SSD, Linux/Ubuntu).

Maybe you misconfigured sth? I remember that I once had something bad in my systemd services, which caused a long hang waiting for nothing and then failing after 1 min timeout. https://askubuntu.com/questions/1234713/why-slow-startup-boo...
While I'd not call it "Music" Player for my purposes, I use it since a few years for playback of audiobooks and similar content for which a proper queueing feature is highly relevant.

It's been great for that, containing all the important features and proper queues. The few issues I had, I sent to the support email as bug reports or feature requests, and most of those have been resolved relatively quick.

So, not being open source (or at least source available) is the only remaining concern for me. Still, I'm happy to use it since there are only few mobile applications that have a similar no-nonsense style and still target power-users.
Little click out of 1. 2 is binding…
What do you mean "by default"? By default workflows simply aren't run, not even when you push to master. You need to explicitly include the 'pull_request' or 'pull_request_target' event in the 'on' section of your workflow in order to build PRs. And you can implement a whitelist with reasonable ease if you want to.

However, it turns out — who would have guessed — people do want to build random PRs, because 99% of PRs aren't jerks trying to mine crypto.

---

Edit: To expand on the 'pull_request_target' event, it was introduced later and defends against running arbitrary unsanctioned workflows. It could have been introduced earlier, and maybe made more prominent, but there's a tradeoff.
> Why...
> Who...

Money. It's always money.
His guy was capt Avery, maybe a distant cousin. Or changed the last name to elude discovery
Favorite startup might have its engineers in China
Birth of the telephone and the Magneto Era (1876-1900)
Not necessarily.

From 1975 to 2015 the US had a law banning most crude oil exports from the US (aside from Canada and partially Mexico), effectively creating a separate North America-only oil market. It wouldn't take much for the US to reinstate this ban, meaning oil produced in the US stays in the US. And since the US is a net oil exporter, that means North American oil prices will stay low and stable.
> no one would know the difference.

Where are you getting that from?
https://en.wikipedia.org/wiki/Ethiopian_Air_Force https://en.wikipedia.org/wiki/Egyptian_Air_Force

Egypt can just occupy them, install a puppet regime and then move on. They definitely have that capability.
What Auto&& Means
There's a rumor that Windows 10 will be getting a major graphical redesign. Most welcome by me if true!

https://edition.cnn.com/2021/01/05/tech/windows-10-redesign-...
It's faster, and less jarring when it opens due to animating FROM the file). It also works in Open / Save dialogue windows in any app which the equivalent does not.

That little "wait is this the file I want to open / overwrite?" When saving a file, it adds to an overall feeling of polish.

Like a tasty meal, it's all in the details and how they add up
Basically, autoimmune disease, but for software.
When Google Play Music shut down I decided to buy a 128gb SD card and a Jelly Pro (tiny phone) to use as an MP3 player.

The battery life on the phone is shit, but since I only needed it for music, I could do something about that. I rooted it, added some automation: automatically launch music player and scrobbler on startup, activate airplane mode except when plugged in, add sshd service so I can rsync files to it, and turn the device off if music issn't playing for three consecutive checks (each 15m apart)

The only thing I need was a decent music player. I tried Musicolet, but it didn't suit me. For a start, it just doesn't work well on a small screen. Almost every piece of text was truncated. I also found that it didn't pick up media changes a lot of the time (eg sync a new playlist). I ended up going with phonograph because it's perfect on a small screen, has good controls and is really simple.
As a macOS & Linux user and KDE fan (without the boy), I love how macOS uses space so efficiently and has great productivity flow.

Also, the native mail & calendar apps are not that crippled when combined with a capable IMAP/CalDAV server combo. After using it for some time, I personally like how I can map it into my mental model and use effortlessly.

I'm not a macOS power user though. I like the vanilla macOS and doesn't add many tools on top of that (like Brew, HammerSpoon, yadda yadda).
This is still one of the best Language tutorial books ever. The cartoons are both funny and illuminating.
Best way is to not get involved. I don't mean don't get involved in startups but just don't follow so-called thought leaders and focus on yourself.

These posts are primarily to create engagement and promote themselves / their business. In general it's mostly hackneyed talking points because they are the most likely to get liked / retweeted.
I was thinking more about drone video, you can see the scale better:

https://youtu.be/4nrdHYL5eq8
>4. I need to have pulse audio volume control window opened all the time, otherwise the laptop loses my external sound card after first call via browser, and I need to turn it off/on.

Sounds is really bad

To get sound on my headphones, I need to restart pulseaudio and ALSA, and unplug and replug the headphones
It’s a shame you didn’t read the article. It’s actually good popular science commentary. Hopefully it will snag some readers and make the investigate deeper.
They can build a Las Vegas in the time San Francisco can build a train station.

Now imagine if they turned this focus to something else.
I'd be curious to know how much time off they give their staff normally? I hear that 2 weeks is standard in the US and if so no wonder everyone's burned out. In the UK we get 6 weeks minimum and I honestly can't imagine going without that, particularly during covid.
What would automatic discovery even do? Add you to some worldwide IP overlay on top of internet? What would be the use of that?

I did had a use case in the past for peer to peer VPNs, mainly because in the 2000s, most hosting companies would only provide you crappy VMs with a single public interface. If you needed some control over the network, subnets, etc, then you would need some kind of overlay. This, added with the fact that you would typically have dozens of heterogeneous boxes at different providers, made maintaining a traditional host to host ipsec full mesh nightmarish. I used n2n (a peer to peer VPN) to reconciliate these various internet facing boxes in a single private IP network.

Nowadays, cloud providers are much more evolved, and offer you full configuration of multiple public/private interfaces, so recreating subnets over public facing boxes is not really a concern, which is why IMHO peer to peer VPNs do not serve much purpose in 2021.
I recommended reading the also-recent https://news.ycombinator.com/item?id=26645903 too. It's interesting how the two articles seem to be talking about completely different recommendations :)
Show HN: Chrome Tab Groups Extension
Sex can never be a subject of a legally binding contract, and all of those activities (unless overruled by other laws) are not taxable.
> let’s be done with it

... and start using this useful information to formulate public policies.
You wouldn’t have white LED lighting or any of the mixed colours that include blue (eg cyan or purple) without his contribution.

Don’t blame the inventor for the bad applications of companies. Just like you wouldn’t blame Alexander Graham Bell for telemarketer spam.
That sounds to me like those ships are missing transponder data for some reason, and the visualisation is extrapolating between to distant data points.

Not sure why this would be the case. Transponder turned off? Data missing for other reasons?
That is Safari's default behaviour for ZIP files. Only to extract them, though.
We survived because of movement, and other natural attributes. "Progress" (i.e., a forced shift from proactive living entities to reactive consumers) comes along and suddenly our evolutionary past is denied (usually for profit). There's nothing wrong with profit, unless it is the primary measurement of success and progress.

Of course there's collateral damage, we're denying a massive chunk of our evolutionary makeup, our very nature. Another study to confirm this? Perhaps we're not the advanced species we make ourselves out to be?
Daily macOS and Linux user here.

Linux does have a lot of crappy and quality software. Using the better ones changes the experience a lot. Not all software on the macOS is top notch either. There are some amazing apps, but most of them can be replicated on Linux or have better equivalents.

I think you're dismissing something here.
What essential need does LinkedIn meet?
IceWM also has a nice Windows 95 theme. I used to run it with Gnome 1.0 on my Red Hat 5.2 system (Linux kernel 2.0.36!) system in 2000.
Maybe not a Ctrl+F interpretation of "mentioned in a law", but yes, definitely - if something is required by legislation, all copyright, patents, etc. should be void.

If the government requires product category X to be developed to the spec of standard Y and standard Y is a closed standard, that law should either be invalidated or the standard should be opened. If a hypothetical government required all citizens to read a specific book, that book better be royalty-free to distribute.
Pakkly – A simple way to ship apps and updates
As kids, we had a tortoise that wandered off one day only to be found by complete chance in a neighbours garden many months later. It disappeared again not long after never to be seen again.

Either the tortoise really didn't like us or it just never found its way back?
Avoiding Co-Founder Conflicts
AmberBox Gunshot Detection (YC W16) Is Hiring a Full-Stack Engineer in Nashville
" beatiful, integrated kmail and their whole PIM suite"

Is that the one that used a MySQL database on the desktop? The disaster known as akonadi? That would frequently lock up requiring restarts? When I used KDE back in the day one thing I'd make sure was to remove PIM/akonadi/kmail completely and use Thunderbird or whatever else instead.
> most Linux distros seem to have a better terminal pre-installed.

I haven't found a Linux terminal that is as good as iTerm, in terms of features. Any recommendations?
I remember Litestep. It was very good. You would edit the wm config using notepad and then do hot reload. Unheard of in the Windows world.
That 6 week minimum (actually 28 days) includes bank holidays, doesn't it? I suspect the 2 week standard in the US does not include public holidays.
Missed this remark?

> There is no way, because the only way to make it work is to dig out a pre-historic kernel from the same year Asus released 1215B with Linux support.

My dear, my first UNIX experience was with Xenix back in 1993, I also used DG/UX, Tru64, HP-UX, Aix, Solaris, Slackware, Red-Hat, Yasdril, Mandranke, SuSE, FreeBSD, Ubuntu, Debian, OS, Scientific Linux.

Back in 2002 - 2003, I wrote cluster simulation software while at CERN running on Linux, followed by other examples of deployment of Linux based software into production, like Nokia's NetAct cluster monitoring platform.

I think I can manage with the basics.
Excuse the morning haze clouding my vision, guess I focused on writing without focusing on reading enough. Invalid is not the right word.
The Windows 10 partition manager (Disk Manager) stems from Windows NT / 2K. Windows 95 / 98 only had fdisk.exe, which was horrendous.
Verification from a throw-away account.
Before WW2, the Netherlands was on Amsterdam Time. This was originally 19 minutes and 32 seconds ahead of Greenwich, though they decided to round it to 20 minutes in 1937.

The Netherlands was relatively late to adopt standard time at all. While the telegraph offices and railways switched to Amsterdam time in the mid 19th century, towns maintained their own local time zones until 1909, which often caused problems for travellers.

I suspect that one reason for this is that Dutch church towers (and their clocks) are all the property of the local government, as a holdover from the Napoleonic occupation- so the people in charge of the clocks might have been reluctant to switch to Amsterdam time...
This is a real talking point of crypto currency enthusiasts for people that didn't know and assume satire.

They think that consuming more and more power results in more renewable energy being build. But because PoW algorithms create a static load, they siphon the energy away and when renewables cannot deliver enough power (e.g. no wind, no sun), coal and gas will be burned so blackouts don't happen.
Cold boot? My computer doesn't show even the first BIOS screen in first five seconds.
It does feel a lot like it would be better if we tried to become better rather than encouraging others. There's plenty of room for improvement everywhere, but something about specks, eyes and beams.
I disagree that conjectures are equal to knowledge. The results might not be unexpected but you never know until you actually take a closer look.
In my experience, Linux PDF readers suck, and so do email clients. OpenOffice is not as good as Excel / Word. Not sure how changing the hardware would fix this.

Most of the Linux complaints that I see are focused on the quality of the applications, not a driver support
Why would rates go higher? The Eurozone has lower rates than the US. Heck, Australia and New Zealand (not exactly global reserve currencies) have the same rates as the US.

The only way that the dollars international status would meaningfully affect USG’s ability to borrow is if it was relegated to emerging markets status. All developed market currencies can borrow at sub-2% rates. That doesn’t require you to have reserve currency status.