skysight-inc/HackerNews huggingface dataset:
In general, I'm on board with what you're saying, but there's a thing with security credentials: it's important for me to allow me to give them away to the guy with a knife.

If knife guy comes for me and says "Your phone and password or your life" I can give it to him. It's kind of important that I can or else he'll take my bloody finger with him and body integrity is way more important to me than any amount of my data.

Literally, I prefer my fingers attached and you can clear my bank account rather than the alternative.
I assumed we were talking about them "relicensing" the content from the all-rights-reserved-whatever to cc-by-sa. In hindsight that was poor wording on my part because it wouldn't actually be "relicensing" since the contributor is contributing it under cc-by-sa to begin with. So no relicensing is necessary.

In my first comment I said cc-by-sa 4.0 because I had just gone to the site footer to see what license they were using. I knew it was some form of creative commons, but I didn't know which one.

I didn't know until just now that they are changing (or trying to change) the license on all existing content from cc-by-sa 3.0 to cc-by-sa 4.0. That I doubt they can do and I very much disagree with the move even if they can.

Interestingly, they also appear to have unilaterally changed the license on all content from cc-by-sa 2.5 to cc-by-sa 3.0 in 2011. The comment on Jeff Atwood's answer at https://meta.stackexchange.com/a/95033 is fun.
I was overjoyed to see my home area, Lansing, break the top 25 beating the much larger city of Grand Rapids. What's amazing is this stuff wasn't even tracked just a couple of years ago.
It's the very best hiking service in Germany also. Google maps is only usable for cars or bus/train. But for hiking or bycycling Mapy.cz with OSM are the best.
> Pattern matching for one. I can prove that 3 cases won’t be met but I have to ‘fill in’ them anyway.

>> This is a funny one because, no, GHC will not ask you to fill them in! You have to turn on a warning for it to complain. The fact that the warning is not on by default is one of my pet peeves with GHC!

Okay, so let's do the inverse then. I've got a pattern matched case that the type prover proves will never occur (so it throws type error) but I want it to occur.

The answer I know is obvious: I have to add it to the type union. But it should be obvious at this point that the moves I am making are not driven by the outcome I want but by the rules of the type checker. At some point you have to say, Why am I playing these games? Do they really yield tangible, business-facing value?

> ADTs with non-Maybe fields. I can prove that all is fine if this ‘slot’ isn’t filled in.

>>Another funny one, because you can just use `undefined` or `error` and GHC won't complain! Personally I'd probably prefer that it did.

But I don't want an error. I can prove that the absence of the field is OK/not-an-error.

If you say then make it a Maybe, I will tell you sorry I don't have the time to update my entire code-base to contend w/ this novelty to the type checker (I say to the type checker, but this is never a novelty to me and my dynamic code).

> Trying to pass an opaque reference down a function call chain.

>> I don't even know what you mean by that.

