HN user

tyoma

1,541 karma
Posts31
Comments213
View on HN
devblogs.microsoft.com 1mo ago

In memory of the man who put red and green squiggles under words

tyoma
97pts1
blog.trailofbits.com 1y ago

Evaluating Solidity support in AI coding assistants

tyoma
1pts0
toxandhound.com 1y ago

Arsine (AsH3) – From Reconnaissance Balloons to Integrated Circuits

tyoma
2pts0
blog.trailofbits.com 2y ago

Understanding Apple's On-Device and Server Foundation Models Release

tyoma
1pts0
devblogs.microsoft.com 2y ago

An informal comparison of the three major implementations of std:string

tyoma
127pts29
lcamtuf.substack.com 2y ago

Technologist vs. spy: the xz backdoor debate

tyoma
16pts1
github.com 2y ago

Retro Computing via Cheap FPGAs

tyoma
2pts0
blog.trailofbits.com 2y ago

ETW internals for security research and forensics

tyoma
2pts0
docs.anthropic.com 2y ago

Claude for Google Sheets

tyoma
1pts0
allenpike.com 2y ago

The Curse of Dialup World

tyoma
185pts69
blog.trailofbits.com 3y ago

Codex (and GPT-4) can’t beat humans on smart contract audits

tyoma
2pts1
devblogs.microsoft.com 3y ago

Adventures in compatibility: The case of the display control panel crash on exit

tyoma
2pts0
old.reddit.com 4y ago

Voyager files for Chapter 11 Bankruptcy

tyoma
22pts1
www.bbc.com 4y ago

Video has been removed for rights reasons

tyoma
2pts0
devblogs.microsoft.com 5y ago

Why are device-independent bitmaps upside down?

tyoma
5pts0
blog.seattlepi.com 5y ago

Full text: An epic Bill Gates email rant (2003)

tyoma
2pts2
lists.llvm.org 5y ago

Presence of debug information affects LLVM code generation

tyoma
1pts0
lemire.me 5y ago

Benchmarking theorem provers for programming tasks: yices vs. z3

tyoma
8pts1
mobile.twitter.com 5y ago

California phasing out gasoline powered cars by 2035

tyoma
8pts6
blogs.sciencemag.org 6y ago

What Happens to University-Based Biotech Startups – and Why

tyoma
1pts0
blog.trailofbits.com 6y ago

TSC Frequency for All: Better Profiling and Benchmarking

tyoma
36pts9
blog.trailofbits.com 7y ago

Fuzzing in the Year 2000

tyoma
1pts0
immunant.com 7y ago

Optimizing for Security

tyoma
3pts0
www.quora.com 9y ago

Why are chip payments so slow in the US?

tyoma
3pts0
blog.trailofbits.com 11y ago

Close Encounters with Symbolic Execution, Part 2

tyoma
21pts0
www.mtu.edu 12y ago

What You Can Ask and What You Can’t – Legal/Illegal Interview Questions [pdf]

tyoma
2pts0
blog.dinaburg.org 12y ago

What Happens When Your Phone Falls into the Ocean

tyoma
1pts0
www.reddit.com 12y ago

The unsavory truth about Lyft: by a former Chicago driver.

tyoma
1pts0
www.verigames.com 12y ago

Verify Software by Playing Games

tyoma
2pts0
www.reddit.com 12y ago

Darpa Cyber Grand Challenge PM is doing an AMA on reddit

tyoma
2pts0

Agree this is largely the hidden issue much AI discussion misses.

AI industrialized a previously creative output. If you enjoyed the writing of code this is a nightmare. If writing code was a chore to solve a problem, this is a blessing.

Surprise ambulance bills are mostly (but not completely) illegal in California as of Jan 1 2024. Ask the LLM of your choice about AB 716 and whether it applies to your situation (it likely but not certainly does). Have the LLM draft a letter and send the physical letter to the ambulance company. If they are bothering you, request they only contact you by US mail.

Chronic absenteeism is a huge misnomer. The statistic covers both excused and unexcused absences.

The reason it’s since covid up is because (more) parents stopped sending their kids to school when they are sick.

Last year I got a semi-threatening letter from the district for “chronic absenteeism” because I didn’t want to send a sick child to school. To their defense, they did say that the state (California) requires them to send the letter.

Again, don't put private health information into ChatGPT. I get the temptation, but don't do it. I'm not trying to gatekeep healthcare, but we can't trust these models to count the number of b's in blueberry consistently. If we can't trust them to do something trivial like that, can we really trust them with life-critical conversations like what happens when you're in crisis or to accurately interpret a cancer screening?

I did just this during some medical emergencies recently and ChatGPT (o3 model) did a fantastic job.

It was accurately able to give differential diagnoses that the human doctors were thinking about, accurately able to predict the tests they’d run and gave me a useful questions to ask.

