skysight-inc/HackerNews huggingface dataset:
> Type checking bugs are most definitely not the most common ones

This is not a facetious question, so bear with me: what is a "type checking bug"?

Do you mean "a bug in language L that would have been caught by the typechecker T, if only L had it"?

That's the only meaning I can think of that makes sense [1] (ok, thought of another one [2]). But what does it mean that "most bugs" aren't of that kind? Is it that "most bugs are of a kind that cannot be caught by any conceivable typechecker"?

--

[1] We can safely disregard the other possible interpretation of "a type checking bug is a bug in the typechecker itself" ;)

[2] Maybe "this expected a list but I passed it an integer instead"? I do occasionally trip over those with Python, but I think most typecheckers are more advanced than that, and can check for more interesting classes of bugs.
I think this is pretty much bang on.

Our team was going into the office once a week, some of us had even started going in twice a week because it just made meetings easier.

Then the RTO mandate happened and we suddenly have to be back in 50%. Three times a week is excessive (even if it is only every alternate week), and the entire team's enthusiasm to come in and work together has evaporated nearly completely.

We were never given a reason why, either, they gave us a completely contrived response about "company values" when pushed.
I hope I never have to fly Ural Airlines :)
One little known fact about REITs is that the capital gains are taxed as income not as capital gains. On the other hand, you can use depreciation and a 1031 exchange to avoid paying any taxes on real estate you own / sell.
Günter Schabowski
Yes, the particular font family was just a "label". We don't really interpret what that font style would look like.
ChartMogul | Remote (EU) | Full-time

At ChartMogul, we're building the leading Subscription Analytics Platform for growing SaaS businesses. We're a remote-first company with 72 team members across 23 different countries. Profitable and self-sustaining since our seed funding.

Our core product is a Ruby on Rails backend and Vue.js frontend, with services in Python and Go. Postgres serves most of our database needs, along with a Snowflake data warehouse.

- Senior Full Stack Engineer: https://jobs.chartmogul.com/o/senior-full-stack-engineer-del...
Game consoles don’t have all the peripherals including the screen soldered directly on.
Without consensus-building there is only madness. Either you accept that some authority (possibly you) is the ultimate arbitrer of truth. Anyone who disagrees with them is automatically wrong. Or everyone who believes that their opinions are scientifically justified is equally right, as long as they stick to their beliefs. Or you choose to believe that you can always trust your own judgment, ignoring the evidence that often points to the contrary.

Consensus-building is about crowdsourcing the truth. You reject both authorities and relativism. You believe that, in many cases, the objective truth exists, even if it can be difficult to reach by fallible humans. You are also optimistic enough to believe that experts who share your worldview will accept true arguments and reject false arguments. Eventually, on the average, and with a high probability.
It's kind of ironic how quantum physics discoveries have given these proponents new language to cloak their claims in. When you have quantum effects that depend on observation, it can be quite convincing to a lay person that an ESP ability could just as easily do the same.

I have given up on the idea that science or scientific discoveries will ever soundly banish the ideas of non-materialist claims.
Yes, but those plans cost extra compared to one that doesn't have this feature.

(And don't many plans come with some sort of discount, if you don't upgrade your phone?)
One accident comes to mind where a plane that was improperly repaired after a tailstrike crashed seven years later: https://en.wikipedia.org/wiki/Japan_Air_Lines_Flight_123. However, if the repair would have been done according to spec, that probably wouldn't have happened. Of course, they shouldn't just "clear out all the mud and straw", after they can hopefully fly it to a maintenance facility it has to be thoroughly inspected and any damaged parts replaced, but it is definitely possible (if the takeoff goes reasonably well) to get it into a condition where it can fly without problems for the rest of its expected service life. Two more examples of accident aircraft that were subsequently repaired and flew for many more years: https://en.wikipedia.org/wiki/Gimli_Glider#Retirement, https://en.wikipedia.org/wiki/China_Airlines_Flight_006#Afte....
> is otherwise from a legitimate sender that complies with your local laws and will honor the unsubscription.