my value --(flows at runtime through)--> [some framework, say a web framework code to a, say, a Label that has no idea about my value's type domain] --(flows through pixels to)--> user's eyes
Upbeat Launches Taste-in-Music App on iOS
Vulkan is definitely not “everyone else”.

On Windows it is only supported on classical Win32, on Win32 and UWP sandboxes only DirectX is supported.

XBox naturally is DirectX only.

On Sony PS4 there is LibGNM and doesn't appear PS 5 team will care about Vulkan.

Nintendo Switch does support Vulkan, as secondary 3D API, if you want to go full speed, there is NVN for that.

On Android, Google was forced to make Vulkan a required API on Android 10, because since its introduction as optional 3D API, outside Samsung and Google very few OEMs cared to ship good working Vulkan drivers, if at all.

It is so significant that Google is yet to add Vulkan market share information to the Android dashboard.
There's a nice phrase in Chinese: 过日子, literally "passing the days". It also has that connotation of being content with a regular life, wanting nothing special. The phrase is also extended into several other usages (thriftiness, etc), but that's the heart of it.
Formatted for my fellow HN-disenfranchised mobile sufferers:

Add = Create a capability e.g. feature, test, dependency.

Cut = Remove a capability e.g. feature, test, dependency.

Fix = Fix an issue e.g. bug, typo, accident, misstatement.

Bump = Increase the version of something e.g. dependency.

Make = Change the build process, or tooling, or infra.

Start = Begin doing something; e.g. create a feature flag.

Stop = End doing something; e.g. remove a feature flag.

Refactor = A code change that MUST be just a refactoring.

Reformat = Refactor of formatting, e.g. omit whitespace.

Optimize = Refactor of performance, e.g. speed up code.

Document = Refactor of documentation, e.g. help files.
Augmented reality for scientific posters and papers
Switch also has their own proprietary API, NVN.

Vulkan is a kind of addendum.
Memories! I actually scanned the video several times to see if I was in the background on the stairs. I remember seeing this being put though the paces in this space (those were CS offices in the background, I don't think this drive-through exists anymore.) Not sure that I saw Ivan driving the hexapod though.

There should be a Robotics Institute technical report about it, I recall Claude Shannon wrote a whimsical poem about the the hexapod.

[edit] some context: Ivan was a founder of Evans & Sutherland, a groundbreaking developer of computer graphics systems. From the wikipedia page: "Most of the employees were active or former students, and included Jim Clark, who started Silicon Graphics, Ed Catmull, co-founder of Pixar, John Warnock of Adobe, and Scott P. Hunter of Oracle."

https://en.wikipedia.org/wiki/Evans_%26_Sutherland

He is also known for Sketchpad, perhaps the first graphical user interface:

https://en.wikipedia.org/wiki/Sketchpad
Having just read the other thread, this gave me a great moment of confusion and deja vu as the two trains of thought entangled in my mind. Kudos. :)
Show HN: A free and open-source budgeting app you can self-host
If anyone's interested in attending our party next Wednesday but the cost is presenting a difficulty, shoot me an email (in my profile) and I'll send you a ticket at no cost.
I've always loved the Factorio devs for seeming to make their game not only fun but also a well-designed piece of software. The gamedev industry, particularly by indie devs, is notorious for doing whatever it takes to make it work, code health be damned.
This is the only correct answer.
It was a good story until he got to the point where he assumed that the only reason a step needed approval from another office was "racism."

Seriously? Is he so inexperienced in a corporate setting, or so unimaginative that this is the only thing he can come up with?
Biometrics are not an extension of #2.

You really are categorizing authentication factors by their weaknesses:

- Knowledge factors can be discovered/guessed and duplicated

- Possession factors should protect against guessing and duplication, but can be physically stolen

- Inherence factors should protect against guessing, duplication and physical theft, but cannot be replaced

Writing down a password doesn't make it an effective physical factor, just like embedding an NFC chip in your arm doesn't make it an effective biometric.
Physicists already acknowledge that the quantum vacuum is not just geometrical space. They'll even write it about it roiling and bubbling. My guess is that it won't be too many years before they realize that there is a spacetime superfluid that is very lightly interacting. Then it is just a logical step to determine what kind of particles are in that superfluid. Maybe tired photons and tired neutrinos eventually lose enough energy that they begin a phase change into another state that doesn't zip around at high speeds. Maybe those low energy particles combine into some other low energy particle (a graviton?). Perhaps the spacetime superfluid temperature is 2.7K black body and is what we erroneously detect as the CMB from a big bang that didn't happen. If you follow this thought process, the idea that photons could very occasionally lose some energy harmonics to particles in the superfluid is entirely sensible. This would cause a very slow redshift. The observable universe would be limited by the distance a high energy photon could travel before losing so much energy it joined the superfluid. The fields of physics and cosmology need creativity and to start thinking on new ideas, like this or others, because it is very clear that they are on the incorrect track at the moment.
Very much agreed. Things get weirder and weirder as you get towards the poles. At the poles themselves the sun spends half the year hidden, and the other half spiraling up and then down! But never gets very high above the horizon.

I've been thinking a lot about this lately and was thinking of making some educational YouTube videos about it!
Unless I am missing something, 97ms looks pretty much sub-second to me.
So no new windows manager after 2013?
Finding the Shortest Path in a Board Game
Clickbait title aside. I find that ethical issues around AI raised by Musk etc. shouldn't be around AI taking over the planet, but rather have ethics around overfitted models or otherwise unrealistic models being pushed for PR or whatever and responsibly playing with people's health and hopes.
HTML Frameset/Frames used to do that quite nicely. I'm not sure why they were removed in newer HTML standards, with no good replacement.
Sure: it’s clear Vulkan is made to attract developers. I don’t think there’s any delusion that a unified API would really mean you didn’t have to port to each console individually; you need more fine grained optimization for most games still, especially in Switch’s case. Eventually this may stop being true, but as long as a $300 laptop has trouble gaming, it would be unfair to expect a $300 portable game console to run unmodified games significantly better. In this case, the API only matters to a smaller degree.
I'm curious, how do you get the descriptions from the blog posts??
I mean, where it's applicable doctest is amazing. But that's not everywhere.

I've been wanting some kind of system to add references to tests to documentation, in the spirit of citation. Maybe I will build it at some point.
Very neat. The spectrum of the sun was recorded in much the same way long ago, the film ran for 100's of feet to get very high resolution spectra. These were then used to determine the composition of the Sun.
The issue with Biometrics, atleast for those in the US, is that they are not protected by the 5th amendment. Court cases have reaffirmed this, meaning you can be forced to provide your Biometrics for law enforcement to gain access to your devices.

Some may feel this is acceptable with the thought if your not guilty then you should have nothing to hide, but this is a fallacy as it tramples over our 4th amendment rights. With passwords locked in your head, you cannot be forced to give that information as that is protected by the 5th amendment. Accessing the device or any information protected by a password must then be done with other means or not admissible as longer delays violates due process.
> I claim it's largely because they find working with people more interesting than working with machines.

Well two in particular went into pathology and radiology, so its definitely not the social aspect (they don't regularly deal with patients). Also, what do you claim of the equal number of men who go into law and medicine?

> Your daughters being interested in "traditionally female" things might just be because they're female,

They aren't interested in much of anything yet -- they are 6 months and 2 years old.
Everyday astronaut has some of the best space content on YouTube, which is even more impressive given that he has doesn't have any kind of formal training in it. If you are into space and especially spacex I would highly recommend his channel.

This video has been in the works for many months and knowing his work it is probably one of the most comprehensive works on aerospike engines outside of academia.
I know this issue is going to be 'solved' with the next software update...
..but can't help but feel if you're trying to hide access to your phone from somebody who:

1) Can pick up your phone
2) Wants to access your phone
3) Has access to you and your phone as you sleep
4) You don't want to have access to your phone

