Skip to main content

Roznama

Search This Blog

New top story on Hacker News: The Hitchhiker's Guide to Logical Verification [pdf]

on July 30, 2024

Get link
Facebook
X
Pinterest
Email
Other Apps

The Hitchhiker's Guide to Logical Verification [pdf]
17 by nextos | 1 comments on Hacker News.

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

Post a Comment

Popular Posts

Lost your sense of smell? It may impact your sex life.

When I started losing my sense of smell about five years ago, I fixated on what that sensory shift meant for my relationship with food . Smell is a key component of our perception of flavor , so I had to figure out how to keep on enjoying eating, which has long been one of the key pleasures in my life, even as I lost my ability to appreciate complex notes and aromas. I had to cultivate my appreciation of things like heat and texture instead. I also had to learn how to cook without the guidance of scent — but with awareness of the fact that I can't reliably smell smoke, burning, or gas anymore. But after reckoning with my new culinary reality, as I learned more and more about the diverse and influential effects of smell on everyday life, my mind turned to sex. It is, after all, my job as a sometimes sex writer to think about life through an erotic lens. And I'd noticed that, around the same time my sense of smell started to fade, sex had begun to feel somehow flatter to me —...

Half-billion dollar DeFi hack goes unnoticed for almost a week

Hackers stole over a half-billion dollars' worth of cryptocurrency, and no one noticed. That's the wild takeaway Tuesday morning after the team behind Ronin, an Ethereum sidechain developed for the popular blockchain-integrated game Axie Infinity , said they discovered only today that 173,600 ether and 25.5 million of the USDC stablecoin were stolen from their network starting March 23 . Worth approximately $615 million, this theft represents one of the largest DeFi losses to date — even surpassing the August 2021 Poly Network hack of approximately $600 million in crypto. To make matters even worse, the official Ronin Network blog post says developers were only alerted to the missing funds by a user who was unable to withdraw their own ether. "ETH and USDC deposits on Ronin have been drained from the bridge contract," explains Tuesday's blog post . "As of right now users are unable to withdraw or deposit funds to Ronin Network." Axie Infinity is ...

Very annoyed FDA begs people to stop taking horse drugs to treat COVID

The FDA is fed up. The nation's pharmaceutical regulator is clearly irked by the dangerous promotion of the drug ivermectin — used to address parasitic worms in animals and sometimes humans — to treat or prevent the respiratory disease COVID. On Saturday, the agency tweeted : "You are not a horse. You are not a cow. Seriously, y'all. Stop it." Tweet may have been deleted In Mississippi, for example, some people are ingesting ivermectin, resulting in a worrying spike in poison control calls. "At least 70% of the recent calls have been related to ingestion of livestock or animal formulations of ivermectin purchased at livestock supply centers," the Mississippi State Department of Health said on Friday . Like every disease, real prevention is much better for all parties involved than someone falling ill and having to seek treatment. What's more, continued disease outbreaks result in floods of sickened people that overwork and exhaust doctors and nurs...

Powered by Blogger