🚀 Sonic is on the launch pad, and we're excited to provide more details about our upcoming Sonic chain, $S token, and launch of a new strategic funding round.
@michaelfkong's latest blog post sheds more light on the new Sonic organization, slate of innovative new partners, and…
🥳 With nearly 80% of staked FTM on Sonic nodes, Opera is officially considered UPGRADED!
Our new, innovative technology enables the chain to achieve:
⚡ 2,000 TPS — realistic traffic
🔄 4,000 TPS — token swaps
💸 10,000 TPS — token transfers
⏱️ 1-second finality
We will…
Irrespective of your opinion on Fantom, this is a technological breakthrough that increases base layer scaling by 10x.
EVM is here to stay, Scholz's work increases throughput natively, this tech can be applied to any EVM without sacrificing compatibility. Blockchains are far…
Irrespective of your opinion on Fantom, this is a technological breakthrough that increases base layer scaling by 10x.
EVM is here to stay, Scholz's work increases throughput natively, this tech can be applied to any EVM without sacrificing compatibility. Blockchains are far…
Me and @samwitchPS built a tool to compare the speed of the new Fantom Sonic network with Fantom and Avalanche. They did not joke about speed, I can see a consistent 1sec finality! Come check for yourself at sonic.paintswap.io
Amazing work #Fantom#FantomSonic
Today, #Fantom is thrilled to announce the launch of the #FantomSonic testnet environment!
Sonic’s three main upgrades include:
• Fantom Virtual Machine, which offers drastically faster smart contract execution compared to the old EVM.
• Carmen database storage, which uses a…
We have a new Soufflé release 2.1. Major effort was put into a new build infrastructure (GitHub action & cmake), a refactored ast-to-ram translator, and lock-free record table. Programs with records/ADTs will be faster!
Have a look: souffle-lang.github.io
Check out our new Datalog fuzzer "QueryFuzz" in action. Seen here trying to find critical soundness bugs in the Souffle Datalog engine. QueryFuzz uses metamorphic transformations to transform Datalog rules in the program.
To be presented at @FSEconf.
Stay tuned for the preprint!
816 Followers 6K FollowingYou may find that the quickest way to explain Bitcoin to beginners is that #Bitcoin is God’s currency/#chatGPT/ #SATOSHI @SatoshiErcToken
29K Followers 562 FollowingSonicTalk World Wide Update news, Guides on #Sonic & Featured projects $$ Join group: https://t.co/5kNWBWP94q For business proposal: https://t.co/CWOCuND8Ev
178 Followers 1K FollowingHealth-focused, curious, and driven. Passionate about wellness, self-discovery, and meaningful connections. Always open to new adventures.
1K Followers 745 Following$S #SONIC #EQUALIZER #blockchain for all of society beyond #cryptocurrency and #finance💎. #decentralized finance💎♻️🌏 @biloutesonic NFA !!
848K Followers 379 FollowingThe settlement layer for the future of finance. Designed for developers to scale and earn. Eco @SonicEcosystem. Presence @SonicWorldHQ.
603 Followers 392 FollowingAssociate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
3K Followers 280 FollowingACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
5K Followers 974 FollowingThe ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by @konskallas and Jenna DiVincenzo.
4K Followers 862 FollowingProfessor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
72K Followers 3K FollowingThe world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org
Likes & shares ≠endorsement
9K Followers 1K FollowingCommunications of the ACM, flagship of the Association for Computing Machinery, is a leading publication for the computer science and IT fields.
3K Followers 419 FollowingTweet as a Researcher/Teacher/Consultant on Software Engineering. Passionate about humans+tech, diversity, research methods, ⛵ & 🎶. She/Her 🇮🇪 🇨🇦
9K Followers 220 FollowingSoftware researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
2K Followers 900 FollowingComputer scientist, researcher, dad, husband, runner, hiker, collector of garbage.
Google Research Scientist, ANU Professor.
https://t.co/zPlLF6sKVX
2K Followers 1K FollowingProfessor @UCR_CSE doing research in programming languages and software engineering.
https://t.co/8YGA4y2NaS
BSky: @manu.sridharan.net
1K Followers 184 FollowingProgram analysis, prog. langs researcher. Dedaub co-founder. My crypto/vulnerability activity is on @dedaub, not on this account. DO NOT DM HERE, not checking.