It was also always available, not judgmental and you could ask it to talk in depth about conditions and possibilities without it having to rush out of the room to see another patient.

I think its less amnesia and more that many commenters were too young to have experienced pre-Uber taxis: the call for a pickup thats routinely ignored, flailing arms in the cold hoping someone stops, the smelly car, refusal to pick you up because your ride is too short or too long, getting taken for an extended ride to your destination, the credit card machine thats always broken. Oh, and if you want to complain I hope you can make an 8am hearing at the taxi commission in 6 weeks.

From a quick spot check… yes?

Assume 120 homes in an area, evenly distributed per month on yearly leases. If all renters switch every month and it takes a month to re-rent the unit, there is a vacancy rate of 8.3%

Obviously not every renter moves every lease end, but also some units are in places no one wants to live, others are mispriced, some need renovation or extensive cleaning, etc.

But from a cursory sanity check the 6.9% number is likely reasonable for a fairly tight rental market.

I feel for the victim and Google’s continued inability to provide customer service. Maybe the media attention will escalate this to someone who can fix it.

As an aside, I am relieved to see this is from the UK. Whenever sim swap stories end up on HN there are always comments about how it’s due to some unique incompetence of US-based cell service providers.

According to the linked post there are PQ algorithms that will fit this niche:

This variety of different trade-offs gives developers a lot of flexibility. For an embedded device where speed and bandwidth are important but ROM space is cheap, McEliece might be a great option for key establishment. For server farms where processor time is cheap but saving a few bytes of network activity on each connection can add up to real savings, NTRUSign might be a good option for signatures. Some algorithms even provide multiple parameter sets to address different needs: SPHINCS+ includes parameter sets for “fast” signatures and “small” signatures at the same security level.

For a long time I wondered why there was such a big push for PQ even though there was no quantum computer and a reasonably working one was always 15 years in the future.

… or was there a quantum computer somewhere and it was just kept hush hush, hence the push for PQ?

The answer turns out to be: it doesn’t matter if there is a quantum computer! The set of PQ algorithms has many other beneficial properties besides quantum resistance.

It is bonafide 100% government paid coverage for anything pregnancy or pediatrics related.

From: https://www.medicaid.gov/medicaid/cost-sharing/cost-sharing-...

Out of pocket costs cannot be imposed for emergency services, family planning services, pregnancy-related services, or preventive services for children. Generally, out of pocket costs apply to all Medicaid enrollees except those specifically exempted by law and most are limited to nominal amounts. Exempted groups include children, terminally ill individuals, and individuals residing in an institution

It is very relevant. The US definition of maternal death is very expansive. The expanded definition counts any reason a woman who was recently pregnant and dies.

The prototypical example is murder by a spouse. While tragic and extremely important to collect for policy reasons, it is not what “maternal death rate” typically measures.

Kind of relevant: https://www.noahpinion.blog/p/how-many-of-our-facts-about-so...

In 2021, Joseph et al. published a paper in Obstetrics & Gynecology demonstrating that the entire recorded increase in maternal mortality since 2003 was due to a change in the way data was gathered. In 2003, U.S. states began to include pregnancy checkboxes on death certificates. This led to a whole lot more women who died while pregnant being identified as such. The apparent steady increase in maternal mortality was due to the fact that states adopted this new checkbox at different times:

In fact, when the authors looked at the common causes of death from pregnancy, they found that these had all declined since 2000, implying that U.S. maternal mortality has actually been falling. Meanwhile, a CDC report in 2020 had found the same thing as Joseph et al. (2021) — maternal mortality rose only in states that added the checkbox to death certificates.

The core problem is that Grant’s Pass is being asked to shoulder the homeless burden for the region. They are not being provided with any means of help, and their ability to remove those who cause an excessive burden is being taken away.

Look at Grant’s Pass on Google maps. It’s a small mountain town that looks like it has a low tax base in the best of times. If, at enormous cost to their tax base, adequate shelter is built, the only result will be more homeless who gravitate to their tiny town because its better than anywhere else in the region.

The problem and solutions are regional. Who should really be being sued is the state of Oregon or the federal government, but that is much more difficult to do.

If the ruling goes against Grant’s Pass, the result will be even more off-the-books policies to harass and intimidate the homeless until they move to the next town over, because every small town will see them not as human beings but as a potentially immense local tax liability that has to be moved before someone notices.

I wish the OP a speedy return of their money but this sounds spot on. This is an edge case the Marcus customer support state machine does not handle and it will need the assistance of someone empowered to make Serious Decisions to resolve.

Right now they are probably trying to figure out when exactly they banked someone who was no longer a US person and what the consequences are.

Solar 3 years ago

If Solar provides up to 90% of CA’s peak capacity, why is electricity here so monstrously expensive? Shouldn’t it be nearly the lowest cost because there is no need to pay for fuel?