Peng Cheng, asking λP2-λC @tribbloid
doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin github.com/tribbloid Toronto, Ontario Joined July 2014-
Tweets1K
-
Followers196
-
Following252
-
Likes6K
who need wind tunnel if we can automate CFD-to-real transfer?
who need wind tunnel if we can automate CFD-to-real transfer?
is it one of the best methods to get a good enough Jacobian accumulation plan in #DeepLearning ? github.com/STCE-at-RWTH/A… if so, why is #Jax not using it, rather than making users to choose between jacfwd and jacrev?
Exciting news! Bren Prof. @AnimaAnandkumar from @Caltech, & fmr Sr Director of AI research @nvidia, is speaking at the Vector Distinguished Lecture Series on May 10! Register now to expand your knowledge and stay at the forefront of AI innovation 👇 vectorinstitute.swoogo.com/vector_disting…
unpopular opinion: all compiler log should look like this
unpopular opinion: all compiler log should look like this
just finished the seminar hosted by @aniervs et al. @ @CohereForAI 🤯all I can say is that differentiable programming is dead, long live functional & axiomatic programming Will gradually post my other impressions here🏗️🧵
just finished the seminar hosted by @aniervs et al. @ @CohereForAI 🤯all I can say is that differentiable programming is dead, long live functional & axiomatic programming Will gradually post my other impressions here🏗️🧵
just started looking into numerical gradient estimation do we now have better sampling algorithms than unscented transforms (as in UKF, by Jeffrey Uhlmann)?
this arXiv article should be a machine-verified library
unpopular opinion: consumer sUAS should use a cell phone chip as THE flight computer @modal_ai has pave the way, now there is even less reason not to do it
We have now posted an expanded version of our Lean Co-pilot paper and updated the code base. arxiv.org/abs/2404.12534 github.com/lean-dojo/Lean… The credit goes to @p_song1 for driving this effort. Our latest experiments show that our co-pilot can automate >80% of the proof steps…
We have now posted an expanded version of our Lean Co-pilot paper and updated the code base. arxiv.org/abs/2404.12534 github.com/lean-dojo/Lean… The credit goes to @p_song1 for driving this effort. Our latest experiments show that our co-pilot can automate >80% of the proof steps…
can numerical ∇ be an IO effect, by sampling around the input (∀-test) and calling the function repeatedly? a mature autograd framework should have a fallback chain of symbolic ~> auto ~> numerical ∇, without numerical ∇ to fallback to it is dead to engineers
can numerical ∇ be an IO effect, by sampling around the input (∀-test) and calling the function repeatedly? a mature autograd framework should have a fallback chain of symbolic ~> auto ~> numerical ∇, without numerical ∇ to fallback to it is dead to engineers
me waiting for NVidia to publish a CFD tool
do we have a cargo command to run published unit tests in ALL dependencies? currently cross-compiling a device driver (github.com/badicsalex/ar-…) for some platforms I never tried before (Raspbian & Windows-on-ARM)
what a fine piece of neo-feudal art
what a fine piece of neo-feudal art
Our community-led ML Theory Group is looking forward to hosting @PetarV_93, Research Scientist at @GoogleDeepMind, next week on Thursday, April 25th for a presentation on "Categorical Deep Learning. An Algebraic Theory of Architectures." Learn more: cohere.com/events/c4ai-Pe…
unpopular opinion: compiler to category theory is block printing to the Bible
💯💯
as a side effect: will Apache Arrow become the new MAVLink? OR, will MAVLink evolve to have shared-memory bypassing? @drlorenzmeier
as a side effect: will Apache Arrow become the new MAVLink? OR, will MAVLink evolve to have shared-memory bypassing? @drlorenzmeier
Excited to share my Scala implementation of the LLM training framework, inspired by @karpathy llm.c project! 🙌 GitHub: github.com/wassemgtk/llm.… #Scala #LLM
@PaulSkallas Recently renewed my Polish passport and spent a few months there last year. Can't wait to go back, but not looking forward to paying Booking or AirBnB. How would you recommend someone who is a novice at Polish find an apartment in Warsaw?
Tearnirs @TearnirsYp9
1 Followers 234 FollowingGalina Tuason @GalinaTuaso
18 Followers 3K FollowingDaniel (Lobão) Figue.. @lobaorn
371 Followers 2K Following Backend Engineer @ Trustly | Modern Java ☕ Spring Framework 🍃 | AWS Certified ☁️ Scrum Certified 🎯parshant @parshantdeep
961 Followers 650 Following founder @omegalabsai @wombo math physics @uwaterlooCeciliaNicol @xAggl26IWRL1oBw
0 Followers 275 FollowingEdward Z. Yang @ezyang
10K Followers 973 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Wen Bolevice @bolevice55863
80 Followers 5K FollowingLise Stucke @stuc_lis
32 Followers 5K FollowingAmyWesley @yLd7A144a9G9G
1 Followers 256 FollowingAceAttAckK @AceAttAckK
7 Followers 2K FollowingNeyssouth @Neyssouth_OyRd
1 Followers 219 FollowingKosethen @kosethen53663
23 Followers 377 Following Nice to meet you. My hobbies are reading, food and sports. I like cats😘 I like to meet new friends while traveling🎉🎉🎉leithaus @leithaus
2K Followers 4K Following Founder of RChain Cooperative. Inventor of rho-calculus. Mathematics is an art. (ze/zer)Darren Wilkinson @darrenjw
2K Followers 500 Following Professor of Statistics, Bayesian, computational systems biologist and functional programmer, @[email protected]Simon V @Simon_Vt
46 Followers 81 FollowingSandy Vanderbleek @haskellandchill
711 Followers 5K Following Software engineer turned premed student. Interested in medical devices and AI.Tallulah Pockrus @t_tallu
74 Followers 5K FollowingHonor Hummert @humme_ho
11 Followers 3K FollowingChanning Walton @channingwalton
3K Followers 3K Following Software developer. Scala Unison https://t.co/ckGOJHeAek https://t.co/1Ze2nmfl4A @[email protected]Jaunita Goff @JauniGoff
48 Followers 5K FollowingJess Portee @jes_por
47 Followers 5K FollowingElsie-rose Brumlow @RoseElsie23004
97 Followers 5K FollowingClarinda Agbayani @AgbayaClari
77 Followers 5K Followingtloc @anisotropic42
197 Followers 2K FollowingArcturus 🌥️ 🦇.. @Arcturus_f
661 Followers 3K Following Follow the arc @dClimateDAO 🌥️ @KERNEL0x #kb3 fellow #YFI ~lighut-sarpenLisha Touhy @LishaTou
11 Followers 3K FollowingJacqulyn Kelsie @KelsieJacq93650
86 Followers 1K Following Challenge to increase the number of fans by more than 1,000 within one month.James @guysujeto
268 Followers 4K FollowingTara Sha @TaraSha180160
18 Followers 3K Followingahoy-jon - agile Scal.. @ahoy_jon
1K Followers 1K Following Data Eng Manager, Orga at https://t.co/xGtPJ4Q7on / Scala-FR, Scala AmbassadorJacek Modrakowski @jacek_beny
506 Followers 3K Following Scala Developer at https://t.co/kjFhocBi2k, Astrophotography at https://t.co/0HfwcA6mQDLuna @ChanChic168292
2 Followers 799 FollowingAI Money Snacks @aimoneysnacks
3 Followers 136 Following Your Key to AI Success: Stay Informed, Stay Profitable - Subscribe Today!BambiPefferkorn @BPefferkor87873
85 Followers 2K FollowingReev @JasonMo77283818
43 Followers 588 Following Entrepreneur Spacex | CEO & CTO | Tesla. CEO and Product architect j= | Hyperloop Founder | OpenAl Co-founder Build A 7-fig IG business Entrepreneur Spacex | CENatasha Butt @NatashaEve4
158 Followers 146 Following Machine learning PhD student @quvalab @AmlabUvaBernhard Schölkopf @bschoelkopf
14K Followers 60 FollowingDarren Wilkinson @darrenjw
2K Followers 500 Following Professor of Statistics, Bayesian, computational systems biologist and functional programmer, @[email protected]ModalAI @modal_ai
1K Followers 155 Following Accelerating autonomy by building #BlueUAS compact, light-weight, and powerful robotic & drone perception, communication & control systems 🚀🤖 #PoweredbyVOXLColin Gordon of Masto.. @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]Paul Wilson @statusfailed
384 Followers 445 FollowingSteve Mann @Hydraulist
3K Followers 749 Following Stanford/UofT Prof; graduated MIT 1997; inventor of HDR, smartwatch, wearables, https://t.co/e2WJtkXD5t, hydraulophone. Co-founder https://t.co/0TiGgkkrrT = https://t.co/639eqDIQ5dBraden Ream @ReamBraden
5K Followers 2K Following CEO @VoiceflowHQ // The collaborative platform to build AI Agents. 🇨🇦/accPolymath Robotics �.. @PolymathRobots
557 Followers 13 Following Making it radically simple to automate any off-highway vehicle.Prusa3D @Prusa3D
52K Followers 55 Following Czech company founded by Josef Prusa making the award-winning open source desktop 3D printers.indigo @indigoengine
395 Followers 7 Following Official account for Indigo, a Scala game engine, and Tyrian an Elm inspired web framework. 💜 https://t.co/Ra4bcEYgDUTim Clicks @timClicks
22K Followers 3K Following On the planet to build a better planet. Software person, kind of into Rust and creative coding. Author of Rust in Action (https://t.co/qgWenxBkeP).Hao Liu @haoliuhl
4K Followers 156 Following phd student @berkeley_ai https://t.co/ZNJawlrerS machine learning, neural networks.William Brandon @exists_forall
579 Followers 1K Following he/him • Trying to become compute-bound • PhD student at MIT CSAIL • Prev: CS & Math at UC Berkeley; ML Compilers at NVIDIA • Opinions my ownAaron Erickson @AaronErickson
4K Followers 3K Following Sr. Engineering Manager at @NVIDIA building autonomous observability agents. Views are mine, not of employer. ex-New Relic/Salesforce/ThoughtWorksJamie Thompson @bishabosha
624 Followers 576 Following Professional fun haver. Compiler Engineer at the Scala Center.Richard Abrich @abrichr
140 Followers 293 Following ML consultant. @Mila_Quebec accepted & deferred. Building @OpenAdaptAI to automate tasks in desktop apps by observing human demonstrations.Jiemin Fang @JaminFong
137 Followers 167 Following Researcher at Huawei, working on 3d generation, neural rendering, efficient deep learning, and AutoML.Flsun @Flsun_official
442 Followers 12 Following FIsun specializes in Delta and is the leader in Ultra-high speed 3d printing.Kosta Derpanis @CSProfKGD
48K Followers 198 Following #CS Associate Prof @YorkUniversity, #ComputerVision Scientist Samsung #AI, @VectorInst Faculty Affiliate, TPAMI AE, #CVPR2024/#ECCV2024 Publicity Co-chairAndrea Tagliasacchi �.. @taiyasaki
12K Followers 165 Following Associate Professor @ SFU (Research Chair), Research Scientist @ Google DeepMind, Associate Professor (status only) @ UofT. Opinions are my own.Nicolas @NicolasStucki
2 Followers 1 FollowingEdward Kmett⏏️ @kmett
14K Followers 777 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMMagic.dev @magicailabs
10K Followers 3 Following Magic is working on frontier-scale code models to build a coworker, not just a copilot. Come join us: https://t.co/hGZKtUzsR3Philip Rowse @ProfiCNC
336 Followers 119 FollowingJulien Perrochet @0xTelegraph
390 Followers 744 Following ⚙️Runs https://t.co/hpDuJqA6x0 ✏️Draws https://t.co/8WdzSEMDUL ❤️Polyglot projects #bazel #scala 🎓@EPFL'13Chris Anderson @chr1sa
182K Followers 2K Following Occupy the skies. @chr1sa2 on Threads Photo by @chrismichelYash Nagwekar @YashNagwekar03
1 Followers 5 FollowingJakob Odersky @jodersky
212 Followers 77 FollowingVirtusLab @VirtusLab
2K Followers 341 Following We believe modern business relies on #software. Through our services & #technology, we help the customer achieve more with software – faster.justinhj @justinhj
2K Followers 3K Following Software engineer and team lead working in marketing technology, former game developer. I❤️🇨🇦and🐦⬛. Interests: AI,Neovim,Emacs,C++,Typescipt,Cloud ComputingYuhuai (Tony) Wu @Yuhu_ai_
23K Followers 411 Following Co-Founder @xAI. Minerva, STaR, AlphaGeometry, AlphaStar, Autoformalization, Memorizing transformer.Toronto Apache Spark @torapachespark
438 Followers 1 Following Toronto Apache Spark meetup - focused on big data and primarily on Apache Spark and its ecosystem.Alvin Cheung @alvinkcheung
2K Followers 294 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDSAdam Fraser @adamfraser
2K Followers 57 FollowingNan Jiang @nanjiang_cs
7K Followers 72 Following machine learning researcher, with focus on reinforcement learning. asst prof @ uiuc cs. Course on RL theory (w/ videos): https://t.co/vqVKwY4RJENingning Xie @xnningxie
4K Followers 314 Following Having fun with types! @UofTCompSci @GoogleDeepMindMoa Johansson @BaraMoa
287 Followers 328 Following Associate professor (docent) at @chalmersuniv. Eclectic applications of AI in politics, sports, maths… etcSambaNova Systems @SambaNovaAI
4K Followers 717 Following We bring #AI innovations developed in advanced research to organizations around the world. Sign up for updates to stay ahead of AI: https://t.co/bGeeh5JSt0Guannan Wei @GuannanWei
1K Followers 975 Following Postdoc; PhD in programming languages @PurdueCS / previously @galois @SambaNovaAI @UUtah / Mastodon [email protected] / I’m on the job market!Tiark Rompf @tiarkrompf
2K Followers 541 Following Purdue University (We're hiring! grad students, post-docs, faculty)John Langford @JohnCLangford
9K Followers 35 Following Solving Machine Learning at Microsoft in New York. https://t.co/ZpdQV4IsHY pandemic past president. https://t.co/MkluiHpWF7 makes RL real. https://t.co/wK8xQaQGwf for thinking out loud.Yuandong Tian ✈️ .. @tydsh
17K Followers 808 Following Research Scientist and Senior Manager in Meta AI (FAIR). AI-guided Optimization and Representation Learning. Novelist in spare time. PhD in @CMU_Robotics.This timelapse sequence shows how critical naval and aviation parts like a 900 mm diameter three-blade propeller or an aerospace propeller tank are 3D printed in stainless steel [📹 Meltio]
@welltypedwitch anything that compiles to webassembly (Grain, F#)
Starting to update the examples for High Performance Spark 2e to Spark 4 :)
@pronounced_kyle Surely bring them in as two states (French and English), not one?
That's SHITposting of the highest standards.
@tsoding By making poop method take a Toilet you create a coupling that doesn't always exist in reality. This could be solved by making Toilet an interface and then implementing it for Floor or Bed however.
A casual reminder that Visegrad24 is run by Polish far right. They will post a dozen of tweets about supporting Ukraine, and then this bs.
Germany: Christian schoolchildren are converting to Islam out of fear & desperation to fit in since migrant influx, per new survey. 67.8% of students believe the Koran is 'more important' than the laws in Germany. 45.6% think that 'Islamic Theocracy is the best form of…
I apologize for not explaining B-splines very well in the KAN paper, will aim to make the definitions more explicit in an updated version. Here’s a really nice writeup on the potential research questions for KANs, including key technicalities used in the paper.
*Kolmogorov-Arnold Networks (KANs)* by @ZimingLiu11 et al. Since everyone is talking about KANs, I wrote some notes on Notion with a few research questions I find interesting. First time I do something like this, give me some feedback. 🙃 sscardapane.notion.site/Kolmogorov-Arn…
This gaming station built with a Kuka industrial robot [📹 roboenter. com]
This is an extremely interesting + valuable use case for LLMs: automatically creating reward functions. It's something they're well suited for, since easily-verifiable code synthesis in simulation is pretty much the ideal task for LLMs. And I love the increasingly weird robot…
Introducing DrEureka🎓, our latest effort pushing the frontier of robot learning using LLMs! DrEureka uses LLMs to automatically design reward functions and tune physics parameters to enable sim-to-real robot learning. DrEureka can propose effective sim-to-real configurations…
@cafreeland As a homeowner thanks for putting more money into the hands of first time buyers to keep the market cooking.
@heyblake @OpenAdaptAI learns to automate tasks in desktop apps by observing human demonstrations.
We trained a robot dog to balance and walk on top of a yoga ball purely in simulation, and then transfer zero-shot to the real world. No fine-tuning. Just works. I’m excited to announce DrEureka, an LLM agent that writes code to train robot skills in simulation, and writes more…
While preparing demo examples for the documentation we encountered an error that must be attended to. Sorry for the delay. I'll update with a new post once the release is ready.
Today is the day! First release of DFiant HDL (DFHDL) 🚀 It takes us some time, so we'll be extending to May 2nd, Anywhere On Earth 😉 Here is a little teaser of our updated documentation.
“I don’t give a shit about AGI. I want this technology to deliver on the promise it has made. And it has not.” —Nick Frosst, @cohere co-founder