Reposted by HimanshuLee Hurley @hleehurley.com · 03/10/2026I implore all cis people to read this. 17974417
Himanshu @h-vash.bsky.social · 30/09/2026Recently learned that someone I followed here and shared their posts, was involved with Jacob Appelbaum. Very disappointing. I still support all the other good work they do, but decided to unfollow them. 000
Himanshu @h-vash.bsky.social · 28/09/2026I have heard people call this "not organised enough to be a genocide" 020
Reposted by HimanshuAmbrose @ambrosia-engine.bsky.social · 25/09/2026Most of this Silicon Valley network in AI is also Epstein's network. It's not just women and girls who are groomed and abused by these men. Perhaps a death and sex cult shouldn't be left to self regulate tech products. We need accountability and justice. 324795
Himanshu @h-vash.bsky.social · 24/09/2026@claucece.bsky.social sharing important lessons about the value of community and human factors in doing cryptography at crypt@b-it in Hamburg! 021
Reposted by HimanshuCCC @ccc.de · 23/09/2026Overrely on AI: Pentagon Says #Palantir AI Tech Contributed to U.S. Strike That Killed 123 Children gizmodo.com/pentagon-inv...gizmodo.comPentagon Investigators Say Overreliance on Palantir AI Tech Contributed to U.S. Strike That Killed 123 Iranian ChildrenAn unreleased Pentagon probe investigated the kill chain that hit a school in Minab. 53924
Reposted by HimanshuPeter Singer @petersinger.info · 22/09/2026Imagine being lowered into a gas chamber while fully conscious. The gas causes pain as it dissolves into the moist tissues of your eyes, nose, mouth and lungs. Breathing becomes extremely painful. And you may remain conscious for up to 60 seconds before finally blacking out. 1136
Reposted by Himanshuᴡᴇ ʙᴜɪʟᴛ ᴛʜɪꜱ ᴄɪᴛʏ @webuiltthiscity.bsky.social · 21/09/2026This genuinely made me laugh out loud today 104039817
Reposted by HimanshuLouis Römer @lromeranth.bsky.social · 18/09/2026Yuval Abraham's excellent articles about the AI-assisted bombing of entire apartment buildings have been online since 2023. Here is one from 2024 that describes "Where's Daddy?," an algorithm designed to locate and bomb targets when they were at home.972mag.com‘Lavender’: The AI machine directing Israel’s bombing spree in GazaThe Israeli army has marked tens of thousands of Gazans as suspects for assassination, using an AI targeting system with little human oversight and a permissive policy for casualties, +972 and Local C... 15133
Reposted by HimanshuTimnit Gebru @timnitgebru.blacksky.app · 16/09/2026Fucking bullshit that this guy is not only doing the press rounds but is the guy politicians on the "left" are taking their cues from. 16665129
Reposted by HimanshuRyan O'Donnell @booleananalysis.bsky.social · 14/09/2026Outstanding progress towards the Unique Games Conjecture posted by Yumou Fei, Dor Minzer, and Shuo Wang: eccc.weizmann.ac.il/report/2026/... 👀eccc.weizmann.ac.ilECCC - TR26-179 3237
Reposted by HimanshuDaniel Litt @littmath.bsky.social · 14/09/2026I've written an essay on how I think the mathematics profession should adapt to highly capable AI systems. It's hosted here on "Proofs and Prompts": proofsandprompts.com/2026/09/14/a... though you should also feel free to complain/comment on my website here: daniellitt.com/blog/2026/9/...proofsandprompts.comA beginning for mathematicsDaniel Litt, professor at the University of Toronto Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a g… 66413
Reposted by HimanshuMolly White @molly.wiki · 14/09/2026politicians: "we can't afford to let China get ahead with AI!" sweetie i don't think we can afford to let America get ahead 953663
Himanshu @h-vash.bsky.social · 13/09/2026Meanwhile Israeli universities receive billions of dollars in funding from American billionaires. Just two years ago, the university i studied at, Bar-Ilan University, received 260 million dollars from an American. www.nbcnews.com/news/us-news...nbcnews.comMystery Columbia alum donates $260 million to Israeli collegeThe donation to Bar-Ilan University, in a Tel Aviv suburb, was announced as pro-Palestinian protesters set up a new encampment in front of Los Angeles City Hall on Monday night. 021
Reposted by HimanshuRyan O'Donnell @booleananalysis.bsky.social · 10/09/2026Am teaching grad complexity theory at CMU; about 1/3 of the lectures will be new (vs. last time), 'modern' results. Videos are going onto www.youtube.com/@ComplexityT... which will later also feature student videos. We did Williams (/Cook-Mertz/Shalunov) TIME(t) in SPACE(~√t) today.youtube.comComplexity Theory At Carnegie Mellon 05717
Reposted by HimanshuLukasz Olejnik @lukaszolejnik.bsky.social · 10/09/2026Here's how we'll protect humanity from extinction-level AI. We're safe between 2026 and until July, 2030. huggingface.co/security.txt 093
Reposted by HimanshuDustin Moskovitz @moskov.goodventures.org · 09/09/2026📺 Welcome back to AI Safety Week on the Bluesky Network! If you're just tuning in: an Anthropic pretraining researcher has resigned, warning the labs are "gambling with our lives"; agents have recently been spotted outside their sandboxes (again!); and one $2T IPO is proceeding as scheduled. 1015211
Reposted by HimanshuSeny Kamara @senykamara.com · 08/09/2026This is a great example of how STEM researchers can impact the world beyond just solving industry and military problems. 073
Reposted by Himanshudamniel spookradski @self.agency · 08/09/2026"we are against the violent settlers in the west bank, who the israeli government fully supports and provides military escorts to while they commit acts of arson and even murder. but, we are also against anyone outside of israel doing anything to stop them because that's political meddling." 13313
Reposted by HimanshuHimanshu @h-vash.bsky.social · 06/09/2026* drum roll * I started as a PhD student at FAU Erlangen-Nürnberg @fau.de with the amazing Paul Rösler @roeslpa.bsky.social as my advisor! I look forward to working on secure messaging, interoperability, anonymous credentials and more. See the opening paragraph of my SoP for PhD applications👇 151
Himanshu @h-vash.bsky.social · 06/09/2026* drum roll * I started as a PhD student at FAU Erlangen-Nürnberg @fau.de with the amazing Paul Rösler @roeslpa.bsky.social as my advisor! I look forward to working on secure messaging, interoperability, anonymous credentials and more. See the opening paragraph of my SoP for PhD applications👇 151
Reposted by HimanshuDrop Site @dropsitenews.com · 06/09/2026🇵🇸 More than 70 children are among 100 Palestinians being laid to rest in Gaza today after their bodies were recovered from beneath their homes’ rubble, Dr. Muneer al-Bursh, dir. gen. of Gaza’s Health Ministry writes on X. Families waited 2 years, some longer, to bury them. More than 8,000 people... 210273
Reposted by HimanshuGergely Orosz @gergely.pragmaticengineer.com · 06/09/2026What’s the problem w using LLMs to write stuff you want other people to read -emails, articles, posts- and why are people (like me!) so incredibly hostile that they will block you/mute you/block your domain, to never read anything from you again? Bryan spells it out. Read it: 1120030
Reposted by HimanshuStandplaats Kraków could really use some cash! @standplaatskrk.pl · 03/09/2026 3436102
Reposted by Himanshuelia ayoub @ayoub.bsky.social · 31/08/2026Yeshayahu Leibowitz used the term Judeo-Nazis over 30 years ago to describe elements of the Israeli establishment that called for breaking the bones of Palestinians. This is now mainstream in Israel. www.youtube.com/watch?v=YzSZ...youtube.comLeibowitz on Israeli concentration camps and his use of the term Judeo-Nazis - english subsYouTube video by abolish Zionism (ronnie barkan) 18638
Reposted by HimanshuBarbara Fantechi @barbarafantechi.bsky.social · 28/08/2026I would be much more impressed by this if it hadn't been known for decades that some papers have more holes than a pasta sieve, yet people devoting time and effort to fix then received no recognition and were kicked out of maths while the "geniuses" kept publishing incomplete or missing proofs. 4344
Reposted by HimanshuDaniel Litt @littmath.bsky.social · 28/08/2026I've been saying for some time that we should use AI systems to produce better work, as opposed to, say, more PDFs. One simple thing we can now do is identify and fix lots of extant errors in the literature. 1/17 79411
Reposted by HimanshuTuta @tuta.com · 26/08/2026The University of Wuppertal has scientifically proven the security of TutaCrypt - our hybrid PQC protocol. A big thank you to our partners at the University of Wuppertal for their support and collaboration. 🔐❤️ The paper 👉 cic.iacr.org/p/3/2/15 More on information: 👉 tuta.com/blog/post-qu... 05713
Reposted by Himanshunat alison @tesseralis.site · 24/08/2026ah yes, the Nobel prize winning algorithm. the gale shapley algorithm. the algorithm that produces the best result for the proactive party and the worst result to the people in the receiving end. 1142
Reposted by HimanshuEthan Mollick @emollick.bsky.social · 23/08/2026Life is full of things that, by complexity or design or lack of care or required time, are hard to navigate: healthcare, government, personal finance, school forms are all among them It is why I feel consumer AI is underrated. People muddle by, but are missing support & AI is good enough to help. 1013513
Himanshu @h-vash.bsky.social · 20/08/2026Anonymous Credentials solve the linkability problem that the article talks about. However, the centralisation risk is real: "The issuer itself could be pressured by authoritarian governments to remove a user's access to a service, essentially removing that person’s access to the internet entirely. " 010
Reposted by HimanshuOwen Jones @owenjones.bsky.social · 20/08/2026It was obvious from the start - and the media should have said so. 11277139
Reposted by HimanshuMel Andrews @bayesianboy.bsky.social · 17/08/2026If you are producing scholarship with AI and your work could plausibly be accessed in the EU, you are now legally compelled to disclose the nature and extent of your AI use. A tremendous win for scholarly integrity. www.lexacademic.com/blog/the-sta...lexacademic.comThe Stamp of Shame: What Claude’s New Legal Watermark Means for your Research - Lex Academic® 8716207
Reposted by HimanshuMartin R. Albrecht @malb.bsky.social · 17/08/2026As funny as it is that they simply dropped frida.re on Encrochat devices, to me the two big Encrochat questions that still aren't resolved are:frida.reFrida • A world-class dynamic instrumentation toolkitObserve and reprogram running programs on Windows, macOS, GNU/Linux, iOS, watchOS, tvOS, Android, FreeBSD, and QNX 144
Reposted by HimanshuTuta @tuta.com · 14/08/2026🎉Big Win Against Big Tech🎉 Apple's lawsuit against the EU failed. Apple is still regulated under the DMA, and must enable interoperability. This is great news for #software #freedom and #open #source. ❤️ #FOSS 213728
Reposted by Himanshu852dude @852dude.bsky.social · 13/08/2026Bro. People are cool as fuck. 274164212327
Reposted by HimanshuSignal @signal.org · 11/08/2026Introducing Automatic Key Verification! Complementing the existing safety number system, automatic key verification provides an additional, streamlined way to confirm the privacy of your chats. signal.org/blog/automat... TY @cloudflare.social and @trailofbits.bsky.social our independent auditors 💙🙏signal.orgIntroducing Automatic Key VerificationSignal now offers a feature called “automatic key verification” which complements the existing safety number system. Signal is always end-to-end encrypted, and automatic key verification provides an a... 628978
Reposted by HimanshuEric Geller @ericjgeller.com · 11/08/2026One of the biggest topics at last week's Black Hat and @defcon.bsky.social conferences was the future of the CVE Program, which assigns vulnerability IDs that are used all over the place. My new story wraps together everything we heard from key CVE figures: www.cybersecuritydive.com/news/cve-pro... 1179
Reposted by HimanshuClément Canonne @ccanonne.github.io · 01/08/2026"We're all worried," as what it means to do research (in my field, Theoretical CS) seems to be shifting, and shifting fast. What to do? Senior researchers must lead by example, knowing that not everything will pan out. What I'm suggesting below may not work everywhere, but here's my own advice: 1/ 620351
Reposted by HimanshuCas (Stephen Casper) @scasper.bsky.social · 10/08/2026Glad to see this from @sanders.senate.gov. www.sanders.senate.gov/wp-content/u... 2114
Himanshu @h-vash.bsky.social · 10/08/2026Making these events remotely accessible is super helpful (especially when they are happening in the US)! Thanks to the efforts of Miro and his team, I was also able to remotely attend CAW'26. Remote participants could even ask questions during the event! 110
Reposted by HimanshuTuta @tuta.com · 10/08/2026🚨 Google is killing Android freedom. 🚨 Android is supposed to be open, and your phone should be yours → NOT GOOGLES. Find out more: tuta.com/blog/android... Sign the petition: www.change.org/p/keep-andro... 27638494
Reposted by HimanshuePrint Updates @eprint.ing.bot · 10/08/2026Quasipolynomial Cryptanalysis of the McEliece Cryptosystem (or: PIR Meets McEliece) (Ashrujit Ghoshal, Yuval Ishai, Aayush Jain, Nuozhou Sun) ia.cr/2026/1630 02512
Reposted by HimanshuMelanie Mitchell @melaniemitchell.bsky.social · 09/08/2026Worth revisiting this prescient paper from @mmitchell.bsky.social and others from @hf.co : arxiv.org/abs/2502.02649arxiv.orgFully Autonomous AI Agents Should Not be DevelopedThis paper argues that fully autonomous AI agents should not be developed. In support of this position, we build from prior scientific literature and current product marketing to delineate different A... 38518
![There may be many stable matchings for the same system of preferences. This raises the question: which matching is returned by the Gale–Shapley algorithm? Is it the matching better for applicants, for employers, or an intermediate one? As it turns out, the Gale–Shapley algorithm in which employers make offers to applicants always yields the same stable matching (regardless of the order in which job offers are made), and its choice is the stable matching that is the best for all employers and worst for all applicants among all stable matchings.[11]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:yjfmabfhtbsppmujwvklgnaa/bafkreiafweoj55gd7usvvkxeyzlfuupzj46f757453s6wiwj72mrp5va6i)
![[d 🔶 (@davemakes) on Twitter: "there's an old CIA guide to the sabotage of organizations that includes the advice to constantly haggle over the precise wording of simple communication and ever since i read it i've become convinced about 80% of this app is engaged in a psyop"
Jozef Doyle (@NotAPolack) replies: "i think you need to be careful when using the term psyop, it has a very narrow definition and historical context and you really detract from the experience of actual victims in harmful regimes when"]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4djfp3b27soxcfkxhirydi6d/bafkreibzfiva3idnl7yrxigfv33nqkw6g3obbolbvb345ufntsiciiuuqq)
