skysight-inc/HackerNews huggingface dataset:
There are a lot of factors that determine how hard private insurers are to deal with—the kind of plan you have, the type and intensity of care you need, and the quality of the providers in your area/network—so experiences will vary significantly. I am genuinely glad it has not been so bad for you, and I’d love to say my experience with private insurers is the outlier, but unfortunately I suspect it is the other way around.

Every US-based friend or family member of mine has at least one horror story about a surprise bill, a Kafkaesque nightmare of denials and prior auths, being unable to afford their medications or doctor visits, unrealistically low annual visit limits (Depressed? No more than 12 visits per year to a therapist should cure that!), “copay accumulators”, and on and on. The podcast An Arm And A Leg[0] offers a disturbingly wide variety of stories of this bullshit and all the things you have to learn just to protect yourself from getting completely screwed in America’s privatised health care system.

It’s endless, and it’s exhausting, and it’s even more exhausting when folks like the OP show up to make baseless claims that government-run care is somehow going to be like going to the DMV because they’ve swallowed this “government is the problem” bullshit. I’m not going to sit here and say governments are infallible, or that Medicare is perfect, because they aren’t and it isn’t. But do you know which insurance plans in the US have the highest patient satisfaction ratings? The government-run ones[1]!

[0] https://armandalegshow.com/

[1] https://www.insure.com/health-insurance/health-insurance-sat...
> evinces a misunderstanding of what people who work on foundations actually want out of a foundation of mathematics

This is still gatekeeping who gets to use the word "foundations".

I will go read https://mathematicswithoutapologies.wordpress.com/2015/05/13 but my hopes are not high for a sudden breakthrough.
Let's give people a chance to update before spreading these please
I like how, last I checked anyway, there was no way to say "install this package" with Gradle; I had to go get the URL first. There might have been a way to do it after first manually adding a repository (maven central or whatever), but I couldn't figure it out quickly.

And then to upgrade to the latest I had to manually go figure out what the latest was, and manually change the line number to the latest version. I did see there's a separate plugin you can install to now add it though, built by a third party, but still.

Decades.
The jingle. LOL

Looks good. BTW, why <samp> for the icons?
Yes, in 64-bit HotSpot every object has a 16-byte header, and it applies to arrays if by that you mean that each object in an array still has a header. There's a good overview of what that space is used for here:

https://wiki.openjdk.java.net/display/lilliput/Main
I never had a problem either until you try to anything outside of the ordinary. My wife needed some special treatment it was a nightmare to get approved I wasted hours on the phone to be told that the procedure was through another insurance company my company hired for this special procedure. They made so many mistakes I had to call once a week. At one point I had a 4 way conference call between both companies and a special hr person from my company to get this shit sorted out.

That is what pushed me to socialized healthcare private insurers can get fucked.
Depending on your region, LTE could be using much higher frequencies. Microwave ovens use a fixed frequency and the cage is designed for that. Considering this I would say it's still an effective test.
This seems to firmly be in the realm of "eh, working as intended, who cares".

The charging port cover, as far as I know, isn't a security mechanism, and it opening is just a matter of user convenience. Having an easy protocol to open it means that a third-party charger can open it automatically to be inserted more easily, so that seems fine.

Even if they did require some sort of signed message from the charger, since anyone can buy a "wall connector" charger for home the private key would already be out there (unless a visitor had to pair their per-car key before they could use your charger? That sounds like bad ux)

There's already some people in the twitter comments talking about this as a security issue, so I'll respond do that too.

