I watched No Other Choice by Park Chan-wook the other day. And what a fantastic movie it was.
Compilers, PLD, OSDev, QC
GPG: 0x7fdcf6837e7d0d93
| Pronouns | he/him |
| Github | https://github.com/weirdsmiley |
| Homepage | https://wssite.vercel.app/ |
Manas is a bird 🇮🇳
- 35 Followers
- 229 Following
- 53 Posts
David Chisnall (*Now with 50% more sarcasm!*)The tragedy of C++ is that you need to learn Haskell to write good C++, yet very few people who have learned Haskell are willing to write C++.
I'm actively looking for opportunities in compiler development. My usual workflow involves C++, LLVM and Rust. If you are looking to hire someone with these skills, I'll be happy to talk!
Checkout my GH: https://github.com/weirdsmiley
Spaceflight 🚀🇮🇳 The first module of #ISRO’s Bharatiya Antriksh Station* is scheduled to launch in 📆 2028. The 2028 target for #BAS01 also seems aligned with #India’s broader #HumanSpaceflight 🧑🚀 objectives. Involving industry might speed up development and spread technical knowledge more widely. Experts suggest that collaboration with private firms could also reduce costs 📉 https://timesofindia.indiatimes.com/science/isros-bharatiya-antriksh-station-first-module-set-to-launch-in-2028-advanced-technologies-global-space-presence-and-costing-details/articleshow/129824062.cms
* 3.8-meters long, 8-meters in diameter https://en.wikipedia.org/wiki/Bharatiya_Antariksh_Station#BAS-01_Base_Module
ISRO’s Bharatiya Antriksh Station first module set to launch in 2028: Advanced technologies, global space presence, and costing details | - The Times of India
Science News: ISRO’s aspirations in space exploration are taking a major leap forward as it develops the Bharatiya Antriksh Station. The project, which seems to be .
This is so sad.
There is an amazing podcast of Raghu Rai with Saurabh Dwivedi on YT. He goes over the socio-political scenes in India in the 70s & 80s.
I saw the pictures that he clicked, on his website. They left quite an impression on me.
@theblazetrends https://mastodon.social/@theblazetrends/116470157490639479
Cliff Clickhttps://youtu.be/wGuLumBrjI0
div by 0. GPU opts, tiling, Hilbert curves. New member. Reg alloc: debugging, LLVM, for jit tier 0,1,2. Hash speed, improvements. Faster IRs, type inference. FP standards; LLM training. SoN peephole opts, determinism, Icache. JDK effort man-years
div by 0. GPU opts, tiling, Hilbert curves. New member. Reg alloc: debugging, LLVM, for jit tier 0,1,2. Hash speed, improvements. Faster IRs, type inference. FP standards; LLM training. SoN peephole opts, determinism, Icache. JDK effort man-years
Coffee Compiler Club, 2026_04_17
Trail of BitsGoogle used a ZK proof to disclose a quantum breakthrough that cuts the cost of breaking cryptocurrency by 20x without handing attackers the circuit.
The Rust code behind the proof had memory safety bugs. We used this new attack surface to forge a proof that beats Google’s on every metric.
Google patched it within days. Their quantum claims are unaffected. https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/
We beat Google’s zero-knowledge proof of quantum cryptanalysis
Trail of Bits discovered and exploited memory safety and logic vulnerabilities in Google’s Rust zero-knowledge proof code to forge a proof claiming better quantum circuit performance metrics than Google’s original results, demonstrating unique security risks in zkVM systems.
Okay this is something new! I was trying to use LLMs for compiler related stuff. I asked gemma-4 to write a toy compiler in OCaml. It generated these commands. Never saw this before.
Aral BalkanSo Anthropic employees are using Claude Code to contribute AI-generated code to open source repositories and hiding the fact using their own internal “undercover mode”.
Totally trustworthy people.
(Any open source project that at the very least requires disclosure of AI-authored contributions should immediately ban Anthropic employees on principle.)
