Carter Cheng @CarterCheng13
Joined February 2022-
Tweets5K
-
Followers149
-
Following2K
-
Likes2K
With the White House pushing people to switch from C to Rust, America will stop being the land of the free()
Kuma hut. Choose your layers: cedar, strong magnets, ETFE plastic sheeting.
A decompilation paper in Usenix Security Symposium- usenix.org/conference/use…
Sir Antony Hoare FRS is awarded the Royal Medal for revolutionising computer programming, and for the development of "Hoare logic" that has paved the way for provably correct code, providing a robust framework for ensuring software reliability. #RSMedals royalsociety.org/grants-schemes…
Neon decorations and illuminated lights make the ancient city of Jizhou in Tianjin lively and extraordinary, and the celebration of the Spring Festival continues.
President Xi Jinping just arrived in #SanFrancisco for the China-U.S. summit meeting and the #APEC Economic Leaders' Meeting.
Permafrost thaw sounds like it has the potential to be really bad.
I am wondering why we aren't in a panic already with 1.5 degrees being around the corner in 2029. There seems to be some major tipping points that result in irreversible catastrophic damage.
I was just listening to a podcast Crowd Science on global warming of 1.5 and the permafrost. The picture painted, is quite frightening.
I consider this chart to be the clearest indictment of our country’s path over the last several decades: In 1980, the U.S. had a typical life expectancy for an affluent country. Today, the U.S. has the lowest life expectancy of any affluent country:
Princess Ekstrom @princess92680
87 Followers 5K FollowingZola Mcentegart @Mcentegart60496
86 Followers 5K FollowingJoann Vigneault @vigneau_joa
65 Followers 5K FollowingKatelyn Biesecker @katel_biesec
59 Followers 5K FollowingKaya Steinmacher @KayaS34374
17 Followers 2K FollowingChang Mcmaken @mcma_cha
50 Followers 5K FollowingHarriette Niece @niece_ni
51 Followers 5K FollowingJaunita Klepper @JaunitaKle72769
73 Followers 5K FollowingLana Vankirk @LanaVankir90216
82 Followers 5K FollowingSienna Hauben @HaubenSien54657
71 Followers 5K FollowingPaulina Lagant @PLagant29202
30 Followers 5K FollowingEdith Morales @EdithMoral57852
23 Followers 737 FollowingEsme Pernice @es_perni
73 Followers 5K FollowingBonnie-mae Chreene @ChreeneMae75257
61 Followers 5K Followingムサビ 窯工(�.. @MAU_youkou
1K Followers 1K Following 創部58年!武蔵野美術大学窯工(ようこう)研究会です。 セブンイレブンのある棟の奥の部室にて、月曜日〜土曜日の9:00~20:00まで活動しています!毎月第2水曜日16:50〜体験入部やってます🙆♂️Ellis Kinneman @ElKinnema
67 Followers 5K FollowingChantay Theard @ChantayThe62492
37 Followers 5K FollowingCarly Wasylow @wasy_car
67 Followers 5K FollowingEliana Crippen @EliaCripp
36 Followers 5K FollowingElmira Mcgibbon @ElmiMcgibbo
38 Followers 5K FollowingMarlee Stojanovic @StojanovMarle
95 Followers 5K FollowingAfiyah Alzaga @alza_afiy
85 Followers 5K FollowingCyndy Offill @cyn_offil
64 Followers 5K FollowingEmily-rose Domangue @domang_ros
64 Followers 5K FollowingKathy Echegaray @EchegarayK23125
58 Followers 3K FollowingArria Bond @bon_arr
65 Followers 5K FollowingCathern Mederios @MederCather
75 Followers 5K Following1xedz9ycqjw4n9x @v4yuzkxnx2kz
24 Followers 1K Following We first transfer USDT to you TRC20, you return 90% to BEP20, you get 10% , 2K per day Our co hv a large amt of USDT need to from TRC20 convert to BEP20 networkRosemary Cudd @CuRosema
14 Followers 3K FollowingFatimah Ocana @FatimahOca73675
88 Followers 5K FollowingGladysBrooke @jhyy5s3lGtFRryX
62 Followers 2K FollowingNora Walizer @NorWaliz
39 Followers 5K FollowingSalomeWebb @1X4B048fJ0fwYa
49 Followers 2K FollowingAriana Knights @knigh_arian
34 Followers 5K FollowingSuanne Echavez @sua_echav
33 Followers 5K FollowingThi Parquette @ParquetteT42839
50 Followers 5K FollowingSony Pictures @SonyPictures
3.3M Followers 769 Following Celebrating 100 years of Columbia Pictures throughout 2024! #ColumbiaPictures100 🎉 @TarotMovie is exclusively in theaters May 3. Get tickets now.Andrija Novakovic @AndrijaNovakov6
636 Followers 572 Following Cryptography research @__geometrydev__Sony @Sony
6.4M Followers 2K Following The official Twitter for Sony. For all support inquiries: @SonySupportUSA.Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)HPCA @HpcaArchConf
2K Followers 22 Following IEEE International Symposium on High-Performance Computer ArchitectureECOOP’24 Conference @ECOOPconf
1K Followers 116 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24Petr Zapletal @petr_zapletal
2K Followers 1K Following Principal Engineer at @DisneyStreaming; Author of #ThisWeekInScala; Speaker; Blogger; Into Distributed Systems and ML, combined ideally; https://t.co/gyfVZIhQSmSholto Douglas @_sholtodouglas
15K Followers 856 Following Scaling Gemini @Deepmind - working towards intelligence too cheap to meterTzu-Han👩🏻�.. @TzuHanH
2K Followers 1K Following CS PhD student of @TheBorzoo, intern at @MSFTResearch @AWScloud, also a pianist & violinist, formal verification, security, hyperproperties, and🎻🎹🎵🎬🌹🥑☕🥂Kuldeep S. Meel @ksmeel
2K Followers 282 Following Associate Professor of Computer Science at the University of Toronto. On leave from NUS https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AISuguman Bansal @sugumanbansal
870 Followers 276 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSciJohn Wickerson @wicko3
1K Followers 813 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @[email protected].Nikolaj Bjorner @BjornerNikolaj
1K Followers 329 FollowingAnastasia Isychev @izycheva
353 Followers 106 Following postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)Caleb Stanford @calebstanford4
1K Followers 1K Following Assistant Professor at UC Davis. PL + Systems, Coffee, Productive Procrastination. https://t.co/Qqj5b0CPpbAlexandra Silva @alexandra8silva
2K Followers 850 Following Computer scientist, loves traveling and food tasting!Adam Doupé @adamdoupe
5K Followers 1K Following Former DEF CON CTF organizer. Associate Professor @ASU. Web, system, and network security. Loves CTFs. Hacks w/ @shellphish. Hosts @ctfradiooo. Open DMs.Shellphish @shellphish
7K Followers 45 Following Capture the Flag Team from UC Santa Barbara's SECLAB and Arizona State University's SEFCOM. DARPA Cyber Grand Challenge 3rd Place. Phrack author. Let's hack!Jonathan Salwan @JonathanSalwan
8K Followers 228 Following Program analysis, reverse engineering and vulnerability research at @Apple SEAR. Some other stuff on https://t.co/HSelOl7FZCCyberScoop @CyberScoopNews
23K Followers 1K Following CyberScoop, a @ScoopNewsGroup property, reports on news and events impacting technology and security.そのっつ (Naotosh.. @sonots
7K Followers 2K Following ZOZO 執行役員CTO / CRuby, Fluentd コミッタ / 他社技術顧問(クラウドアーキテクト, SRE, MLOps, データ基盤, 組織開発) / ex-DeNA, s1080134すぱぶら (Kazuki .. @superbrothers
4K Followers 2K Following Working at Preferred Networks, Inc. / 技術アドバイザ@Scalar_labs / 『入門Prometheus』『Kubernetesで実践するクラウドネイティブDevOps』監訳 #k8sjp #k8s_at_home https://t.co/XUeCunbRgn🐝 bells17 / べる.. @bells17_
2K Followers 5K Following Software Engineer @3shake_Inc & ex-TopoLVM contributor. Kubernetes/Cloud Native/Golang/Rancher/Storage https://t.co/6dMrUsgx2I #kubenews #k8sinternal 個人の見解.jpShingo Omura ⎈ @everpeace
1K Followers 1K Following Software Engineer. Distributed Systems, #Kubernetes, #Akka, Discrete and Conceptual Math. Previously at @PreferredNetJP and @chatwork_ja. Tweets are my own.Colin Breck @breckcs
2K Followers 682 Following Working on IoT platforms to accelerate the world’s transition to sustainable energy.Conal Elliott @conal
5K Followers 389 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwuIsabelle Prover (Fedi.. @isaprover
483 Followers 0 Following News from the Isabelle prover and the Archive of Formal Proofs (unofficial account) | also available on Fedi https://t.co/fuZsq9Xun5Youyou Cong @yuyuchazuke
625 Followers 263 Following TT (Tenure-Track) assistant professor working on TT (Type Theory) at TT (Tokyo Tech). Mastodon: @[email protected]Journal of Functional.. @CUP_JFP
2K Followers 4 Following Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Journal @CambridgeUP, tweets @kamatsu8Zachary Tatlock @ztatlock
1K Followers 503 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]ISCA @ISCAConfOrg
3K Followers 53 Following The ACM/IEEE International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture.PurPL @purdue_pl
964 Followers 113 Following PurPL is the cross-departmental center for programming languages research at Purdue University.David Thrane Christia.. @d_christiansen
4K Followers 690 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/himStephanie Weirich @fancytypes
3K Followers 382 FollowingSOAP at PLDI '24 @SOAP_Workshop
144 Followers 71 Following The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI.Breakthrough @TheBTI
20K Followers 3K Following Breakthrough Institute is a global research center seeking technological solutions to environmental challenges. Subscribe: https://t.co/plFVR4poOLSuccinct @SuccinctLabs
24K Followers 10 Following Making zero-knowledge proofs accessible to any developer. Hiring: https://t.co/1o2QBjOqPXUma Roy @pumatheuma
5K Followers 572 Following Making ZKPs accessible to any developer @succinctlabs | Hiring https://t.co/MD9jXsNW0XTuringPost @TheTuringPost
62K Followers 16K Following Newsletter exploring AI & ML - Weekly trends - LLM/FM insights - Unicorn spotlights - Global dynamics - History Led by @kseniase_ Elevate your AI game 👇🏼カメラクルー @cameracruuu
2K Followers 16 Following どうも、イヌオです!カメラのレンタル屋しております! 📷 GoProやミラーレスなど最新カメラを業界最安値の格安価格でレンタル! 🚛 往復送料無料・32GB高速SDカード無料レンタル! 🔰 初心者セットに本格ガイドブック付き!KeAi Publishing @KeAiPublishing
5K Followers 506 Following Joint venture of Elsevier and CSPM for the publication of world-class academic journals. Chinese Roots, Global Impact. https://t.co/TxfJVnvl0WAdelbert Chang @adelbertchang
2K Followers 104 Following Living in the end-to-end argument @octoml , accelerating ML model deployments since 2019. 💻📚🍜🏋️♂️My tweets are my own. https://t.co/sirgvN8MXhなべっちゃん @saikyo_nabechan
1K Followers 34 Following サイキョーに美味い究極の鍋、”なべっちゃん” それはすべての鍋食材たちが夢見る最終ゴール そんな、なべっちゃんを目指したり目指さなかったりしつつ食材達が織りなすアツくてゆる〜い日常を描く 毎週火・木・土の週3連載♪※たまにズレます LINEスタンプ販売中!https://t.co/bmQUWwIr7cEl Club del Arte 🎨.. @Arteymas_
1.5M Followers 15 Following “Pintar es auto-descubrirse. Todo buen artista pinta lo que él o ella es” Jackson Pollock.TechCrunch @TechCrunch
10.3M Followers 460 Following Technology news and analysis with a focus on founders and startup teams. Got a tip? https://t.co/J0WxnZxSRYJoe Rogan @joerogan
12.4M Followers 4K Following Stand up comic/mixed martial arts fanatic/psychedelic adventurer Host of The Joe Rogan Experience #FreakParty https://t.co/AZOVBquseuNeon decorations and illuminated lights make the ancient city of Jizhou in Tianjin lively and extraordinary, and the celebration of the Spring Festival continues.
Wolverhampton, St Peter, West Midlands. iPhone snap on way home from work. Surprisingly scenic. #church #medieval #history #wolverhampton
Paul Rudolph notes on bird watching. "To me, the Barcelona Pavilion is Mies' greatest building. It is one of the most human buildings I can think of—a rarity in the twentieth century. It is really fascinating to me to see the tentative nature of the Barcelona Pavilion. I am glad…
Interesting hot take from an expert on the recent AI materials design paper from @Google appeared in @Nature "in my view it should never have got near publication". I do not want to enter in the specific case here, but I notice that we have seen this pattern many times now:…
This exciting paper shows AI design of materials, robotic synthesis. 10s of new compounds in 17 days. But did they? This paper has very serious problems in materials characterisation. In my view it should never have got near publication. Hold on tight let's take a look 😱
I really like this paper. The idea is amazing. I am a bit disappointed that I have not thought about it myself. openreview.net/pdf?id=bOQNd7t…
#fallcolors #Reflections in a #Vancouver lake. I love the fall around here! #ThePhotoHour @admired_art #photog #fujifilm_xseries #photographer #nature #art #getoutside
I consider this chart to be the clearest indictment of our country’s path over the last several decades: In 1980, the U.S. had a typical life expectancy for an affluent country. Today, the U.S. has the lowest life expectancy of any affluent country:
A while ago, I bought "To Live" IKIRU on 4K ULTRA HD but haven't seen it yet. On the remake, they changed to a Scottish folk song but to me the "Gondola Song" fits me. But I notice I don't see many swing in the part here in Japan. The way they use "a park" has changed over times.
1/2 Watched LIVING on the plane. A remake of Akira Kurosawa's masterpiece, "To Live" IKIRU(1952). Directed by Oliver Hermanus, writted by Kazuo Ishiguro. For some reason maybe the low air pressure, I cried hard by watching this film.
If you agree with Yoshua Bengio, Stuart Russell, Yuval Noah Harari and others on pausing training of risky blackbox AI systems more powerful than #GPT4, please join me signing this open letter: @elonmusk futureoflife.org/open-letter/pa…
She spent 3 YEARS on Rikers Island awaiting trial because she couldn't post bail. 3yrs later she was released, never convicted of any crime. Rikers was torture, where she spent months in solitary confinement. This is why we must protect Bail Reform.
Russia Deploys ‘Sky Scanner’ Niobium Radars In Ukraine that can Detect Fighter Jets, UAV, Projectiles Upto 500 Km #skyskanner #radar #Ukraine #Russia #UAV #Fighterjet Story: eurasiantimes.com/russia-deploys…
Kommunen hoppas nu att en tävling ska få fler alingsåsare att välja cykeln till jobbet. bit.ly/3KKawsK
Lekplats, boulebanor, spontanidrott och utegym. Socialdemokraterna vill lyfta Savannen från en ”kortklippt grönyta” så att den lever upp till begreppet stadspark. bit.ly/3KLimT3
The Guqin - a beloved Chinese instrument with a history of more than 3,000 years. For one French music lover, the strings of the Guqin produce a melodic sound like no other. Follow his journey to master this challenging instrument and share its iconic sound with the world.
Chinese scientists have denied accusations that China deliberately withheld key information regarding the origins of COVID-19, and said the latest published study suggested that humans may have introduced the virus to the Huanan seafood market in Wuhan. bit.ly/43wuKxN
"La casta Susana (1885) Óleo sobre lienzo 272 x 200cm Museo Nacional del Prado de Madrid Francisco Maura y Montaner (español,1857 - 1931)
Baihaba Village is located along Haba River, border between China and Kazakhstan. It is one of the most beautiful towns in Xinjiang, China. It maintains ancient traditions, modest customs, a primitive natural environment and original features, much the same as in centuries ago.
Don't listen to me. I don't understand language model fine tuning. I'm merely the 1st author of the paper "Universal Language Model Fine Tuning", which explained 5 years ago how to fine tune universal language models.