EN: Professor at UTFPR Curitiba. Podcaster on Fronteiras da Engenharia de Software, on Emílias Podcast (from Emílias Armação em Bits), and on Elixir in Focus.
PT: Professor da UTFPR Curitiba. Podcaster no Fronteiras da Engenharia de Software, no Emílias Podcast (do Emílias Armação em Bits) e no Elixir em Foco.
"ZK proofs are headed for real-world deployment — but writing correct ZK statements is tricky.
Our new post by James Parker introduces zkLean, a Lean library that defines a domain specific language for specifying and formally verifying ZK statements."
#LeanLang
https://www.galois.com/articles/zklean-a-dsl-for-zk-statement-verification
somehow they've made job hunting more dehumanising
this is based on two sets of 2.5 minute time-limited maths puzzles
thanks to this phrenology organisation https://neurolytics.ai/en/
Gerard points out that the coming IPOs of Spacex (which now has XAI grafted onto it like a malignant tumor), OpenAI, and Anthropic will impact VC.
This is going to be terrible. My prediction is that the Spacex IPO will be lackluster, and that the S1s from OpenAI/Anthropic may just doom the companies.
I feel like we're in that scene from Total Recall where Schwarzenegger is disguised as the old lady: "get ready for a surprise!" https://youtu.be/THMhJd3XMhQ?si=lXyRtY2l8EIOnf7i
Cal Newport is a computer science professor at Georgetown University and is also a New York Times bestselling author of seven books, including, A World Without Email, Digital Minimalism, and Deep Work, which have been published in over 35 languages. In addition to his books, Cal is a regular contributor to the New Yorker, the New York Times, and WIRED, a frequent guest on NPR, and the host of the popular Deep Questions podcast. He also publishes articles at calnewport.com and has an email newsletter.
"But the great thing is, you don’t have to go along with this, and I urge you not to. You can refuse to use the chatbot. You can tell your professors that you don’t want them to use it or to require you to use it.
[...]
I want to remind you that the future is yours, and it is not known — not by you, not by Georgetown, not by Sam Altman or Elon Musk, not by the chatbot, not by me. And that is a beautiful thing."
Nvidia’s $17 Billion U.S. Payment Tops New Global Tax Disclosures
https://www.wsj.com/business/nvidia-corporate-tax-disclosures-1621b927?mod=Flipboard&utm_source=flipboard&utm_medium=activitypub
Posted into Business @business-WSJ
Nick
Stephen Farrugia
Paul Rietschka
Olivia Guest · Ολίβια Γκεστ
The Wall Street Journal.