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
- Following613
- Followers642
- Likes32.2K
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 resultsI'm fine with others but no type inference is weird, is it
much harder than eval or it's just rarely undecidable?
somebody send a PR: github.com/bendlang/bend/blo…
We have used Bend2 for the last few weeks. Here is an honest review:
Bend2 is what happens when an inbred type theory autist decides Haskell is for fucking casuals. No type inference. No type classes. No tactics. Want to prove something? Write the fucking proof yourself. Dependent types with absolutely none of the ergonomic bullshit. Also, affine types because apparently full linearity would be too much commitment. The ecosystem is nonexistent, the learning curve is a vertical cliff, and writing trivial programs feels like defending a PhD thesis.
9/10. Still too accessible to JavaScript developers.
this happens way too often, and OpenAI doesn't allow me to read subagent reviewer's instruction.
@thsottiaux just let us read it man, you are losing crowdsourcing opportunities
genuine question: who is working on formal verification and theorem synthesis here?
now it's obvious that 0% hallucination is impossible without a verified backbone, time has come to show your master plan
From growing our workforce to investing in the next generation of talent and research partnerships, we’re committed to building our future in Canada.
Read more: cohere.com/blog/cohere-canad…
Peng Cheng, asking λP2-λC retweeted
Looks like they are backing off. Hopefully they understand this is malware behavior.
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…
