skysight-inc/HackerNews huggingface dataset:
Apple releases iOS 13.5 to the public with Exposure Notification API, Face ID
I spent a couple weeks casually studying about both, and finally hitched my wagon to Guix. The careful separation of free and non-free software is incredibly refreshing. I appreciate the emphasis on building packages from source. The docs are great and so is the Guile language.

It didn't take me long to get a bootable USB with proprietary drivers and mainline kernel, even though I thought this would be much more difficult.
Consider a /64 subnet will take a while, if not forever, to scan.
Yep! Every cell can hold values from a list. You can read more about it from where I originally found it: https://www.reddit.com/r/dataisbeautiful/comments/5lh6tc/eve...
> I have never observed a “utm” query param actually improve the quality of the response.

You have it backwards. It's more tracking for the webmaster/marketer to know what was popular and what wasn't.
Please don't be a jerk on HN, regardless of how wrong or annoying another comment is. If you had simply flagged it, it would have been flag-killed sooner and without the extra guidelines violation and offtopic noise.

This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html.
That doesn't make any sense. Notion is literally just a powerful text editor. If the act of using Notion is busywork, then so is the act of using a typewriter, a pen, a whiteboard, any other text editor, etc.
Obviously, the reason they cannot detect polywater anymore is the lack of n-rays: https://en.wikipedia.org/wiki/N_ray
Types and Programming Languages[0] by Benjamin C. Pierce is a good introduction to type theory and programming languages.