those are the worst.. If I don't remember subscribing I always mark them as spam, even if there is a big prominent "unsubscribe" button. I'd still be doing that if the unsubsrube was built into UI.

Why? My email got on some list somewhere and now I am getting an emails from various "trusted partners". Sure, there is an unsubscribe button and I would not be surprised if it works _for that sender_ but it has no point as there will be a new sender next week.

Marking everything like this as spam is the only reasonble resort. Yes, this will not save my inbox, but at least it might help the next person.
> Then the insurance takes four fucking months to process your intake session only to come back and say “hey wait, this actually isn’t covered because it’s technically out of network so neither are the 15 sessions that happened afterward”. Now you suddenly owe me 2-3 grand out of pocket and I either have to collect that, probably worsening your mental health by adding a signicant sudden expense, or write it off and basically say goodbye to any renumeration for the 16 hours of work I did. I will ask you to appeal of course.

Not a clinician but did (previously) work in software developing claims benefit management software.

One of the parts of the recent Surprise Billing reforms was that if a patient "could reasonably believe" that they were in network (and in particular, the prominent example of note being the insurer's website or a provider they use lists the provider as being in-network, because they ostensibly have control or input thereinto), then the insurer was obligated to remunerate the claim as being in-network.

i.e. if insurance's directory says "sure, provider X is in-network", they don't get to turn around after you use their service and say "You know what, they're not, so this is uncovered/out-of-network".
> (1) can unsubscribe from using the standard one-click unsubscribe link at the bottom of the email, and (2) have either explicitly signed up for or that is otherwise from a legitimate sender that complies with your local laws and will honor the unsubscription.

That's not the bar of spam. Spam existed well before legislation to combat it. Spam is anything that you don't want to receive and weren't asked if you wanted to receive. That includes a wide variety of emails which are legal in most jurisdictions (like the ones GP mentioned).
The original Dremels had actual speed controls; if the spindle loaded down, the motor power would be increased to restore the speed. Modern ones (at least as of a few years ago) were just constant power, so they indeed slow down as a load is applied.

(Probably still a bad idea...)
UPX0842 Google Presentation: Marketing Mastery: Search Overview (August 2018) [pdf]
Who would set up ( or use) a dns that is better in 1 metro in the world? Do you?

The example given doesn't make any sense.

You're just giving an ideological example. Not one that occurs in the real world.

Here is one that actually happens: Using cloudflare DNS to protect privacy is one that occurs in the real world and eg. Apple is using them for exactly that.

But let's repeat:

> We are working with the small number of networks with a higher network/ISP density than Cloudflare (e.g., Netflix, Facebook, Google/YouTube) to come up with an EDNS IP Subnet alternative that gets them the information they need for geolocation targeting without risking user privacy and security.
You got the spelling of the url incorrect.
MacOS.

My anecdote was on GrapheneOS, though.
any ideas what do cloud providers like pinecone user underneath ?
Oh yes. Physical therapy after a car accident. "Start immediately" say ER and PCP.

Only PT available to me? "Sure, I can see you in 10-12 weeks from now..."
Page 5

"What is "Search" anyway?"

Page 19

"What bakers actually have time to learn all of this BS?"

Page 30

"Leveling the playing field"

"Earmuffs if you dont give a shit."
If you look at statistics of many countries that are heavily vaccinated, you will see the excess deaths have risen a lot. While countries that were not heavily vaccinated, don't seem to have risen (greatly) in excess deaths.

Here's a list of countries that had low COVID vaccination rates: https://www.cnbc.com/2022/02/02/these-countries-have-the-low...

And while correlation doesn't mean causation, I think it's too early to tell if the benefits of the vaccines outweigh the cost. Especially because looking into the cause of excess deaths is in many countries a political sensitive topic (meaning politicians are often not interested in funding such research). Politicians might say due to privacy legislation research is not possible [0].

As an example, compare some countries from the previous article in Our World In Data:

https://ourworldindata.org/grapher/excess-mortality-p-scores...

South Africa & Kyrgyzistan are low vaccinated countries for COVID, while the other countries have high vaccination rates. You will see the percantage in excess deaths have greatly increased in the highly vaccinated countries.

And another thing: excess menstrual bleeding could indicate some problem which might affect childbirth. It could mean in the long run more women could get issues with childbirth. Perhaps more premature deaths. But we can only know this in the long run. We do know the vaccines had not been tested on pregnant women, or in an extremely limited way. Right now (at least on Our World in Data) it seems hard to find data on fertility rate 2021, so I think it's still too early to tell if vaccines could negatively affect birth rates, but in a couple of years we should know.

Personally, if I'd wanted children (as a man who's not vaccinated against COVID) I'd look for an unvaccinated woman. This way I feel the odds are in my favour in getting a healthy baby.