I guess you can sort of say this is a security issue (like I'm sure with enough work you could short the battery or such)... but jamming such a device into a car would be about as obvious as shoving a brick through the window, keying the paint, or any of a number of other physical attacks. This is the same sort of security issue as the security issue of "car's glass windows can be broken by a determined malicious individual". We don't run around with a fear of "cars aren't secure because a malicious person could put a brick through the glass", and a fear of "a malicious person could open the charge port and do something" is way further down the list of any reasonable person's concerns imo.
> and especially because NTSC had trouble with stable color

This is why we joked NTSC meant Never The Same Color.

The last thing you wanted to see in NTSC was bright red because you'd continue to see it smear for at least 1/4 of the screen to the right. NTSC "Safe" red wasn't really red. Run a broadcast safe filter on 255,0,0 and see how far off it goes. Should be somewhere around 180,0,0 IIRC. The days of looking at vectorscope to see the red point shoot off while everything else was much closer. When it became easier to get digital images to tape, we'd have to adjust the chroma down on the TBC to bring it back into legal limits which would mean the rest of the other colors would get squashed when the client didn't work in NTSC safe color palletes.
I was watching Euphoria these days, and reading your comment reminded me of a thought I had watching that. School is like prison. People are forced to spend most of their living hours with one another for long periods of time. So like in prison, weird social dynamic develops itself. Once you're out of prison, everything is much smoother. You can simply exit any toxic situations.
> Leibniz's rule

> x=y => f(x)=f(y)

Eh, it's useful in some cases, especially from a theoretical perspective, but...

x = 0.0
y = -0.0
f = \x(copysign(1,x))

x = "foo"
y = "f"+"o"+"o"
f = debug.dump-pointer

...pragmatically I'm not interested in a programming language where it does hold. It prohibits too many important utility functions.
Here's a shortcut-list page

https://docs.uidrafter.com/shortcuts
I still remember the amazement of watching a small video rendered into black and white pixels on an SE-30.

Later I used TotallyHip's LiveStage to create some all-in-a-QuickTime-movie interactive gizmos.

It's weird to see cutting-edge things fade into obscurity.
In your experience, is RSS reliable enough to replace Reddit and Facebook as a news feed?
Glad I am really old. Have zero desire to use tiktok.
Ask HN: Should social network algorithms be publicly available?
Regarding Elon Musk's latest twits on creating a new social media platform as he claims Twitter is “failing to adhere to free speech principle”, IMO, we may not to create a new social network, we need to force the existing social networks to make their algorithms publicly available. And we should have some way to influence how algorithms work. I don't know how but voting comes to my mind.
How to get de-addicted to this form of crack?
> HTTP 429 - "Request was throttled because of exceeding a request limit rate (2000/day)"

Looks like it has already blown the API limit for freesound.org.
You don't need anything to build a node.js app. If you use typescript then yes you'll want typescript, but honestly the experience out of the box in node is pretty fantastic that you don't need anything else, as far as build goes.

Granted if you are talking frontend browser code then sure webpack, but that tool has been around and stable for many years now.

Added bonus too is browser adoption is way better than ever so you don't really need a transpile either, typescript being the exception.
> But none of those drugs will result in the long-term change that you’re looking for.

Oh boy, I guess you have never taken drugs or drank alcohol?
That's the first time I see people mentioning meth and MDMA in the same convo. Also meth != methylene
That's was a very interesting hack that hadn't occurred to me.
It is pretty convenient as long as you aren't putting cell phones into it.
Lisp is clever and also a but inhumane. It only ever appeals to the small subset of the population that likes that. Lisp has some niceties that are fundamentally inherent to its design but it's just not enough to overcome how awful it is for people.

But this is not a technical deficiency of Lisp, it's more of a technical deficiency of humans.
Insights from the NeurIPS 2021 NetHack Challenge
> Then again, bullet 4 is "Self-host Friendly" (every git client is also a full git server -- after all it's fully distributed)

Sure, for code. But fossil distributes issues and wiki the same way, which makes comprehensive self hosting much easier.
Don't forget MESECAM and PAL-M and the other crazy things we had to deal with in the bad old days. There was one standard (PAL-M I think) that was not NTSC but the difference from NTSC was so slight that you could slap an PAL-M sticker* on an NTSC recording, and the PAL-M tape machine would play it back just fine.

* The power of that sticker was amazing! ;P
On the content side, they must have some kind of digital crack making young women want to post thirst traps and live feeds. I don't know what combination of attention and gifts makes a person do that, but Facebook sure doesn't have it.
I think Mike Shulman's side of the discussion in that thread is also very worth reading, and it's somewhat unfair to (perhaps unintentionally) characterize Lurie as the representative of mathematicians trying to talk sense into the homotopy type theorists. They have a very balanced discussion where each respectfully tries to understand where the other is coming from.

I'm desperately trying to find a lovely philosophical writeup on the different purposes to which a "foundation" is put, and why different foundationalists want those foundations for distinct purposes. I can't seem to hunt it down (Google has become steadily less helpful over time). But the thrust is, I don't think anybody is claiming that HoTT ought to replace ZFC for reverse mathematics in particular; it's "just" a capturing of some pervasive intuitions for concepts at the ground floor of the formalism itself. It takes a perspective that makes grappling with some concepts easier to approach. If you're already a deft hand with a different (very well-established) framework, as Lurie exhibits throughout, maybe it's worth it to keep using the entirely viable tools you have!
Instagram reels still exist. Which is also quite addictive.
You're not stupid, you probably understand that water is not oxygen, because you would die if you were drinking oxygen
I'm sorry, but this is not gatekeeping; that term has an established meaning and mathematical history, and corresponds to a productive vein of research going back to Gödel (at least). If you'd like to argue that the study of foundations should be expanded to include the things that HoTT people are interested in, that's one thing. But can we at least agree it does not have a ton of relevance to the questions people have traditionally considered in foundational work? (This is almost by definition if we set it up so that it is mutually interpretable with ZFC.)
One of the most interesting things about the Babylonians is that they had an incredibly sophisticated computational astronomy but essentially no physical theory to go along with it. For astrological reasons they had observed the sky and made detailed records of the locations of the Moon and planets. In fact, these records constitute the longest continuous scientific research program in history, being essentially unbroken for 6 or 7 centuries. Over this time they noticed patterns in planetary motions, some of which were many decades long, and from these patterns were able to make extremely accurate predictions for where the planets would be in the future. But as far as we know, they had no interest whatsoever in developing any physical theories to explain the motions they observed.

By contrast the ancient Greeks basically did nothing but come up with physical theories of the universe, but really couldn't be bothered to make regular observations of the heavens. By the time they started to really try to model the motions of the planets they had to rely on Babylonian observations for their data because no one in Greece had regularly kept records.

(As a shameless plug, if anyone is interested in learning more about Babylonian astronomy, I do a podcast on the history of astronomy and Episodes 2--6 cover the astronomy of the Babylonians: https://songofurania.com/)
I don't understand your first bit, "install this package" isn't a thing in the java world. There are just dependencies, you don't "install" them.

But this:

> And then to upgrade to the latest I had to manually go figure out what the latest was

Yeah, in the java world you write code against specific known dependency versions. That's why when you try to build it again in a couple months, it still works. I sure wish the JS community would learn this old trick.
Yes, to a certain extent--along with age comes wisdom and experience, which is likely what contributes to the lack of appeal tiktok has to older people.

My parents did not understand why I got a tattoo when I was in high school; lucky for me, all mine are easily hidden.
As I recall the voltage was similar to a AA battery (per module) with a 30+ degree difference on each side of the cell, so a lot of modules could be assembled in an array to generate useful power. A lot of small boat/RV refrigerators use these for their direct thermal effect (one side will get ice cold when powered). My experiment was a smaller scale parabolic solar trough design with a line of modules along the focus point since I needed to heat water anyway to regulate temperatures in an aquaponics system (fish farm). Side note, I've seen successful systems out there that use Stirling engines to power a generator from the concentrated solar heat.
If you are ready for some inception, go watch David Baezley use Python to implement a complete WASM interpreter in under 1h. https://www.youtube.com/watch?v=VUT386_GKI8 One of the best coding presentation i've seen.

This should make it possible to run python in wasm in python.
I wonder how long the sweet period will last. Any studies on that?
No need for any alternatives. Python as an API is good enough.
i want to get a ground heat pump, there is common to have a bore well in our area that we can get fresh water out of. i want to know if there is a calculator or something that would tell me if its possible and depths/temperature i can expect out of the system..

i already have 5 kw solar setup and expecting to install 200-300Litre solar water heater but a ground heat pump should be useful in winters when the sun is out and electricity gets out.

currently we have 0 house heating, we only use insulation and personal heaters to warm bodies so if i could have a ground heat pump get the house temperature up, that would be great
TL;DR - embrace it, unless it hinders your life - its a sign what you enjoy and don't enjoy.

Long story:

I used to be introverted and awkward, couldn't hold eyesight with strangers - was really afraid. It was so bad that I tend to get anxiety attacks whilst riding the underground train whilst being too close to people.

In university and thanks to European slacking on alcohol consumption laws, I got super confident by having 3 shots of absinth and getting to go to talk to that girl at the bar which turned out to be a pornstar and it made a good story.

It was kind of fake confidence, but really helped pushing through and I realised that it always resulted in new opportunities, conversations and serendipity.

Later down the road I started putting myself into uncomfortable situations "intentionally". I would ask strangers for cigarettes on the street being afraid to get rejected, I asked a discount at Starbucks where there was none (thanks Noah Kagan), I went so far as to go and lie down on the ground in the middle of the street for people to just stare at me at disbelief (thanks Tim Ferris).

Eventually once you push yourself out of the comfort zone, it becomes normal. When you train your brain muscle often enough knowing nothing bad happens you get used to the situations, conversations and even just being yourself.

You also realise 99.99% people on this planet are insecure monkeys and whoever is running around and flashing their golden watches is actually more awkward than you.

I later got a job in tech sales (WTF?!?). This pushed me even harder into conversations which were sort of forced. Its a script you learn and can apply later down unconsciously. I started even dividing people into various types based on behavior. Again, it becomes a muscle.

However as any muscle, if you stop training it - it will probably go back a little bit, not to the extreme level though.

In the end I realised I am still that weird nerd, that sometimes gets nervous around people and in many cases I prefer rather to stay home than go and socialise. But thats probably also part of adulting.

Essentially, I started embracing the lifestyle around awkwardness - learning to code, reading comics again at 34!, digging into the rabbit hole of sci-fi book plots and just enjoying the more introverted activities that don't push me to go out and talk to people because it still drains me.

I don't see anything wrong about that, I build the life around my personality - not the other way around.

The caveat is that it still good to push yourself to improve because human situations are the ones that will define your life (salary negos, sales, dating). So if you can't flick that switch you will be held back but in the end it should be on your terms.

EDIT: typos
The journal paper is linked in the article if you want to read it. For low-voltage devices it seems reasonable to me.

Fluctuation-induced current from freestanding graphene
https://journals.aps.org/pre/abstract/10.1103/PhysRevE.102.0...
I think this is probably correct. If you are giving someone vecuronium, you better hope they are already on a ventilator. It's like accidentally pulling out a firearm pistol instead of a taser and shooting someone.
Safer in terms of the risk of death, sure, but there seem to be other risks involved.[0] That paper doesn't necessarily disagree with anything in the page you linked, and it's pretty old now. I just want to emphasise that it's not a simple decision to make.

[0] https://sci-hub.mksa.top/10.1002/hup.2318
I wasn’t under the impression that Rust is all there for embedded micros? I know some people have proven it can be done, but when I go to work with the latest Atmel/MicroChip/Nordic/STM chips, the tools normalized are C tool chains. To use Rust, I’d have to blaze paths. Frankly I’m more intrigued by upython for some (but not all) of the embedded work I do.
> You have to give it routing information through an out of band mechanism “AllowedIPs.” One downside is that you can’t have two peers that act as general routers on the same wireguard network

This is a common misconception, due to that this is the way wg-quick works (unfortunately IMO; presumably to make it easier, and I guess wg-quick was never meant for people with advanced needs). On a lower level, AllowedIPs is really just "allowed IPs", and does no routing. You can have multiple active peers with overlapping AllowedIPs.

If you set up the tunnel through other means, you can make your own routes.

For example in systemd-networkd, see `RouteTable` under the `[WireguardPeer]` section of systemd.netdev(5).

(This was unfortunately broken for a brief while in systemd in Jan, but should now be fixed again: https://github.com/systemd/systemd/pull/22136. If it's not clear from the link, old and current behavior are that no routes are added unless RouteTable is explicitly set)

You should also be able to set it up manually and then add routes, policies and rules manually however you would otherwise.

(You're of course right on the protocol layer, but that is not the cause of the problem you want to solve)
Thanks - I added 'low-voltage' to the HN title even though it's not in the linked article because I agree with you, it's helpful.
> weird, unexplainable, vicious attitude that passes for cool

Or they just migrate to Wall Street?
BigBird: Big Data storage and analytics at scale in hybrid cloud
> with long press -> “not interested”, which is very accessible

First time I heard about it. If it's hidden behind an undiscoverable gesture/tap, it's not accessible.
It is the minority influencing the desire of the majority not coercing them. You can pass laws that will make them do business elsewhere and hurt jobs,economy,etc... if the popular sentiment for the law outweighs popular sentiment against rich people excercising their freedoms. In the end the majority are still free but that does not mean the rich are not allowed influence. Not just the rich, but the well connected and social groups or people in specific geographies like DC. Ultimately, the rich can do many things in retaliation but they cannot actually stop a person from running for office , restrict their speech or restrict others from voting for them.

The rich and corporations, as terrible as they are, are not the root cause. "We the people" are.
With the rise in gas prices this could be an issue on a traditional combustion vehicle. But outside of pranks and demos of potential issues for other products that use similar simple protocols I don’t really see how this can be useful on an EV.

But sometimes these sorts of things have a larger impact than it seems at first. Looking forward to future stories of how teen hacker activists use this security flaw to take down “the man”.
I don't see any disagreement. The Bible's theme throughout is that God's people should expect and ensure suffering. God "did not spare his own son, but gave him up for us all" (from Romans 8) -- and he doesn't spare us either from suffering. "It was the Will of the Lord to crush him [messiah]." (From Isaiah 53)

Christians "who suffer according to God's will should entrust themselves to their faithful creator while continuing to do good." (from 1 Peter 4)

"Be joyful in hope, patient in affliction, faithful in prayer." (from Romans 8)

"Let us fix our eyes on Jesus, who for the joy set before him endured the cross, scorning the shame, and sat down at the right hand of God" (from Hebrews 12)

So Job, like Jesus himself, serves as an example of a faithful son who endured suffering and after a short while was restored.