Bluntly - awaiting an Android update is the least of your problems if you hit the criteria above.
That's probably because float is almost always used for things which it's not designed for. For cases like what the parent described, which float is actually meant for, there is no alternative.

A good example is the floating picture boxes next to paragraphs on Wikipedia. How would you implement such a feature without floats?
> Something you are is the perfect form of authentication

Disagree. A bank manger with a gun held to their head is not a bank manager for the intended purposes.
I don't remember exactly but there may have been a small crab apple tree by the entrance. This was below and in front of Hamerschlag Hall that I believe is now filled in. The offices behind connected to the library floor of Wean Hall.
Would you rather train text-to-speech technology based on conversations your television eavesdropped on, or with a collaboratively-built open database of voluntarily submitted content?

This is the perfect exit for precisely the problem you're pointing at: if the data is open it doesn't need to be massively harvested to make this work, and you can run the text-to-speech engine entirely offline on the device.
SSTO would probably more relevant to return from Mars rather than to go there in the first place - building a solid booster or building a mars recoverable one might be crazy.

However, the atmospheric pressure in Mars is a lot lower than on earth, which means the same diameter scale issues don't apply.
What an extraordinarily comprehensive, comprehensible and informative article. I don't think I've read anything quite like it before.
I work at a place that used to prescribe this. I dislike it because it adds too much repetitive noise to the abridged git log. (It occurs to me that you may be making this point in a tongue-in-cheek way.)

