skysight-inc/HackerNews huggingface dataset:
Do you know how to find out what a given drug will cost with insurance, other than going to the pharmacy and ask them to ring it up (which takes several minutes at my local Walgreens)?

I've brought a GoodRX coupon to the pharmacy a couple of times, and every single time it's been cheaper with my insurance (which isn't anything special).

The last time I did this, I was also puzzled to hear the pharmacist say that they "already had my GoodRX coupon in the system". I thought the coupon would be unique for each medication.
The extraordinary and appalling true story of the rise of Uber
The Internet’s Influence on an Increasingly International World
After reading about him, I don’t have the impression that he’s particularly good at anything, rather just average.
And did the OP try using Postgres with enough RAM allocated to it so that it could keep the entire database in memory?

In one test I’ve done, I saw running a full report going from taking five hours to just fifteen minutes. Which, coincidentally, is a factor if 20x.

So, maybe he could see comparable speeds, if he gave Postgres the ability to do the read and store operations the same way that Redis does?
In a similar way for macOS enabling the offline root user has been under Network Account Server > Directory Utility forever.

Isn't that more for security reasons? Apple doesn't want users enabling the root account unless they know what they're doing, so they make it hard to find. (And, really—coming from someone who runs with SIP turned off—there's very little reason to enable that account.)
The Resource-Reality of 100% Renewable
Back when I was a CPU logic designer, I worked on two machines that used ECL logic, where the basic building-block gate was a 4-input OR/NOR (the gate produced both phases at output). I recall that on one of these machines, each logic card was supplied with well over 100A on the -4.5 supply, we had a space budget of 98 cards. But the tough limit to hit was cooling. For the entire CPU we had only a single 20 BTU-ton water chiller, and had to sneak everything in under the cooling limit.
My company is one of the only ones still pushing on symbolic AI:

https://www.cyc.com/
>so the key isn’t quite fool-proof

Yes, it's from another era, when the consumer was not expected to be a fool...
You’re right but bicycles + public transport could go a long way in most of the cases you mention. The other problem is also the city planning most of which were made assuming ownership of cars.

I don’t own a car all my commuting happens on a bike. I live in a city with not so good public transport so when needed I just rent a car for the weekend or so.
What is the name of the upcoming treaty or accord? Seems like if that is accurate then it should not be a mystery.
I don't use Sir, or Alexa, or Cortana. I think the always-on voice recordings are terrifyingly creepy. Hate that they've been invented at all.

A friend of mine came over, with his kid, and I offered to let him watch TV while we talked. 2 minutes later the kid is bawling is eyes out... He couldn't figure out how to make the TV work without talking at it. I handed him a remote, and it was like ancient Egyptian algebra.

Anyway, terrifying glimpse of what's to come. Consumers that don't know how to push any buttons. Who find even using a mouse to be too complicated. Scares me a bit because the tools to create content aren't in that space... by making usage so silly easy, we diminish opportunities to build skills that help turn users into creators.
Here's the HTML version of the same thing:

https://leanprover.github.io/theorem_proving_in_lean/
In Europe, after the collapse of the Roman empire and before the start of the Renaissance - in what popular culture refers to as “The Dark Ages”

(tbh: I’m not an expert in medieval europe. I’ll trust the GP comment that nothing happened during the medieval era)
Star *anything" is a path to millions. Star athletes and musicians are obvious examples, but even star jugglers or puppeteers probably make a killing.

Very misleading article
> Dependent types are totally academic/enthusiast concern at this point, Haskell is still very much niche, and only Rust might cut it as having a slightly more complex type system and being actually used...

They're also sneaking into the gradually typed languages. Typescript and python both support literal types, which are a (very) weak form of dependent types. C++ templates also support a different weak form of dependent types (ints), that is used to, among other things, support typechecked matrix operations in eigen.
How did AMD make Zen 2 faster?
> You can't leave through my (brand new, to-code) front door from inside without a key to unlock it first.

