Japanese Scientists Develop Artificial Blood Compatible with All Blood Types
https://www.tokyoweekender.com/entertainment/tech-trends/japanese-scientists-develop-artificial-blood/
https://www.tokyoweekender.com/entertainment/tech-trends/japanese-scientists-develop-artificial-blood/
Tokyo Weekender
Japanese Scientists Develop Artificial Blood Compatible With All Blood Types
Japanese scientists have developed a new type of artificial blood that can be used in patients of any blood type.
Teaching Program Verification in Dafny at Amazon (2023)
https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/
https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/
Dafny Blog
Teaching Program Verification in Dafny at Amazon
Introduction We recently made available some teaching material that we have used to teach program verification to scientists and engineers at Amazon. It composed of lecture slides and exercises with solution. If you want to learn about Dafny and program verification…
Britain's biggest companies are preparing for a third world war
https://www.telegraph.co.uk/business/2025/06/02/how-britains-biggest-companies-are-preparing-for-war/
https://www.telegraph.co.uk/business/2025/06/02/how-britains-biggest-companies-are-preparing-for-war/
The Telegraph
Britain’s biggest companies are preparing for a third world war
As various conflicts threaten to erupt, bosses are taking steps to ensure their businesses survive
IT workers struggling in New Zealand's tight job market
https://www.rnz.co.nz/news/chinese/562914/it-workers-struggling-in-new-zealand-s-tight-job-market
https://www.rnz.co.nz/news/chinese/562914/it-workers-struggling-in-new-zealand-s-tight-job-market
RNZ
IT workers struggling in New Zealand’s tight job market
Job seekers say the tech job market is a "nightmare", citing fierce competition and a shortage of opportunities that have made finding employment increasingly difficult.
AI makes the humanities more important, but also a lot weirder
https://resobscura.substack.com/p/ai-makes-the-humanities-more-important
https://resobscura.substack.com/p/ai-makes-the-humanities-more-important
Substack
AI makes the humanities more important, but also a lot weirder
Historians are finally having their AI debate
The Creepy, Surprisingly Routine Business of Animal Cloning
https://www.theatlantic.com/magazine/archive/2025/07/animal-cloning-industry/682892/
https://www.theatlantic.com/magazine/archive/2025/07/animal-cloning-industry/682892/
The Atlantic
Inside the Creepy, Surprisingly Routine Business of Animal Cloning
“Really and truly, a horse can be alive forever. Forever and ever.”
Ask HN: Cloud vs. Edge Computing–Why Choose a Local NAS?
https://news.ycombinator.com/item?id=44167922
https://news.ycombinator.com/item?id=44167922
EU Commission refuses to disclose authors behind its mass surveillance proposal
https://old.reddit.com/r/europe/comments/1l2655n/the_eu_commission_refuses_to_disclose_the/
https://old.reddit.com/r/europe/comments/1l2655n/the_eu_commission_refuses_to_disclose_the/
Reddit
From the europe community on Reddit: The EU Commission refuses to disclose the orchestrators behind its mass surveillance proposal…
Explore this post and more from the europe community
Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco
https://www.ycombinator.com/companies/spark/jobs/kDeJlPK-software-engineer-full-stack
https://www.ycombinator.com/companies/spark/jobs/kDeJlPK-software-engineer-full-stack
Y Combinator
Software Engineer, Full Stack at Spark
### About Spark
[Spark](https://sparkhq.ai/) is building an advanced AI research tool that helps energy developers build solar farms and battery plants.
One of the biggest challenges in renewable energy is not construction — it’s navigating local **regulations**.…
[Spark](https://sparkhq.ai/) is building an advanced AI research tool that helps energy developers build solar farms and battery plants.
One of the biggest challenges in renewable energy is not construction — it’s navigating local **regulations**.…
Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable
https://www.theregister.com/2025/06/03/illicit_miners_hashicorp_tools/
https://www.theregister.com/2025/06/03/illicit_miners_hashicorp_tools/
The Register
Illicit crypto-miners pouncing on lazy DevOps configs that leave clouds vulnerable
: To stop the JINX-0132 gang behind these attacks, pay attention to HashiCorp, Docker, and Gitea security settings
Meta and Yandex are de-anonymizing Android users' web browsing identifiers
https://arstechnica.com/security/2025/06/headline-to-come/
https://arstechnica.com/security/2025/06/headline-to-come/
Ars Technica
Meta and Yandex are de-anonymizing Android users’ web browsing identifiers
Abuse allows Meta and Yandex to attach persistent identifiers to detailed browsing histories.