doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
Toronto, Ontario
Joined July 2014
- Tweets5.1K
- Following606
- Followers638
- Likes31.8K
Pinned Tweet
multi-agent orchestration: should it use an expensive JIT compiler to fuse overlapping resource & tool use?
0%FUSE!!!
100%meh not worth it
0%🍉
1 votes • Final results Peng Cheng, asking λP2-λC retweeted
Blog post listing the Iris-Lean projects I can remember off the dome. Want to be on it? Do something awesome in Iris-Lean and email me.
markusde.ca/pages/awesomeiri…
you are all going to maintain the verified kernel right? right?
Curious about the Bend programming language? Want to understand how interaction combinators work?
@VictorTaelin is giving a public talk about Bend at the SF Lean Meetup on Monday
Link below!
Apple app store: we will block Telegram installation because it failed to update a certificate
also Apple app store:
Do we have benchmarks for evaluating agent harness utilisation?
one obvious choice would be model & scene reconstruction using three-js, unity & unreal engines
Peng Cheng, asking λP2-λC retweeted
🎤 Speaker spotlight: Aditya Naik, software engineer at SiFive working on Chisel & LLVM CIRCT.
"Chisel: The Next Generation": lessons from migrating Chisel and SiFive's RISC-V hardware generators from Scala 2 to 3, and the Scala 3 features coming next."
🗓️ Mon Oct 19 · SF · 4 days to go
🎟️ Get your ticket: 2026.scalasummit.com
#Scala #Scala3 #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026 #Chisel #RISCV
seriously considering to switch, is it really available to Pro subscriber?
Today we are rolling out Gemini 4 Argon globally in the Gemini API, to Pro + Ultra in Gemini App, and Ultra subs in Antigravity!
Argon is a huge step forward for Gemini, and a labor of love. This model has been battle tested by over 100,000 people at Google over the last month, with so much new innovation, ambition, and hard work baked into this release. The team has been heads down over the last 6 months working to make this possible across the stack (research, infra, safety, eng, etc).
We rolled the model out to cyber defenders as part of our fairwind program and early access customers over the last 2 weeks, it has been amazing to see and talk to folks who are now using this model daily. Seeing the models writing capability, raw knowledge and persistence for coding, paired with new features like 1M token output when the model needs to work more has gotten me even more excited about our path ahead.
This is just the start of the Gemini 4 era. As you saw with 3.5, 3.6, 3.7, and 3.8 Flash, our iteration speed with Gemini is fast : ) Now with Gemini 4 Argon to work from, I am cannot wait to see the progress continue, and most importantly see what this new model enables for the world.
This is such a special moment in the arc of technology, as millions of people everyday tackle problems they could never have thought possible before. Gemini 4 Argon was built to help you tackle the hardest problems. I have personally felt this spark with Argon and hope you do too. Onwards!!
Peng Cheng, asking λP2-λC retweeted
Good morning Berlin!
Today, we're kicking off with the keynote session from Nada Amin. We have the panel coming up today and a load of parallel talks!
What sessions are on your radar today?
ALT Image of the sunset in Berlin from the top of a roof.
Peng Cheng, asking λP2-λC retweeted
And with that, day 1 of #ScalaDays has come to an end. Here are a few highlights from today.
We hope that you had a great time and can join the community party starting pretty soon.
If you missed the keynote, the recording is now live: youtu.be/jlJyuJhDnlc
ALT Conference attendees with lanyards on seated round a table having a group chat, with more people in the background.
ALT Conference attendees with lanyards on, standing while having a conversation.
ALT Conference attendees with lanyards on, standing while having a conversation while one of them is showing off the 'peace sign' in their pose.
ALT Speaker on a stage with conference attendees in the background, featuring the text "2026, Scala Days, Berlin" on the wall.
Peng Cheng, asking λP2-λC retweeted
Still using Scala 2? We are happy to announce that Scala 2.13 and 2.12 will now be maintained by @VirtusLab. See blog post for details: scala-lang.org/blog/scala2-m…
Peng Cheng, asking λP2-λC retweeted
Here is a nanoda-enabled, confined version of the OpenAI strong normalization proof. (Assuming Claude extracted just that proof from the repository correctly.) My student Jamie ran comparator on it, and nanoda accepts it. Hoping to play with/clean it!
github.com/Illinois-Theorem-…
Thank you @Robertljg !
now the machine-assisted genie is out in Toronto, soon it will sprawl to places
Excited to be back at @Cohere_Labs for a talk! It’s been a couple of years since I was last there! Looking forward to sharing what I have been working on in AI for mathematics:) Thanks to the organizers for the invitation!
Peng Cheng, asking λP2-λC retweeted
Our ML Math group, led by @KatrinaL2899 and @neel_ghoshal will host @Robertljg for a session focus on Building Trustworthy AI for Mathematics and Science on Monday, October 5th! 🔥
Learn more and register: luma.com/jfw5wkkc
Peng Cheng, asking λP2-λC retweeted
yo Toronto, we’re hosting @OpenAI DevDay community meetup!
expect live demos from local legends and lots of nerding out on all of the new things that were launched this week.
Oct 7 -> 5:30–9 PM ET
luma.com/el6qqrge
(brought to you by your friends at @buildfutureto)
unfortunately GPT Sol 6.1 still had difficulty following and self-verifying rules
subagents instructions are still hidden, debugging would be so much easier if they are visible