[0] https://www.cis.upenn.edu/~bcpierce/tapl/
Ah my apologies - We use Bazel to build our services, and the output artifacts were then pulled into Nix and deployed as Nix packages. Bazel has _excellent_ support taking the same application code and creating Docker images from them (https://github.com/bazelbuild/rules_docker#language-rules), and the tools available for deploying containers is orders of magnitude more feature-full and higher quality than what you get with Nix today. So we no longer have Nix anywhere in our pipeline, and all of our artifacts are now deployed inside containers.
There’s a limit to how much power you can get out of an outlet. Batteries less so.
This is going to answer a very important question for the future. Is American tech dominance the result of some magic cultural mojo born from American values that can't be replicated in a different cultural sphere, or is it something that can be replicated if you pump enough money into the right educational, institutional, and industrial structures while completely divorced from American culture. Since the fall of the USSR, the global zeitgeist has been that if you want to be a developed country, adopting American values in some form is necessary sooner or later. China is challenging this assumption and many developing countries will be watching the outcome.
From looking at PR seems that it will utilize some extra space (for derivations that aren't really OS specific) and there might be problems wih deploying from os x to linux, but feels like they are planning to go that route ultimately.
It's particularly annoying because the spammers are not only causing trouble in their own right but also motivating an overreaction from major mail services in response.

From the sending side, I have one business right now where our outgoing emails are apparently being blocked or even silently dropped by at least three ISPs spread across two different continents. We have never sent anything even remotely spammy in our entire trading history. We have all the usual shouldn't-be-needed-but-are extras like SPF properly configured. The sending mail server hasn't found its way onto any of the big blacklists as far as we can tell. And the mails being blocked are actually quite important things like password reset requests, emails with copies of documentation that we are legally required to send attached, or even replies to customers contacting us to ask where their password reset emails are when they've been requesting them!

From the receiving side, I'm fed up with helping friends and family who are trying to work out why they aren't getting important messages, and with the ISPs who have screwed up their mail configuration or deliberately set up overly aggressive anti-spam policies but then have front-line support drones who just intone that you should check your junk mail folder as an instinctive reaction to any complaint about missing mail.

I think that with email now effectively being both the effective root password to so many online accounts and the primary means of communication between a lot of people and organisations with genuine reasons to contact them, the medium of email needs the same kinds of legal safeguards that other essential means of communications like postal mail have enjoyed for a long time. I don't think it should be left to big name mail services or some random ISP to decide whether or not their users are going to receive legitimate emails any more. Blocking false positives is far more damaging than missing false negatives when it comes to spam, and the situation is out of control. It's time to regulate.
Nationalistic flamewar is not welcome on HN regardless of which nation you are for or against. Please do not post like this here again.

Edit: would you please stop posting flamebait and/or unsubstantive comments generally? You've unfortunately been doing that repeatedly, and we eventually ban such accounts. If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and sticking to the rules when posting here, we'd be grateful.
The Death of Microservices
What? The FED’s independence from the government (politicians) is exactly what keeps it from being corrupted, from being used as a partisan political weapon.
Sorry I didn't provide a source myself! Didn't have the time to look. Thanks!
Maybe slightly off topic, but has anyone seen Microsoft MakeCode?
https://arcade.makecode.com

It can convert Visual to/from TypeScript/ JavaScript. And it works on mobile.

It's for games, but you'd think the technology would be applicable for any kind of program.
Please do not post political or nationalistic flamebait to HN. It starts moronic flamewars, which are the antithesis of what this site is for.

https://news.ycombinator.com/newsguidelines.html
SGI emulation has been a thing since the late 90's with SimOS (console only though) and more recently with MAME (full support for Irix desktop) as well as user space emulation with qemu-irix.

I'm running a Irix 6.2 desktop on my PC right now.

Also fun fact: up to version 6 of the MIPS port of NetBSD, you could run Irix binaries. I'm pretty sure it can boot in qemu-mips which would be another avenue for some ability to run certain Irix software on PC.
This is the kind of thing I was referring to by higher level runtime features in Erlang. If you really need this sort of thing then you should probably be looking at an Erlang stack but I think for a lot of projects a less exotic and also much more rigorously typed language is going to be more productive.
What do you mean by American values? Specific examples?
I've always found it easier to debug code I wrote, mostly because I find it the easier to read the code I wrote, since I understand the author's intent.
I haven’t worked through the entire text but I absolutely love the manner of explaining.

I often feel when I’m reading an explanation the author is reluctant to really break something down to the essentials and ELI5 ... which ironically can be conceptualized as the most intellectual way to understand something. Please explain it from as close to first principles as possible. Assume as little as possible.

Maybe it is because the author thinks it is an intrinsically hard concept (as per the intro).

Or maybe this person is just kinda awesome at explaining stuff.
Show HN: I created a short hands-on course for getting started with data science
Hi, I am a former software engineer at Amazon Alexa and I have created a short down-to-earth hands-on course to introduce you to the tools needed to do data science. You can watch the first 2 videos on Youtube (https://youtu.be/ehPkrAKVLII) or you can go directly to the course (https://skl.sh/2ZlDxnu) and access SkillShare premium for free for 2 months so no need to pay anything.

Below is the description of the course for your convenience. I really hope you find it useful and would love to know your feedback

---
Course Description
The goal of this class is to provide you with a step by step guide on how to start doing data science and data analysis of real-life raw .csv files.
Prerequisites: basic programming skills preferably in Python
Concretely, you will learn:
* best practices to properly setup Python for your project using Conda environments
* how to install packages (Jupyter notebook & Pandas)
* how to analyze a .csv file using Pandas DataFrames to extract useful insights for your business

---
Course Project
In this class we will use a real-life Android Play Store data (.csv) for a given search query to extract useful insights and answer 3 questions:
1. How many apps are paid?
2. How much money are they making?
3. When were these apps released?
Please don't take HN threads on generic ideological tangents. It's off-topic and tedious, and leads to nasty flamewars that are also off-topic and tedious. It's also against the guidelines (https://news.ycombinator.com/newsguidelines.html), as other users have pointed out.

Internet forum threads can't withstand this sort of provocation, which means your comment had troll effects whether you intended it to or not. https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
That is kind of an oversimplification. The UK government arm twisted companies into not doing mass layoffs using tax policy and some legal wrangling. The amount of debt monetized was small relative to what the US is doing. While the US dollar has the advantage of being the global reserve currency the pound sterling gets substantial value from being relatively well managed. And markets did tremble significantly and there is much speculation that the rally in London and New York exchanges is actually rather shallow and flimsy.
I know the OP, and he really does tend to extract frameworks while he's working on an application (and for that matter, extract libraries while working on frameworks) as a matter of course. It is pretty impressive how effortless he makes doing the right thing for code reuse seem.
Longstanding mystery of matter and antimatter may be solved
I think you are underselling the potential of a model which deeply understand programming. Imagine combining such a model with something like AutoML-Zero: https://arxiv.org/abs/2003.03384 It may not be 'creative', but used as tab-completion, it's not being rewarded or incentivized or used in any way which would expose its abilities towards creating a new sort algorithm.
>Battery status? It could be useful to know if the PC is connected to a power source and the level of the battery [...]

But when was it ever implemented in the wild? This applies to most of these "features". There's a bunch of theoretical use cases, but there's pretty much 0 use for it in reality, and even if there's significant use, it's used more for fingerprinting.
Coronavirus Layoffs Remake Silicon Valley Job Market
> I have zero problem with whatever usable organs I have remaining going to someone who can make better use of them than my cold, limp corpse.

That's your choice and you can donate it if you want. Oh wait, you can't even donate it since you no longer have the option. By default, your organs now belong to the state so your organs aren't even yours to give away.

> Seems like a no brainer to me.

But not to me and many other people.

> I do have a problem with being tracked wherever I go and my data being sold on to people that have less than pure uses for it.

But many people have no problem with it. So since they don't have a problem we should all be tracked right? Seems like a no brianer?
https://outline.com/5urSXr
Unfortunately:

- that code doesn't provide printing for hash tables. Oops!

- breaks tooling:
- doesn't provide editing or syntax highlighting support.
- confuses any tool that reads all of the files of a project using the Lisp reader.

- it gratuitously introduces a vector syntax that is unnecessary since #(1 2 3) is perfectly fine and standard across more than one Lisp dialect.

- hard-codes the #'equal equality

- doesn't play with the newer ways of registering Lisp read syntaxes, like https://github.com/melisgl/named-readtables
LiveView is a nightmare from a deployment point of view. LiveView stores state on the server associated with the web socket connection. If the web socket connection disappears which is what will happen during a deployment then the user's state will disappear.

The value of LiveView is not having to write javascript but the only way to preserve any non-complicated state in LiveView when the web socket disappears is to write javascript. It is only recently that LiveView added support to automatically preserve form input values across a state crash. [https://github.com/phoenixframework/phoenix_live_view/blob/m... | Recovery form input data automatically on disconnects or crash recovery] Prior, to 0.7.0 if the web socket died while you were typing input values in a form then the page would reload and all your input into the form would be wiped out.
> open-sourcing Fluid Framework might have sounded surprising five years ago

An awesome trend.

FYI: a nice fluffy intro vid [i] and a preview [ii]

[i] https://techcommunity.microsoft.com/t5/microsoft-365-blog/in...

[ii] https://fluidpreview.office.net/unauth
Try https://qbix.com/platform

It’s faster. See https://yang2020.app/fast.php
I haven't used NixOS, so take me with a grain of salt - it looks like the actual way of doing this in NixOS is that you have a systemwide configuration file that you can edit, and running "nixos-rebuild" will pick up your changes and automatically make the packages you need. See "Changing the Configuration" in the manual: https://nixos.org/nixos/manual/index.html So, at the end of the day, there is a Nix package, but you don't interact with it by using the packaging tools, you interact with it by editing a file and then running a command that snapshots the current version of the file and does everything for you.

If you're running your own services, you don't have to go through Nix packaging, you can handle this yourself if you have a way you prefer. For example, if you're running WordPress out of your home directory, you can have a git repo with some config files and a script that runs a particular version of Apache, MySQL, PHP, WordPress, etc. out of Nix. If you want to upgrade, edit the versions in the script and also the config files, then tell them all to restart. You can't rely on having a single systemwide version of Apache like you can with a traditional distro, but on the other hand, you aren't tied to whatever version the system wants to give you, you can keep running the current version until you're ready to upgrade.

I'm looking forward to Shopify's part 2 blog post to see what they do exactly. :)

> sshd (or any other more common program; I'm just using sshd as an example to understand the rest of the system) won't magically know to look at /nix/store/efgh5678-my-sshd-config-2.0/etc/ssh_config, right?

Conceptually, my-sshd-config includes a script (or systemd unit, or whatever) that has a reference to a particular version of sshd and also has your config, and so it would run "/nix/store/aaaa1111-openssh-9.0/bin/sshd -f /nix/store/efgh5678-my-sshd-config-2.0/etc/sshd_config". The openssh package doesn't know about you, and you can't change it, but you know about it. (In other words, the inputs that resulted in the hash efgh5678 include "aaaa1111-openssh-9.0".)

It looks like the actual way you do this in NixOS is that the sshd package provides a function in the Nix language which takes some config as input and spits out a package as output. So your systemwide config file loads the sshd package and calls a function, which returns a systemd unit with the right filenames. https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/s...
The hours long build system appears to be attributed to Nix.

Is Nix really that slow?
BRB: Going to pitch some real estate agents with an automated system to add Tinder women with super hot profile pics tightly geolocated to their realestate listings...
I think the complexity could be reduced in the same ways that we reduce complexity in text based code. We no longer write programs as one giant file after all.
Hopefully long term vacancies do something about that...
Magic Johnson offering $100M in loans to minority-owned businesses
The purpose of a framework is to set constraints so that precious brain cycles aren't wasted on opinionated, (most of the time) irrelevant technical choices (and related training). So that, hopefully, the sum of the knowledge each dev in the team has of the framework covers enough solution space to solve all problems the team will come across.

> the only way to make a framework do what you want is an ugly way

Most of the time it gets ugly because the developer(s) doesn't know how to do that thing with that framework, not because the framework doesn't allow it, and would rather find an escape hatch than improve his knowledge of the framework and solve it the right way. I've seen this happen many times, both while studying and in a work environment. And if that wasn't the case it would be way more beneficial to tweak the existing framework and contribute upstream instead of creating "yet another framework" (obligatory xkcd: https://xkcd.com/927/), especially if you'd like to give back to the community.

Some frameworks have been around for decades (Django and Rails are good examples) and are still in active development, used by people in all sorts of industries, all over the planet. It's quite presumptuous to think your special use case hasn't been covered by at least hundreds of other developers, tens of which came up with what would probably be considered the right way to do that specific thing.

The only acceptable reasons for rolling out your own framework are: performance constraints that are imputable to the code architecture itself (hint: most of the time they are not), licensing issues, the lack of a framework for the language you're using and visibility (yes, releasing your own framework is a cool way of advertising your skills).
We have tons of in memory KV stores, I assume this is implemented for fun? If not advertise the killer feature better
Military might and reserve currency may go hand in hand, but it is more about economic stability. USD is used for loans in countries where the currency moves a lot, so the issue right now is there are trillions of loans in USD, outside of U.S. control.
Democracy naturally leads to competent and benevolent government, there are no circumstances under which human rights violations are ever acceptable, freedom of the individual takes priority over total benefit to the group, all individuals have the same intrinsic value regardless of their economic/social status, etc.
No, that's not true. Actors in elixir/erlang mutate their state through tail call recursion through the loop function.
I'm confused. Is that not you doing the OpenAI demo around 29:00?
That's capex. Snark aside, everyone has to save capex into things no one else does. Opex for things other people do.
Honestly I think that will be harder for this kind of system than writing this sort of code. It takes a certain kind of creativity to think of ways that code could potentially fail, and it also requires fairly deep understanding of the intent behind a feature.
$('p.body-text').css('filter','none');
A couple of other interesting things about owls - they can’t move their eyes, which is why they have a few extra vertebrae that allow them to swing their heads around so far, and some owls have offset ears that allow them to calculate a glide path toward their prey, kind of similar to how aircraft use ILS to stay on a glide path for landing.
There is a common belief that SparkSQL is better than Hive because SparkSQL uses in-memory computing while Hive is disk-based. Another common belief is that Presto is better than Hive because it is based on MPP design and was invented for the very purpose of overcoming the slow speed of Hive by the very company (Facebook) that invented Hive in early 2010s.

The reality is that nowadays both SparkSQL and Presto are way behind Hive, in terms of both speed and maturity. Hive made tremendous progress since 2015 (with the introduction of LLAP), while SparkSQL still has the issue of stability of fault tolerance and shuffling. (Presto does not support fault tolerance.) So, IMO, SparkSQL is nowhere near ready to replace Hive.

If you are curious about the performance of these systems, see [1] and [2] which compare Hive, SparkSQL, and Presto. Disclaimer: We are developing MR3 mentioned in the articles. However, we tried to make a fair comparison in the performance evalaution.

[1] https://mr3.postech.ac.kr/blog/2019/11/07/sparksql2.3.2-0.10...
[2] https://mr3.postech.ac.kr/blog/2019/08/22/comparison-presto3...
I used Visual Programming in my previous job. It is pretty good for waterfall logic and certain workflow. However, it is not scalable well for custom pattern, custom architecture, and Async, operation and functional programming paradigm
I have a Cessna T206 and it’s by far (in my opinion,) the most versatile piston single in existence.

It’s pretty hard to stall.. I can get as slow as 40 knots indicated before it fully stalls. I can fly super slow approaches if needed or come in fast. I can take off in 715 feet, land in 675. Fly legally 27,000 feet; It has onboard oxygen. Cruise at 18.5 gallons per hour at 150kts+ true airspeed and it can hold 117 gallons of gas and has a 3800 pound gross, 6 removable seats, and about a 1300 pound useful load. With WAAS, Active Traffic, XM weather, Synthetic Vision, Terrain Awareness — it’s like flying a mini-airliner. And hundreds of thousands cheaper than a Cirrus SR22T.

The only thing I wish I had was a FIKI system, but that’s about an $80k retrofit and kills some of the useful load.

Cessna is one of the greatest aircraft manufacturers around. Cool thing about the 206 is that transitioning from the 172 is pretty simple. Similar flight characteristics, just a lot more inertia to manage. I’ve flown the Cirrus and it’s a great airplane, but a lot less forgiving a slow speeds and it can’t carry a 55 gallon drum like the 206. I also wouldn’t want to land a Cirrus on anything remotely backcountry.

As far as trainers, the 172 is hard to beat, with a Diamond DA-40 coming in a close second. I know a lot of Piper folks might disagree, but the 172 is probably the best training aircraft out there, and with the Garmin G1000, training in a 172 is great experience for flying more advanced stuff later. (Honorable mention to the 150/152, but on a hot day with full fuel, it can be a struggle.)