Actually, my girlfriend got 2 vaccinations against COVID (we've got a 6-year-old daughter) and she told me last weekend she feels she the COVID vaccines made her unhealthy. She says she feels tired more quickly and she feels she gets sick more quickly as well.

At the time I told my girlfriend that I preferred her not getting the COVID vaccinations and she didn't really want to get them either, but she felt it would be harder to travel, so she decided to get them anyways.

She also knows of several people in the village who've had negative experiences after vaccination. One lady in our village got the Guillain-Barré syndrome and a close friend got several health issues (problem with his blood, minor stroke recently). There's more people with issues ...

Of course, this is all anecdotal evidence, but time will tell.

---

[0]: https://www.eur.nl/en/esl/news/searching-causes-excess-morta...
>There are a lot of scenarios where having cash as a fallback is great.

Experience has shown an even more prosperous outlook from having cash as the mainstay and credit as a fallback.
This is a good point and something else I have noticed. Juniors are the ones suffering without oversight from those of us that have made all their mistakes before.

There's been more than a few times where I've thought "if I could just sit next to this person for half an hour, I could save myself a frustrating 3 hour teams meeting".
When I saw it on return, it was explained the pods overwhelm the engine heat signature and are pulsed in a sequence left or right to throw off the gimballed IR seeker.
> how long it took PCs to reach the same stage

I think PCs still have revolutionary improvements, not only tiny incremental changes: huge core counts, tensor cores, ray tracing, SSDs, etc.
The paper it originates from predates ChatGPT (let alone GPT-4). So I think a charitable interpretation is that it was partly wrong (and definitely unimaginative) at the time, and partly it's the case that very few people were expecting "let's just throw more parameters at it" to work and result in emergent general capabilities, which it appears to.
We need image sensors that cryptographically sign their output so that images can be attested for authenticity.
Author here! I think if you're just concerned with efficiency (speed/low overhead/etc) centralized solutions will always beat decentralized ones. The key advantage you can get with CRDTs — and, more generally, decentralized applications — is stability. By which I mean: Figma and Google Docs are great, but they can go out of business or delete your account or up their prices, and everything you've poured your time and energy into making just vanishes.

It's not just this way for collaboration software. Servers make everything more brittle. A few years ago, I tried to restore every website I've ever made. Static files were easy, things that relied on old versions of server-side languages were harder and anything stored on a server or in a database was just gone. That sucks. I want us to be able to keep our memories forever, not lose them because we stopped paying a hosting bill.
I'm on fosstodon. floss.social is also big.
I have a Pixel 7 Pro that I was pretty excited to get, mainly for the 5X optical zoom lens. First time I've had anything like that on a phone. Super nice!
Hello fellow Pixel 6a'er.

If you go to Settings > Display > Lock Screen > "Always show time and info" and turn it on, it'll always show the time, notification icons and the fingerprint icon to show you where to position your finger. It does say that this reduces battery life.

I keep "Lift to check phone" on as if I need to unlock my phone, I'm usually going to lift it up into my hands. Unfortunately it and "Tap to check phone" are a bit buggy and don't always work correctly.
Researchers create a lightweight, high-strength material with DNA and glass
My dad worked at Galena AFB in Alaska during the Cold War. They had big problems with the runway icing up, and it was pretty much a 24 hour operation keeping the runway free of ice.

One person proposed coating the runway with linseed oil to keep the ice from forming. Desperate, the AF tried it.

It did keep the ice off. However, the first jet that rolled onto the runway and came to a stop, slowly but surely slid off the runway. Then they had an even more expensive operation to remove the oil.

Some traction is needed until the airplane is moving fast enough so the control surfaces work. Otherwise, off the side of the runway you go.
We compared with three other prompt term weighting (aka font size) methods:
- Prompt-to-Prompt
- Parenthesis
- Repeating

Our results show that Prompt-to-Prompt would generate artifacts and other heuristic methods are not very effective.

You can see some examples in Figure 21, 22, 23. https://arxiv.org/pdf/2304.06720.pdf
Look at the total compensation numbers for everyone involved. They did Caroline dirty.

Link: https://www.businessinsider.com/caroline-ellison-paid-6-mill...
The kinds of studies this article is based on are less useful until their findings are disaggregated by both degree and attainment/performance within the degree.

How do extremely highly graded english majors stack up (ideologically and monetarily) against middle-of-the-pack business majors?

How do accelerated program grads fare compared to lowest quintile medical school post-grads? Etc.

How does course choice WITHIN degrees correlate with outcomes?

How does performance between professors and departments correlate?

Not all degrees are equal, not all courses are equal, not all professors are equal, and not all students are equal.

Lumping it all together as a single marker is borderline useless.
>But are you more likely to collude or perpetuate a fraud with someone you are dating or close with?

Of course!
I find that I don’t mind _bulk emails_ I mind having a high volume of emails in my inbox.

I’ve gotten a lot of value over the years by having marketing emails in my archive (price history, etc). What I wish gmail did was come up with a really easy system for automatically setting up a “tag and skip inbox” filter for emails.
The theory is that they might have already generated the list of subscribers when they wrote up the email days earlier, or be working off some mirror of the data, etc.

It's a really dumb theory and the real reason is "because we can and it's very slightly easier".
These guys always have the best write-ups. I aspire to write postmortems like they do. In fact, maybe my next context for a ChatGPT query will be “you are a member of of CloudFlare’s public relations team…”

All joking aside, it occurred to me that the vast majority of internet and even tech users know very little about DNS. For the longest time, I was in the same boat. After having been in a role where it was necessary to understand the record types and deploy DNS configs, I’m quite thankful I learned. Just remember…it’s always DNS.

edit: typo
That's completely missing the point of the GP, which is that they're not excited because they don't see the value, not that Infrastructure from Code is stable and simple.
I agree that malicious actors will always be able to exploit holes in existing tools, it's an endless arms race.

I worry as much about the use of these fears as a means to established centralised control of AI tools, rather than strengthening the institutions which are already supposed to deal with this kind of thing: Illegal things are already illegal, detect them and follow up. Consequences stop crime.

For example, fake news is/was nothing new when it became a weaponised buzzword in the Trump era - lying has always existed, and social networks of trust plus legal consequences for malicious/dangerously negligent mistruths are a proven solution. The fact that these institutions might not be functioning properly (i.e. allowing the mass uncritical publication of mistruths for profit) is more dangerous than the technology that exploits those gaps.
foreach email_address:
if email_address not in recent_unsubscribers:
send_email(email_address)
As someone who's mostly buying used tech, or newish at deep discounted price from classifieds or ebay, I appreciate not having to wait 5 years cycles for stuff. Yearly release cycles means people let go sooner of perfectly functioning high end tech very fast, selling for very cheap, and I'm very grateful for that.

Great many containers filled with stuff from rich countries find their way to poor countries, some include stolen goods (like cars), others include garbage, most include goods that still have some value for other people, including tech.

Maybe the problem should be looked at from that angle, and maybe there's no problem, really. One's garbage will always be another one's treasure.
Yes, and blocks radio transmissions very nicely. When making a model airplane with a carbon fibre hull, we have to add a plain fibreglass or plastic window for the antenna to receive through.
> Not all humans think like that, though.

Yes, not all people think like that. But that also means that there are people who do think like that, based on the application of the pigeonhole principle on your own statement.

All avenues for internal computation should be done to improve model accuracy & results, including this method.
That’s not how it works. Applying for CanCon status confers certain tax and subsidy incentives. You can forgo the onerous application process and operate as a normal business.
Yes, I think it's kind of odd to see people disregarding some of the pretty impressive efficiency, security, and reliability improvements the phone hardware has undergone. Smartphones are astoundingly good at their jobs.
My SO hasn't had a regular cycle after taking the first vaccine shot (Pfizer) way back when it became available.

It's slightly better now, but she used to have very regular cycles before.

She asked her GP and gynecologist about it and they both served some waffle about "we don't know why but nothing to worry about".

Like how can you say it's nothing if you don't know the cause...
Is the original author certain he has an authentic Apple charger? I’ve seen teardowns many times of bogus Apple chargers that use worse designs and components.

http://www.righto.com/2016/03/counterfeit-macbook-charger-te...
Sure give the AI barely constrained by alignment prompts that flip off when given the wrong prompt arcane rites to summon demons that will end well...
Aristotle outlined two kinds of friendships:

1. Accidental friendships

2. Friendships of the highest order

He separated Accidental friendships into two types:

* friendship of utility

* friendships of pleasure

So three kinds of friends, according to Aristotle.
Thanks! BTW, we recently implemented the Automatic1111 extension so you can install and use it directly with A1111.

https://github.com/songweige/sd-webui-rich-text
Yes, radiation from uranium is real even if you don't realize it, because it causes measurable impact on our world. The definition of real I'm working with is an attempt to synthesize the demands of empiricist and rationalist epistemologies. While an objective world exists, it only matters insofar as we have access to it. Radiation is real because even if you don't know about it, it will kill you. Its existence affects what happens to us, and therefore it is a thing we can conceive of verifying experimentally.

String theory on the other hand operates at energy levels so small that it's completely inaccessible to us. A collider would have to be the size of the galaxy to probe the energy levels we're discussing. At the energy levels that govern on our lives and environment, quantum field theory doesn't require string theory to explain what's going on, and we would require godlike powers to approach testing it. This makes it very unreal. Not entirely unreal, and still important for understanding the corner cases, but it is about as ephemeral as it can get.

Something must not just be in principle falsifiable, but the means of falsifying it must be something we could possibly carry out. The more readily available those means, the more real a thing becomes.
I think this demonstrates a hypothesis: The institution is failing, the technology which exploits the failure is close to irrelevant.
Basing truth on consensus is madness.

Science _is_ crowdsourcing the truth, by using ideas that other people generate and then testing them empirically to verify them.

This does not require consensus; rather consensus causes problems which make science worse, disagreements are always better for progress. We don’t have to accept current problems when there are better alternatives (see Lakatos for a good example).
Sorry, that's just surface-level tripe. You could make the same dismissive comment about any new technology. You're not saying anything interesting.
That kind of presupposes that anger is bad, no?

That seems like an assertion more than something that can be proven.

Surely it is right to be angry about threats as anger motivates action to eliminate the threat.
> True, it's a lot of work. But plenty of people (myself included) manage it.

Generally what the person recruiting ate for lunch and the state of their bowel has ten times the influence on the success of your application than any amount of time you spend writing a cover letter. It's all random, and you can't know beforehand if your application will arrive at a serious recruiter or not.