I'm sure I'm just ignorant, but it sounds like your lock is on backward. Every front door I've ever seen can be unlocked from the inside without a key.

Example: https://www.lowes.com/pd/Schlage-Deadbolt-Satin-Brass-Single...

Could you link to a lock that's similar to what you're talking about? I'd feel very uncomfortable entering a house where I couldn't leave without a key.
$200k in the bay area is like $90k where I'm from. It's a decent living, but if you've got a family it's not exactly upper class.
No we couldn't, because, despite its name, IPv6—just like it's predecessor—functions as a network protocol and can't support internetworking at all.

Consider RINA and/or GNUnet instead. IPv6 just represents a bandaid.
https://arxiv.org/abs/1905.12149
> General AI also ought to be able to work just as comfortably reasoning about politics as reasoning about medicine. It’s the analogue of what people have; any reasonably bright person can do many, many different things.

The average human has extreme difficulty reasoning about politics, while usually being reasonable on medicine (anti-vax being one of many exceptions). And it seems strange to expect a skilled pianist to also be a skilled neuroscientist or a skilled construction worker. On the other hand these people all use similar neural architectures (brains). So he seems pretty off-track when he criticizes "narrow AI" in favor of "general AI", as if there's some magic AI that will do everything perfectly, and even more off track when he criticizes researchers for using "one-size-fits-all" technologies, when indeed that is exactly what humans have been doing for millennia for their cognitive needs.

