-
Tweets3K
-
Followers13K
-
Following120
-
Likes86
IN CASE YOU MISSED IT: The EU — in private — amended draft digital identity regulation to create a legally-mandated surveillance backdoor in HTTPS. Over 300 academics & tech experts TODAY publish an open letter calling on the EU to fix this + follow web standards instead:
IN CASE YOU MISSED IT: The EU — in private — amended draft digital identity regulation to create a legally-mandated surveillance backdoor in HTTPS. Over 300 academics & tech experts TODAY publish an open letter calling on the EU to fix this + follow web standards instead:
We're pleased to announce the first official release of Lean 4! Release notes: github.com/leanprover/lea… Post on the community blog about future release cycles: leanprover-community.github.io
🔑🧵 iOS 17, macOS Sonoma, and passkeys (1/n) Password manager apps can now save and sign in with passkeys across the entire OS — all apps and websites — by integrating with the AuthenticationServices framework's updated Credential Provider Extensions! developer.apple.com/documentation/…
It's time for passwords to get an upgrade. We've rolled out support for passkeys to sign in to Tailscale, for an even more secure log in experience tailscale.com/blog/passkeys/
Functional Programming in Lean is now done! This is an online book on using Lean 4 as a programming language that doesn't assume you already know Haskell, Rust, Coq, Idris, or Agda. Thank you to everyone who provided feedback along the way! leanprover.github.io/functional_pro…
Android 14 supports 3rd-party passkey providers via its Credential Manager[1] and here's 1Password showing it working. [1] android-developers.googleblog.com/2023/03/androi…
Android 14 supports 3rd-party passkey providers via its Credential Manager[1] and here's 1Password showing it working. [1] android-developers.googleblog.com/2023/03/androi…
NEW: I’m not sure people fully appreciate how dire the US life expectancy / mortality situation has got. My column: enterprise-sharing.ft.com/redeem/75e5e3d… And some utterly damning charts. 1) at *every* point on the income distribution, Americans live shorter lives than the English.
This open letter — ironically but unsurprisingly — further fuels AI hype and makes it harder to tackle real, already occurring AI harms. I suspect that it will benefit the companies that it is supposed to regulate, and not society. Let’s break it down. 🧵futureoflife.org/open-letter/pa…
China officially bans ChatGPT, and private VPNs connected to that and similar products from overseas providers.
Hyrum’s Law applies, even when you take into account Hyrum’s Law. Go's map iteration order is random to prevent dependence on its order. Then someone made a load balancer depend on its randomness. But it wasn't random enough. news.ycombinator.com/item?id=346365…
First release of libjade, a library for (post-quantum) crypto written in the jasmin programming language and aiming at high-assurance PQC: github.com/formosa-crypto… Joint work of many people as part of formosa-crypto.org.
someone on the Haskell subreddit asked for a review of Lean 4, so I wrote out some stuff based on my initial impressions early last year, with some basic examples. you might enjoy it if you're a functional programmer: old.reddit.com/r/haskell/comm…
I fully support Justin for Twitter CISO because it would be funny.
Libraries might be the best answer for many, but passkeys on the web are simple enough that you could build support yourself: imperialviolet.org/2022/09/22/pas…
Matthew Green @matthew_d_green
143K Followers 1K Following I teach cryptography at Johns Hopkins. Mastodon at [email protected] and BlueSky at https://t.co/GI4QlxYTdk.Adriana Porter Felt @__apf__
65K Followers 946 Following I like writing silly Tweets, but that doesn't pay so I also make @googlechrome. mamá, eng director. volunteer @2ndharvest. 🇺🇸🇨🇷 she/herFilippo Valsorda @fil.. @FiloSottile
49K Followers 508 Following Cryptogopher / Go crypto maintainer / @kateconger-knower / RC F'13, F2'17 / #BlackLivesMatter / he+him https://t.co/ZE4RtJ1xqD / https://t.co/qfth7zr00W / https://t.co/j1grpEm8uRlcamtuf (@lcamtuf@inf.. @lcamtuf
35K Followers 494 Following Homepage: https://t.co/iFAXZxCO5H Substack: https://t.co/yFvmNisGW3April King 🌀 @CubicleApril
20K Followers 363 Following Staff Security Engineer @ Dropbox, previously Mozilla, Twitter. mastodon @ [email protected]. Union Park District Council board member.Halvar Flake @halvarflake
44K Followers 3K Following I do math. And was once asked by R. Morris Sr. : "For whom?" @[email protected] At the moment, for noone.apenwarr @apenwarr
14K Followers 2K Following wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now @Tailscale doing WireGuard mesh. Top search result for "epic treatise."Alex Stamos @alexstamos
98K Followers 2K Following You can find me at: https://t.co/Enct5hx8bS https://t.co/CuE5u72rhWisis osiris agora lov.. @isislovecruft
26K Followers 1K Following “the bay area’s only hacker”; “peter pan coded”; former quantum cosmologist. i might be a cryptographer but i'm not your cryptographer 🏳️⚧️🏴 forest dwellerDeirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.bsky.socialRobert Graham 𝕏 @ErrataRob
66K Followers 2K Following Created (BlackICE,IPS,sidejacking,masscan). Doing (blog,code,cyber-rights,Internet-scanning). @[email protected]Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPthaddeus e. grugq the.. @thegrugq
129K Followers 423 Following Hacker :: https://t.co/km8BR8E1Ga :: [email protected] :: PGP https://t.co/dYipV8y3bo :: @warstudies :: https://t.co/H3dWknFCfk :: https://t.co/Z2lWqEVVuaLúcás Meier @cronokirby
7K Followers 669 Following Cryptographer at @penumbrazone. My opinions do not yadda yadda. Did an MSc (Computer Science) @EPFL. Avid, not fast runner. https://t.co/yOuGtLnGMF on bsky.kennyog @kennyog
8K Followers 2K Following Professor of Computer Science at ETH Zurich. Views my own. Apparently in a semi-religious crypto/privacy cult. Join us! He/him.Lea Kissner @LeaKissner
26K Followers 399 Following (Now former) CISO @Twitter. Privacy eng, security, crypto & build respect. they/them Trying out @[email protected]David Wong @cryptodavidw
13K Followers 2K Following founder @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect Mina, security lead Libra/Diem/Facebook, crypto NCCGroupsofía celi @claucece
7K Followers 5K Following Proud LatinAmerican • Legendary quantum lady/cryptographer • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonU🎻 Eric Lawrence @ericlaw
14K Followers 3K Following Seek first to understand. Impatient optimist. Dad. Zetetic. Author. Speaker. Made Fiddler & SlickRun. 17yrs @ MSFT on web/security. My words are my own. he/himAlbert Jin @abtjin
5 Followers 45 FollowingThetheau @Thetheau11874
2 Followers 169 FollowingVG professionals Reno.. @RenovationVg
26 Followers 199 FollowingGrey Heron @GreyHeron9988
15 Followers 43 FollowingRoland Coeurjoly @RCoeurjoly
206 Followers 3K FollowingDEEPAK SINGH @todeepaksingh
6 Followers 257 Following Embrace the challenges, unlock your potential.xMadKnight @madking230
56 Followers 755 Followingfdspaifdsdate @fdsdate
1 Followers 2K FollowingMoon @Moon17757784
16 Followers 84 FollowingDenis Kolegov @dnkolegov
2K Followers 255 Following PhD. @the_matter_labs protocol security. Former research engineer at @protocollabsRushil @rushs1ck
1 Followers 29 FollowingJack Bates @jablko
134 Followers 948 FollowingFrédéric Gonieaux @fredgonieaux
72 Followers 174 FollowingAdj @adj_nhase
37 Followers 280 FollowingCryptoIsFun123123 @CFun123123
24 Followers 41 FollowingKaz @mgkacz
226 Followers 95 Following Head of Product at Spirion. Enjoy sports and technology. Baltimore Ravens fan. (All views expressed here are my own)iver - lavabit.com @prolifichacker
4K Followers 4K Following God is real, the Bible is True, and Jesus Christ is King of Kings. #TEM #tripleelitememes https://t.co/UizUVaRZ8KErubius @0xErubius
40 Followers 132 Following Aspiring hacker || Video game enthusiast || Learning new technologies a day at a time.RocketMe Up CyberSecu.. @RocketMeUpCyber
14 Followers 307 Following Your digital shield - Keeping your business secure from cyber adversaries. https://t.co/mXPVgA8yMBJohn Turpish @JohnAtLBL
6 Followers 33 FollowingAltin (tin-z) 🌐 @kzalloc1
100 Followers 818 Following 71D32F4044C15EAF1EC6F7295ED98D3C578FE397 //https://t.co/TEXRMg5Hm9Sander Dijkhuis @s89
255 Followers 118 Following Innovation at QTSP Cleverbase & Vidua. Current focus: designing cryptography, messaging protocols, and citizen experience for a trustworthy online society.trekianov.algo @trekianov
164 Followers 677 Following Reluctant Hero trekianov.eth #dilettante #bitcoin #algorandkeiko @keikoit2
414 Followers 2K Following ちなつば。 Digital Identityとスポーツと犬 ENTP https://t.co/KgiFAnbRQhSpencer Peters @spencerjpeters
140 Followers 476 Following PhD candidate @ Cornell. Lattice algorithms and cryptography. Interning at Meta Applied Privacy Tech in the Bay this summer! https://t.co/hZ6C1xdEpvSecond @usesecondcom
232 Followers 1K Following Second, where AI is beneficial for the people ⚡️ AcceleratingLB🔥IceFireLabs @lb_icefirelabs
330 Followers 4K Following Cloud Native|Blockchain|Security Practitioner, Web3.0 Ecological Research and Builder,Founder of @IceFireLabsArthurStrong @ArthurS53341762
12 Followers 164 FollowingSh @Sh75157626
62 Followers 105 Following[email protected] @MohammadAlavi
30 Followers 310 FollowingAbdul Kareem @zxkd_dev
50 Followers 1K FollowingDennis Yurichev @DennisYurichev
544 Followers 80 Following I rarely use twitter. If you really want to contact me, please use email. My writings: https://t.co/PT4c6vpAc0 https://t.co/HIRBLj569I https://t.co/nly9hqIPxZAndrew Hariri @drewhariri
204 Followers 144 Following You always fear that which you do not understand @aptoslabs @facebookKamel Abo Adnan @Kamo889
24 Followers 2K FollowingHafidz Umaradina @HafidzUmar86
160 Followers 1K Following Aerospace, OSINT/ELINT, Physics, Mythology, Transformers & True Crime enthusiast. Writing everything about aviation, especially on stealth & secret projects.iconichamster @iconichamster
3 Followers 582 FollowingTyler Morgan @TylerJMorg
26 Followers 125 Following he/they • Pro Classical Bassist: [email protected] • Guest Artist: @AndreaBocelli, @lorenallred, @UtahSymphony, @voctavesings • Cybersecurity ResearcherStrongbox @StrongboxSafe
2K Followers 98 Following An Open Source Password Manager for KeePass and Password Safe Databases available for iOS and macOSAdriana Porter Felt @__apf__
65K Followers 946 Following I like writing silly Tweets, but that doesn't pay so I also make @googlechrome. mamá, eng director. volunteer @2ndharvest. 🇺🇸🇨🇷 she/herlcamtuf (@lcamtuf@inf.. @lcamtuf
35K Followers 494 Following Homepage: https://t.co/iFAXZxCO5H Substack: https://t.co/yFvmNisGW3apenwarr @apenwarr
14K Followers 2K Following wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now @Tailscale doing WireGuard mesh. Top search result for "epic treatise."Alex Stamos @alexstamos
98K Followers 2K Following You can find me at: https://t.co/Enct5hx8bS https://t.co/CuE5u72rhWDeirdre Connolly¹ @durumcrustulum
6K Followers 3K Following • 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 • ¹ isogenist, co-host @SCWpod, @durumcrustulum.bsky.socialkennyog @kennyog
8K Followers 2K Following Professor of Computer Science at ETH Zurich. Views my own. Apparently in a semi-religious crypto/privacy cult. Join us! He/him.Tavis Ormandy @taviso
127K Followers 645 Following Vulnerability researcher at Google. This is a personal stream, opinions expressed are mine. I'm also @[email protected]Daniel J. Bernstein @hashbreaker
22K Followers 23 Following Designing cryptography (deployed now: X25519, Ed25519, ChaCha20, sntrup, Classic McEliece) to proactively reduce risks. Coined phrase "post-quantum" in 2003.yan @bcrypt
77K Followers 332 Following security engineering @brave / @defcon talk reviewer / makes music software. ex-@eff, @w3c, @mit physics. @bcrypt on https://t.co/TK6N0yOcsLmdowd @mdowd
32K Followers 744 Following Internet Hacker. Founder of @vigilant_labs. Previously, co-founder of Azimuth Security (now L3Harris Trenchant)Parisa Tabriz @laparisa
58K Followers 4K Following Browser Boss @googlechrome; Security Princess @google; Project Zero den mom; former @usds; skilled at baking, eating, and hijacking cookies.Security Cryptography.. @SCWpod
2K Followers 3 Following @durumcrustulum, @tqbf, @davidcadrian. “Freewheelin’ dynamic”.Marques Brownlee @MKBHD
6.2M Followers 472 Following Web Video Producer | ⋈ | Pro Ultimate Frisbee Player | Host of @WVFRM @TheStudioThe Keccak Team @KeccakTeam
941 Followers 2K FollowingType Theory Forall @ttforall
3K Followers 175 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHMEgbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/himRicky Mondello @rmondello
21K Followers 749 Following 🏳️⚧️ Nonbinary, they/them, friend🧛🏻♀️ 🖤 It’s not a phase 🔑 Pass{keys, codes, words} at Apple 🌙 🦔 Speedrunner 🤷🏻♀️ https://t.co/zfI4fME1yhLean @leanprover
4K Followers 35 Following Lean is a dependently-typed programming language and theorem prover.Kevin Buzzard @XenaProject
9K Followers 0 Following Mathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.David Wallace-Wells @dwallacewells
100K Followers 3K Following Writer @nytopinion and columnist @NYTmag. Newsletter on climate and the messy future (https://t.co/CPCd2nw3Kx). Author of The Uninhabitable Earth.Year Progress @year_progress
716K Followers 0 Following The only progress bar you'd rather see go slower.Ramez Naam @ramez
54K Followers 7K Following Climate and clean energy investor. Author of 5 books. Energy & Environment co-chair @SingularityU. Trying to build a better world.Project Zero Bugs @ProjectZeroBugs
35K Followers 0 Following A bot that posts the latest blog posts and disclosures from Google's Project ZeroKinesis Keyboards @kinesisergo
8K Followers 3K Following Creators of the all-new Advantage360 mech ergo keyboard! Now in stock at the Kinesis Store, Amazon, and Resellers. https://t.co/YnFQ5oQf7bJames Thomson @jamesthomson
25K Followers 2K Following Indie iOS / Mac developer, maker of the PCalc calculator. This account is no longer actively being read, find me here: [email protected]Zvi Mowshowitz @TheZvi
24K Followers 283 Following Blogger world modeling, now mostly AI and AI x-risk, at Don't Worry About the Vase (https://t.co/O9LbMQjKoo or WP/LW), founding Balsa Research to fix policy.NASA Webb Telescope @NASAWebb
3.3M Followers 65 Following The world's most powerful space telescope. Launched: Dec. 25, 2021. First images revealed: July 12, 2022. Verification: https://t.co/ChOEslj1j5Eli Dourado @elidourado
38K Followers 379 Following On a sacred quest to increase the pace of economic growth at @abundanceinst. On the side of the builders. tfp/acc 🚀Austin Vernon @Vernon3Austin
4K Followers 131 Following Learning electrochemistry the hard way. Visiting 🎓at the CGO ⬇️ I write a blog about energy and technologyAdam Mathes @adammathes
644 Followers 116 Following Fediverse: @[email protected] https://t.co/fS8liQCIcKAlexis Gay @yayalexisgay
134K Followers 996 Following Type A comedian 😎 | 🎟 Tix + email list at the link! ⬇️tokyostationpens @tokyostationmnh
677 Followers 93 Following Host of Tokyo Inklings podcast, nib workerJacob E @fudefan
596 Followers 20 Following I take glamour shots of Japanese pens. Sometimes I write about them too. Tokyo Inklings podcast host.𝔊𝔴𝔢𝔯𝔫 @gwern
42K Followers 88 Following Internet besserwisser; pedantic, mean reply guy. 𝘞𝘢𝘵𝘢𝘴𝘩𝘪 𝘬𝘪𝘯𝘪𝘯𝘢𝘳𝘪𝘮𝘢𝘴𝘶! (Follow requests ignored due to terrible UI.)Ezra Klein @ezraklein
2.6M Followers 1K Following Columnist, @NYTOpinion Author, "Why We're Polarized" Host of "The Ezra Klein Show" podcasttylercowen @tylercowen
231K Followers 526 Following new book *Talent: How to Identify Energizers, Winners, and Creatives Around the World*, https://t.co/7bU5cUdOBc, Conversations with Tyler, Bloomberg Opinion.Scott Alexander @slatestarcodex
138K Followers 30 Following I have a place where I say complicated things about philosophy and science. That place is my blog. This is where I make terrible puns.Myke Hurley @imyke
38K Followers 965 Following Podcaster and Co-founder at @RelayFM, Product Designer and Co-Founder at @CortexBrand. Mastodon: https://t.co/2rDp50SpxCCortex @cortexpodcast
14K Followers 5 Following @CGPGrey & @iMyke are both independent content creators. Each episode, they get together to discuss their working lives.Sublime HQ @sublimehq
58K Followers 74 Following Creators of Sublime Text and Sublime Merge. Need support? Sublime Text: https://t.co/5e1cE1dfub Sublime Merge: https://t.co/JTXom9aVxvPeter Attia @PeterAttiaMD
431K Followers 141 Following Former national level tic-tac-toe player. Still play for fun, but not quite as good. Also, play a LOT of Uno.Latacora @latacora_team
456 Followers 6 Following Unsanctioned ramblings. Parts may be hosted on Linode; caveat lector.Patrick McKenzie @patio11
164K Followers 796 Following I work for the Internet and am an advisor to @stripe. These are my personal opinions unless otherwise noted.Real World Crypto @RealWorldCrypto
10K Followers 0 Following The official Real World Cryptography Twitter feed. Follow us for news of upcoming events.Ivan Krstić @radian
11K Followers 901 Following Head of Security Engineering+Architecture at Apple. I don’t speak for my employer. @[email protected]Alastair Reid @alastair_d_reid
3K Followers 354 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.Justin has left Twіt.. @justinschuh
12K Followers 485 Following You can find me at https://t.co/hc9lzviFS4 or as @justinschuh.com on Bluesky.Hello Internet @HelloInternetFM
46K Followers 3 Following Conversations between @CGPGrey & @BradyHaranFast forward to 4.5 years later: theverge.com/2024/2/22/2408…
Student (from another university) emails me about working with me, including "particularly excited about the role that ML plays in your lab's work". Amazing how excited people can be over the empty set. [Actually, I am excited that it is the empty set, but that's different...]
@k8em0 @CubicleApril @ErrataRob I have just turned to algae
HAHAHAHA OK someone in the President's staff is a Japanese speaker
Today the CEA released a blog highlighting a new tax in the President’s budget, the Digital Asset Mining Excise Tax (“DAME Tax”), a tax equal to 30 percent of the cost of the electricity cryptominers use once fully phased in. 1/ whitehouse.gov/cea/written-ma…
Public service announcement, I suppose.
1/ Following the confirmation at the end of today that the wires initiated on Thursday to remove balances were not yet processed, $3.3 billion of the ~$40 billion of USDC reserves remain at SVB.
Analysis: IEA’s renewables forecast grows 76% in two years after ‘largest ever’ revision | @Josh_Gabbatiss Read here: bit.ly/3YczsOc
🤡
Britain faces a simple and inescapable choice - stability and strong Government with me, or chaos with Ed Miliband: facebook.com/DavidCameronOf…
William Shatner on his Blue Origin flight to space: "It was among the strongest feelings of grief I have ever encountered." variety.com/2022/tv/news/w…
For the first time in nearly 15 years 😲(since before Obama was president or the iPad existed🤯), eseidel@google no longer reaches me. Thanks to all, especially Flutter and Chrome teams and communities for making it special. 🫂 Retiring briefly, then who knows?🤷♂️ Onward. 🚀
About 10 years ago, I flew to London. After departure, I realized I'd lost my passport; I either left it in the terminal or dropped it on the plane. I was still frantically searching for it after landing, when an elegant woman smiled and handed it to me. RIP @madeleine Albright.
I genuinely have no idea how this managed to evade fuzzers for over a decade, something like p=697 a=1 b=1 x=696 would have found it... 🤷♂️
Several years into GDPR, it remains fucking bonkers in practice. Every site on the internet gets an awful pop-up that no one reads and clicks anything to make it go away as quickly as possible. It’s an idea that 100% backfired and is pointless and makes every website worse.
This was a fun one to work on, @davidben__ helped track it down to a bug in the Tonelli-Shanks implementation in OpenSSL.
New high severity DoS in OpenSSL just released: openssl.org/news/secadv/20… CVE-2022-0778 was reported by @taviso and appears to affect systems that parse user-supplied certificates.
What should I ask Daniel Gross @danielgross? Please leave your suggestions in the comments, marginalrevolution.com/marginalrevolu…, #talent, #venturecapital, #Cowenconvos.
No matter how many times I teach it, the linear relationship between deprivation and prevalence of obesity never fails to shock. 33.8% of children living in the most deprived areas are living with obesity in comparison to those in the least deprived areas (14.3%)
I for one welcome our Japanese overlords to seize all rail operations in this country, violently or not
I guess.. if you squint, the end of March is close to the beginning of the year, which is close to the end 2021… 😮💨
Now that I think about it, the beginning of 2022 is also "sometime close to the end of 2021". Well worded, NIST.