Originally I suggested we put the JIRA number/link in the commit body, but then I learned about git-notes to add metadata to commits and now I kinda want to do this with the semantic labels suggested by the thread OP, too (I currently use the schema suggested at https://seesparkbox.com/foundry/semantic_commit_messages).
Being Yourself Takes Courage
Pwsh has just implemented bash-style || and && operators
>an IR photo

Is such a thing possible? My understanding is that IR emission from ordinary objects is primarily determined by their temperature. To imitate the IR signature of a human face, one would need a special-purpose, actively-powered device.
Here's an interesting interview the author did with Elon Musk: https://www.youtube.com/watch?v=cIQ36Kt7UVg

Fun to see how interested Elon is with the engineering of rockets, looks like he could talk for days if he had the time.
I think I've read several studies that indicate hunter gatherers worked less than agrarian societies. However, agrarian societies are better at producing predictable abundance of food, so they outpace hunters by far. I will admit that hunting is incredibly fun. I do think we lost something as a trade-off when we moved to agrarian/industrial societies.
Interesting, because when I switched to Java I absolutely hated (and still do!) the autogenerated documentation. Included was every variation of the constructor. Missing was HOW I would actually call it, and where I would get the params to it.

It's been the better part of a decade, so I can't actually quote correct APIs, but I recall trying to connect to an LDAP server - I just needed to call one of four constructor methods, which seemed to imply I needed an LDAPContext object. Looking at that object told me the 10 bajillion values it had, but no idea how to set them.

Once I saw an _Example_, which IIRC was basically calling a method to clone the default context object and setting the one or two params (such as server url), I could then pass that to one of the constructors I saw the docs for.

The generated documentation was 100% _correct_, but not _useful_.

Other languages I had been in had very example-focused documentation, and were far more accessible and usable as a result, even with occasional challenges where the docs might slip behind - that almost always tended to be corner cases, while the Java approach made the most common need into a corner case.
At the risk of sounding pretentious, I gameify all those chores and try to do them more perfectly each time I do them.

I find this especially effective filling up the dishwasher more perfectly optimizing the layout each time.

I guess I approach these chores like Zen gardens.

Anyway that’s how I tricked my brain into turning the chores into quality time. ;)
The solution here seems to be some credentialing solution that can neither be given away voluntarily nor taken by force. Is such a thing possible?
Id be useful to have a "math for programmers book" that uses pseudo code instead of math notation. I studied math notation in 8th grade and then forgot about it.
It's because in most cases investing in "code health" beyond what they already do is a mistake in the game industry. Games are mostly disposable products. Only when you're going to be maintaining it a long time does the investment pay off.
Try to convince them to use Zulip? zulipchat.com offers free hosting both at a level resembling Slack's free tier and at a higher tier that's free for open source projects, or you can host it yourself or have some else do that since the software itself is free and open source.
The most stressful thing about modern commutes is that you can easily die if you take your eyes off the road for one second. Romans on horseback certainly didn't have that problem.
I looks like only the two built-in variables "array1" and "array2" can be used like actual arrays.
someBot = someArray[0];
will not work but
array1 = someArray;
someBot = array1[0];
will.
Vulkan is “everyone else” if we’re only considering serious contenders for a next generation graphics and compute API. Machine-specific APIs don’t have a long shelf life, pretty much never have. DirectX does compete but it’s even further behind than Apple in terms of ecosystem coverage. Is anyone using DirectCompute?

And also, UWP is practically dead in the water, no need to beat that horse.

Game consoles are their own beast. It would be nice if they provided either Vulkan or GL, for porting lower tech software, but otherwise it’s unclear whether a generalized API would make sense in such a specialized device.
Face print and fingerprint are definitely #2, something you have. Both can be easily copied. #3 would be your DNA sequence perhaps.

Similarly, SMS authentication is not #2. The mapping of your phone number to your phone is not something you possess, it is sitting in some phone company system somewhere and it can be changed.
> watching them vacuum up the rugs and chase the cat with the broom