And sure, ML models in publications so far are typically one-off things that react poorly to modified inputs or unexpected situations. But it's not clear this has any relevance to commercial use. Tesla is still selling self-driving cars despite the accidents.
People will complain about that too. The introduction is "redundant" or "trivial". The book is a long, bloated slog. (Since what you're proposing will unavoidably increase the page count.) The author intentionally confuses students by alluding to some "main theorem" but waiting a hundred pages to say what it is, instead of putting it in front where it belongs.

For every complaint about a textbook, there is an equal and opposite complaint if it had done the opposite thing. At some point we have to accept that the underlying concepts inherently take time and effort to assimilate, that the easiest style to learn from is different for different people, and that the authors really did think about all these issues when they were writing. They clearly care about exposition, otherwise they would not have written a book in the first place, a thankless and financially useless task.
Ask HN: Rancher and Kubernetes, is a firewall required?
Hi, I haven't had much luck asking this around so let's try here....

I usually create the servers for my K8s clusters manually using the Hetzner Cloud console, then with Ansible I create users, disable password/root auth, install fail2ban and configure a firewall to allow all traffic between the nodes, open the K8s API port 6443 to my IP, open 22, 80 and 443 to the public; install Docker. Then I deploy Kubernetes with Rancher. This way I feel like the servers are OK from small/scripted attacks at least.

I am now trying to use a node driver that adds support for HC to Rancher, so that it can create the servers and deploy kubernetes automatically, which is convenient. Rancher doesn't install fail2ban or configure a firewall though... so I am worried that this way it could be easier for someone to compromise the cluster.

I have tried adding to the node driver some cloud-init configuration that does most of what Ansible does, but I can't get Rancher todeploy K8s likely because of firewall. After a few minutes Rancher deletes the servers from Hetzner Cloud and recreates them to try again, in a sort of loop. If I remove the firewalld configuration then Rancher can successfully deploy Kubernetes. So I don't know how to force Rancher to use the private network for the communication between the nodes, or otherwise how to configure the firewall to allow traffic between the nodes regardless of the interface/ip, because I cannot know in advance the ips of the servers created by Rancher.

Does anyone have any idea of how I could fix this kind of setup? I would like to let Rancher create and manage the servers as it's easier, but I would also like peace of mind that it's not easy to compromise my clusters. Also, do you use Rancher this way? Do you use a firewall with Kubernetes in general?

Thanks a lot in advance for your help!
CodeSpells combines magic and programming. It gathered quite a bit of hype early on, but I didn't really follow it's progress since.
Show HN: Easy Filters – Photo Editing with Cool Filters
Nothing to write home about. Most of the time I'm developing inside of LispWorks, but because I'm so used to Emacs and I'll be using org-mode and magit anyway, having a Slime session as well to try out stuff and run tests comes at no cost. Simply compiling something with SBCL catches some stuff, and it's always good to make sure your code works in different implementations during actual development and not as an afterthought. Besides, as clunky/spartan as they are, Slime and Sly are a lot of fun so why not? Even good old Hemlock gets some use.

When developing I always detach the UI code so it lives in its own package, where I don't hesitate to make use of implementation goodies such as CAPI (of course) and the mp package. The rest of the stuff aims to be portable CL and uses the de-facto compatibility libraries.
I’m a sensitive location.
I can see why you'd say that that way but the author probably feels that way because of the domain they work in. I've encountered research types who just use bigint everywhere because it's safer and they don't worry about the perf.

When I was coming up as a game programmer no one would use boost shared_ptr and weak_ptr because of perceived issues with it. Everyone rolled their own handle system.

In fact there were a lot of people that considered languages beside C/C++ untouchable due to perf. They couldn't fathom there were domains where that perf just wasn't that important.

I now work a lot with Unity and find people feel the same about C# foreach because it used to trigger an allocation.

You'll find people often make the mistake of thinking their domain specific problem is a problem for everyone.
Zantac: CVS latest to suspend heartburn drug over cancer fears
And this might be the moment where you discover who you really are. The first step to unleash your true potential.
This should work for all VC-funded companies and for the internet giants who can afford it. It's a form of wealth redistribution.
The Berlin key ("Berliner Schlüssel") was mostly used in tenements with multiple backyard houses with a common front gate that should be closed at certain times. These kind of arrangements were mostly used in Berlin, hence the name.

The other German names for the key describe different aspects of it: "Durchsteckschlüssel" translates to "push-through-key" and "Doppelschlüssel" translates to "double-key".

If you are more curious about the thing, there is a book by philosopher Bruno Latour on the Berlin Key where he describes the thing with the sociological situation that lead to it if I remember correctly (was a few years ago when I read it).

Edit: The basic idea is that in this kind of multi-party environment they wanted to make sure the door is always locked in the evening (when people return). To unlock the door you have to push the key through. Once you are inside you can get the key back, but only if you lock the door behind you. So once the door is locked, it stays locked, unless someone from the inside leaves it open on purpose. This way people cannot "forget" to leave it open.
Simply: Excel.

The sheer intertia in businesses of all sizes using Excel will probably never completely go away. It will fade out over decades.

And proper excel (excel 2007!!!) is not on Mac OS , Linux or in the cloud.
Whatever happened to those chips that were tweaked?
Indeed, that's just my current experience.

That said, they are highly paid, London financial world folks, so you'd hope they'd be good.

I also hear from a developer I work with who has recently defected back from devops style roles to devs that this is not atypical. He seems to place blame at least partially on "The Phoenix Project" for the attitude!
I’ve had flawless wireless printing on Mac OS with an HP printer for years. iOS too. Didn’t realize it was still flaky. Guess I got lucky with my combo.
> You can't leave through my (brand new, to-code) front door from inside without a key

Just to clarify, after you lock your front door with the key, it’s impossible to unlock the door from the inside without a physical key?

The vast majority of locks have a physical unlocking mechanism on one side (one side is unprotected, usually the inside)
I don't, I'm just saying that trying to make every paper accessible to undergrads (or high schoolers, or elementary schoolers, or whatever) is going to bloat their length by so much that errors become harder to check, not easier.
Raised walkways, you can see lots of little dots in the model which are supposed to be people. Here is the same design at larger scale:

https://en.m.wikipedia.org/wiki/Futurama_(New_York_World%27s...

Also my bad it was GM not Ford.
Many of these early cancers are asymptomatic and universal diagnostic imaging in the absence of symptoms is cost prohibitive. Better blood tests address that and other important gaps.
> I'm still a little surprised that none of the other IT giants appears to have identified the Windows 7 EoL next year as a rare opportunity to grab a significant chunk of the desktop market and been building a credible competitor.

Who, exactly, would be positioned to do that? Apple's not interested. RedHat/IBM I guess I could see, but their customer base is very different.
”A staggering 270 million bombs were dropped on Laos, during what became known as the secret war, because Americans were unaware of what was going on. The 80 million bombs that never went off remain live, buried all over the country.”

For reference (https://www.worldometers.info/world-population/laos-populati...), population of Laos at the time of bombing was about 2½ million; current population 7,2 million. So, a hundred bombs per capita were dropped, ‘only’ 10 per capita remain (with half the difference due to population growth)
Probably normal symmetrical key encryption with some kind of companion software.

I think the physical key has the same blade shape on either side.

The companion software would decrypt the ciphertext but prevent exporting the cleartext, forcing the user to first re-encrypt the text first.
The constitutionality of whether the US Government can force someone to update a warrant canary has never been tested. Until it is, it’s foolish to declare with certainty whether it is or is not legal. We can only speculate at best.

We know that the legal bar for forcing someone to speak or not speak is high (compelling state interest), but national security has usually been held to pass such a bar.
I know families with 3 kids who don’t own a car. But of course they live walking distance to supermarket, kids school and the parents commute by bike. In case Of emergencies they don’t hesitate to take a taxi. From their point of view yearly taxi costs are lower than car ownership costs. But of course the city you live in must support bike paths etc.
That sounds okay for a child though.
Iris Automation Is Hiring a C++ Engineer – AI for Drones
Welcome to the real world, kid. Population: all of us damned souls.
Depends on the field. Many CS papers can be understood by undergrads because CS is a very young and very broad field; the path to the frontier in any direction is short. Theoretical physics and math are not like that. They have been building cumulatively for centuries.
An Interplanetary Internet Using Planetary Atmospheres
I find that his mentioning of "monadic" and "dyadic" instead of "unary" and "binary" interesting, why did he mention those?
Even though your example with bisexuality is a little off, i think your distinction between showing a vulnerability versus expressing insecurity is good
The largest offshore wind farm is nearly complete
This is because: ...

Supply and demand. If you're going to compare salaries, look at the number/density of tech companies in the area and the value generation. SV corporations setup offices here in Toronto, but the pay doesn't match up because it doesn't have to. Competition for talent is not as fierce.

There are single buildings in SV that host more "elite" software engineers than other entire cities (how many thousand engineers at a single location like Google/Apple's HQ? What native equivalents does Canada have? It used to be RIM/Blackberry, but now its what, Shopify? The scale matters.)

You're misattributing quality of wages to people being ignorant of their own value, but what you should be attributing it to is plain labour economics.
Moving sidewalks.

That stands out as one of the things that did reach a limited amount of use:

https://en.wikipedia.org/wiki/Moving_walkway
Sent you a note.
Because of the field I work in I feel this much more keenly with floats. I have been bitten by their excentricities so many times I'd just much rather have a flexible fixed point type that let me choose how much precision I want on either side of the decimal for a given set of calculations.
Checking around, here in Germany averages for Enterprise LTSB vs standard Enterprise is €275 vs €70.

Standard Enterprise comes with forced updates and mandatory restarts, yes?
One warning about LMMS, the file format it outputs is not midi, you can import midi but you can't export. So if you spend a lot of time on some project you will find yourself somewhat locked in to LMMS if that's what you used to get started.

https://lmms.io/forum/viewtopic.php?t=25874
Why are you posting this? It doesn't appear related to the OP insofar as they are both encountered in Berlin.

Also this clock design seems unnecessarily inefficient. Why divide 24 hours in multiple of 5 hours instead of the much more natural 6? This way it would be a lot easier to decode AM/PM.

I realize that it's about art more than practicality but I don't really understand why that encoding was chosen.
Here's an example of my deadbolt that's keyed on both sides: https://i.imgur.com/xXzWS7j.png
This is a well written comment and should not be downvoted. The downvoting button is not for disagree (which I do). If you have a problem with what tomohawk wrote I’d suggest writing a comment so we can benefit from your analysis.
People struggle with monads because it's a two-step process to learn them: Learn their mathematical properties, then learn how to apply them as a pattern. That's not a quick process you can do in half an hour. It doesn't help that the concept is alien to everyday processes. So yeah, analogy doesn't get you far with monads.
Not trying to imply it's wrong -- if anything, research should be written to a professional level. I also don't think the background should take you from high school calc to topology or differential geometry in one fell sweep.
If I’m not mistaken The New Yorker magazine had published a “good-feel” story about Hunter Biden and the relationship with his father in August or so, definitely before all this scandal was made public. It looked like white-washing, and coupled with this present whistle-blower thing it certainly looks like a planted story. The powers that be should have tried something different in order to topple Trump, because, as you say, Hunter Biden is definitely a crook and all this will only make Trump come out stronger. If it matters I’m not a US citizen and I’ve never set foot in the States.
> Also expect learning new things and spending several evenings trying. Compared to hackintosh, installing Linux on random hardware is a walk in the park.

I've been a Hackintosh user for the past decade.

I've not done it yet, but the next time I need to do a brand new Hackintosh setup, I'm planning on using ESXI. It seems perfect—you're getting very little performance loss in exchange for a setup which is (kind of) officially supported by Apple.

Maybe when I actually do it, I'll discover some terrible downside, but it seems incredibly appealing.
Yeah, but everything is easier if it's native to your machine :)

We have used Docker images in past but it gets really annoying with large code trees and access permissions for programmers and debuggers...
Not really crypto but the only thing that comes to mind would be some RAII lock. You have to re-lock the resource as a side effect of leaving the function (dropping the lock). That's a bit far-fetched though.
I've been on them a few years ago, as a visitor, and I suspect that's referring to the security checkpoints that you have to pass through. It's not like taking a bus or other public transit; the experience is closer to taking a plane across an international border.
I don't think you've demonstrated the externality. You don't have to come to my house. Chances are I probably won't invite you.
I don’t know much about France, but China has all kinds of issues (egregious human rights, IP theft, dodgy business practices). Just the other day I read about how they’re persecuting a Muslim population of their own people and harvesting their organs.

To compare that country to America and say this is a non story because something also happened there doesn’t make sense.

America’s always been about opportunity. Regardless of how people perceive our government, folks from everywhere on the planet have wanted to come and live work here. If something is now changing that and taking away the opportunity, that’s a problem, and as an American, I absolutely care about it.
The UK. What stops someone breaking glass or a panel and reaching through and unlocking to get in quickly if you can open without a key?
I grew up in Austria and live in Germany (so two neighbouring countries to Switzerland) and here it is mandatory to have at least smoke alarms. Fire extinguishers are mostly only needed for public buildings and server rooms and such. Germans especially take their "Brandschutz" very seriously especially regarding emergency exits etc.

However in the end you are responsible for your own safety. If you are in a room with a lock, make sure you don't lock yourself in. Locking people in is a bad idea regardless of situation (and I am pretty sure it is illegal to do so against their will).
When was his last commit to any of those projects? He's certainly an accomplished programmer, but then again, so is Bill Gates.
So, shouldn't you be in favor of the investigation into Biden? Since that is exactly what he did.

"This plane's leaving in about 6 hours. If the prosecutor [investigating his son's firm] isn't fired, you're not getting the money. Well, son of a bitch, got fired!"

52 minutes in:

https://youtu.be/Q0_AqpdwqK4?t=3140
I think the problem people have is that below the second paragraph, it’s entirely whataboutism that distracts from the discussion rather than adds to it.
Most homes where I grew up in Europe had two locks, one which you could open without a key from inside and one which requires it from both sides. Not sure why it was like that, but it feels normal to me.