I find your definition of "tedious" to be at odds with your enjoyment of these experiences - maybe "tedious" is not the right word here?
Wanted to mention this.

I don't stick to it as a rule but if it's clearly grouped in some way it gives people in the wider org a high level fyi about the area of code you're messing with.

Makes it easy to jump over the commit when bisecting for regressions or hastily looking for the buggy commit to revert.
The planes or cars most people ride in don't ask those details to be fair.
That may be a side effect of German culture. In Boston, Massachusetts the bike lane in the sidewalk near North Station does not work fine at all, even though it's very clearly marked.
The Virtio RNG driver was merged into Linux 2.6.26, released a decade ago. AFAIU it should be built into most Linux kernels. I just confirmed on Alpine 3.10 and Ubuntu 18.10 (Cosmic).

The problem is that not all hypervisors provide the device by default. I use libvirt KVM/QEMU and the default template doesn't include it, but you can add it. AWS EC2 doesn't provide it, though it doesn't provide any virtio devices. Parallels Desktop 15 doesn't support virtio-rng, either

OTOH, OpenBSD's VMD not only supports it but I think it's enabled by default. (I see it in the source code. I can't find a way to enable/disable it, but the publicly posted dmesg dumps seem to always show it as found when an OpenBSD guest boots.)

Of course, most VMs are x86_64-based using hardware extensions and likely using CPUs providing rdrand. But hypervisors really should provide the virtio-rng device default, perhaps even unconditionally as OpenBSD apparently does.
I think that means one of two things, with two different outcomes:

A. Creating a super-simply image host that isn't full of crap and watermarks like Photobucket or Imgur will yield a profitable business.

B. A is in fact not profitable, and adding crap and watermarks is part of the normal evolution of an image hosting business once you gain moderate amounts of traction that starts to stress your finances.
Please include a function to print nice looking versions.
My not-for-profit is still quite paper based and when the checklist is online and the paper it relates to is offline the checklist doesn't get used.
Have you actually tried FaceID? It's much more convenient in practice.
This was fantastic! Thanks!
They should have done the second.
There was plenty of OpenCL shipping with AMD on other platforms. Apple is not interested in a market competitor to CUDA, only an alternative since they don't ship Nvidia GPUs across their lineup.
It's all pretty bad, Samsung and other manufacturers do the same thing. Copy Apple's marketing but not the security of their implementation.
Because the hardware for the fingerprint scanner was removed long before it was obvious that they weren't "done" with the face scanning software. Its likely that they decided to trim back the functionality of the face scan well after the drop dead date for getting the hardware on time.
Email spam has went down mostly from self regulation.

ISPs are vigilant about blocking IP addresses with bad spam reputation. They also block IPs that have a sudden surge in volume.

Email marketers have to manage their own IP address reputations to be effective. If too many people mark your email as spam, then the IP could be blacklisted.
https://www.cnbc.com/2019/10/18/boeing-shares-slide-on-repor...
Or stepping back a bit to all those phones with fingerprint-readers (i.e. previous pixels and most phones out there)

DID YOU KNOW YOUR FINGERPRINTS EXIST WHILST YOU SLEEP?!?!?!!

I'm now considering quitting my job to create lockable-kevlar-mittens the people can don, to ensure your biometrics are safe as you sleep.
Neat!

My StarCraft-playing bot uses a similar approach for fast pathfinding. The similarity is that we're both trying to use a better heuristic than straight-line distance. In the case of my bot, it's done by breaking the map into roughly-convex regions, then precalculating the distance from the center of those regions to every other tile by flood-filling. That lets units outside the region use (distance to boundary of goal region + straight-line distance from boundary to goal tile) as a pretty good heuristic.
For a building on the drawing board today, there's no difference. The loads are the loads. Bolted, welded or riveted,the joints are designed to resist the same forces. Moderately recent buildings are the same. When an engineered system is stronger, less is used.
Why would anybody use that if we can just apt install postgresql?