-
Tweets47
-
Followers133
-
Following2K
-
Likes127
@charliermarsh x.com/jsmorph/status…
@DimitrisPapail As an experiment, I've banned words and phrases like "load bearing", "smoke test", "wire in", "landed", "shape", and "guardrails" in favor of specific, clear, and plain alternatives. I think I see the LLMs generating better code and technical work as a result. Dunno.
@DimitrisPapail As an experiment, I've banned words and phrases like "load bearing", "smoke test", "wire in", "landed", "shape", and "guardrails" in favor of specific, clear, and plain alternatives. I think I see the LLMs generating better code and technical work as a result. Dunno.
Proposal: Any AI company that is earnest about "helping mathematicians" (rather than parading the intelligence of its models) should work on making a high quality AI referee service available to journals. Current peer review in mathematics is laughably slow, and accelerating that with AI would be easier and more helpful than autonomously proving the kind of random results we've seen so far, with the notable exception of the Unit Distance Conjecture.
Dear people at @OpenAI. Could you add a toggle to run memory off easily in an individual chat? Sometimes I need a response not polluted by my previous conversations.
1/n Today I am releasing Lean Pool - the result of 100+ human hours and 1000+ agent hours. Lean Pool is a repo for preserving substantial sorry-free formalizations that are valuable but do not fit naturally into mathlib’s scope.
@thsottiaux @AnthonyBerlin x.com/jsmorph/status…
@OpenAI is it just me, or is Codex CLI broken? CC: @thsottiaux
@OpenAI is it just me, or is Codex CLI broken? CC: @thsottiaux
@skominers Here's a start at verified adjudication procedures in the style and setting of general-purpose software. agentcourt.ai/adc/analysis/l…
@nasqret Maybe even verified arguments! agentcourt.ai/adc/analysis/l…
@UMAprotocol How is your automated resolution project going?
@chr1sa @davidliuxyz When will AI be competent at this sort of task? Unrelated but cool: modelrift.com/blog/openscad-…
@LatinumAI Where's the code? Is the compiler written in Lean?
@sama Using 5.5 xhigh to develop engines in @leanprover is a big deal for me. Not really effective previously. Example results: agentcourt.ai/adc/analysis/i…
"You can’t just leave arbitration up to AI. It will never give participants the due process they expect or deserve." Why is that? For due process, checkout out agentcourt.ai/adc/overview.h… as an example. It's got a pretty good chunk of the US Rules For Civil Procedure for litigation. The engine is verified with Lean, and the execution can be attested. Here's a simpler arbitration procedure: agentcourt.ai/arb/index. Some examples of that arbitration applied to prediction market resolution: agentcourt.ai/arb/examples/i…. A complete example will all artifacts (including transcripts): github.com/mrmarvinclaw/0…. If there are millions of markets to resolve, we might want principled automated procedures to resolve at least some of them.
Me being a curmudgeon and clinging to a "prescriptive" perspective, which I think follows Garner's Modern English Usage and Fowler's A Dictionary of Modern English Usage. The verb "to advocate" is transitive according to this old-fashioned view. @paulg might back up here on this critical point for our lives today. Discussion: pen4rent.com/advocate-vs-ad… and archive.nytimes.com/afterdeadline.… and grammarphobia.com/blog/2011/06/a… As you can imagine, I'm fun at parties.
@trueo_ Agent-driven dispute resolution docs at agentcourt.ai/arb/index
Nancy P @Gerek1535012
14 Followers 689 Following living softly, screaming internally 💗 follow back always
Pierre Glaser @PierreGlaser
352 Followers 724 Following ML PhD Student in the UCL Gatsby Unit working on kernel methods and generative models.
Cammelia noir @taylorguinn420
39 Followers 1K Following living in my head, visiting reality sometimes 🧚 follow back
cammy last warning @cmgchef
51 Followers 2K Following emotional support human with playlists 💖 follow back always
Pah Stey @pahstey
0 Followers 1K Following
Daniella @Daniellarwdb1
0 Followers 81 Following am Dave Johnson the winner of $298.3 million from powerball lottery. I am given out $15,000 to my first 2k followers
clairre18 @Michael95410344
3 Followers 288 Following Small girl, endless dreams, sometimes lonely heart 🌠
Doge Father🚀🇺�... @dogefather073
331 Followers 5K Following
epistematics @epistematics_ai
0 Followers 2 Following
Elon Private 🆇 @ElonPrivat550
59 Followers 3K Following 🚀I SpaceX CEO & CTO 🚘I Tesla CEO & Creator 📊l Angel investor📈 👽I Occupy MARS🌒 🌏I Multiplanet |Personal interactive account⚡️
WΞNDΞL @_wrbr
2K Followers 2K Following
Reina Yoshida Ging da... @gingdaa00
2K Followers 6K Following The only thing you can be is only you ❤️ Every good thing works by grace, not by luck. . 私は2人の孫を持つ日本人であることを誇りに思っています
Vania Chow @vania_chow
93 Followers 983 Following CS (AI) @ Stanford | Research @Stanford_GSB (https://t.co/NSoXlCbvYD)
Wicahpi Isnala @WicahpiI63808
0 Followers 210 Following
MysticLilyClark @Kleraxoom31294
24 Followers 2K Following Living life on my own terms Making magic happen
GoddessAmeliaCarter @Eanoujoo532822
19 Followers 2K Following Work hard play harder Finding joy in the little things
Selene Castiglione @Keadir129495
5 Followers 458 Following
Platwen @Platwen661
31 Followers 984 Following
SmartGuard @Gurau67428
50 Followers 776 Following
Nersio @Nersio5d1QxH
42 Followers 4K Following
Theteau @Theteau7vD71
48 Followers 5K Following
Kumar Garg @KumarAGarg
38K Followers 41K Following 8 yrs @WHOSTP44, 7 yrs with @EricSchmidt, now leading @RenPhilanthropy. https://t.co/ftaXIKFiAb
Thitheighth @ThitheighthSvs
40 Followers 4K Following
Nexue @Nexuej11aV
48 Followers 4K Following
SetllaWill @si92Yq528JpD43g
65 Followers 7K Following
Smeaush @SmeaushDcroCyL
40 Followers 3K Following
Dooshel @DooshelB0R
34 Followers 3K Following
sontusjatavi @sontusjata74706
0 Followers 15 Following They always accompany him at all things have half a continued thing not nice.
ikhsan wahyu Ribowo.e... @ikhsan3884
1 Followers 40 Following
trionaozgulz @trionaozgu99465
1 Followers 22 Following For since then now to always had in himself in consternation that man and.
DoloresLocke @qowDVhn2SyV07
33 Followers 3K Following
LynnMorse @Wp2hfU1wHfI8x
67 Followers 7K Following
Thooleaud @thooleaud83590
98 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Shasequee @shasequee32804
60 Followers 5K Following
Kevin Hartnett @KSHartnett
5K Followers 347 Following Editorial @cursor_ai. Author, The Proof in the Code, June 9 from @quantabks and @fsgbooks. Preorders: https://t.co/xw3hiBHmLv https://t.co/jqLWp4GA2Y
metals.io @metalsofficial
89K Followers 13 Following A new way to invest in metals. Buy, own & trade gold, uranium, rare-earth metals & more in one place. Powered by @Tezos, @ArchaxEx, and project partners
Feyza Haskaraman @FHaskaraman
1K Followers 466 Following Legal alien working in VC @Felicis previously @insightpartners @Mckinsey. Mens et manus @MIT. Morning and coffee person.
Gena @GenaTheCroco
1K Followers 283 Following 💚Kalshi trader, influencer, crisis actor, cryptohater, former fund manager and Market Wolves first in command.
Markus J. Buehler @ProfBuehlerMIT
20K Followers 2K Following McAfee Professor of Engineering @MIT; Co-Founder & CTO at Unreasonable Labs; AI-Driven Scientific Discovery
Violet Peng @VioletNPeng
8K Followers 557 Following Associated Professor@UCLA-CS. Research NLP, AI creativity, controllable generation, model evaluation, computational journalism, event. (she/her/hers)
Josh Lehman @jlehman_
3K Followers 1K Following Current: Partner @ Martian Engineering | @openclaw maintainer Formerly: ED @urbitfoundation | CTO @starcity (YC S16)
Kairos @KairosTradeX
8K Followers 26 Following The Most Performant Prediction Market Trading Terminal. Backed by @a16zcrypto, @genevatrading Private Beta Live.
Jay Malavia @thejay
2K Followers 636 Following CEO @KairosTradeX prev @NASA, @GenevaTrading, @CBOE here for kairos users dm
good @thenarrator
101K Followers 3K Following prediction markets, perps and brain dumping / research @schemacap, experimenting with @longshotfun
Andrew Curran @AndrewCurran_
53K Followers 18K Following 🏰 - I write about AI, mostly. Expect some strange sights.
Kenneth Cassel @KennethCassel
39K Followers 7K Following making complex metal assemblies for fast moving companies | Founder at RMFG
0xDinosaur @0xDinoCrypto
714 Followers 160 Following
Henry Shevlin @dioscuri
34K Followers 9K Following Philosopher & AI Ethicist @GoogleDeepMind · @LeverhulmeCFI @Cambridge_Uni | Consciousness, Machine Minds, AGI, Human-AI Relationships | All views my own
Scott Kominers @skominers
30K Followers 11K Following Market Design/Entrepreneurship Professor @HarvardHBS & Faculty Affiliate @Harvard Economics; Research @a16zcrypto; Editor @restatjournal; Econ @Quora; … | #QED
Jeff Dorman @jdorman81
48K Followers 2K Following CIO @arca - digital assets investing | Former COO of Harvest Exchange | Former Lehman, Merrill, Citadel | Huge Cleveland Sports Fan | CFA charterholder
Turing @turingcom
16K Followers 2K Following Our mission is to accelerate superintelligence to drive real economic progress.
Jason Boehmig @jboehmig
4K Followers 876 Following Founder & exec chair at Ironclad, Inc., building business contracts for the digital age.
Sathya @sathyanellore
843 Followers 591 Following Investing in outlier founders building in AI; Ex-Founder (Last startup backed by MongoDB)
Siddharth Ram @siddharth_ram
3K Followers 1K Following Curating @fv_summit | VP at @boldcapfund AI Fund| Enabling Filmmakers with @itihasac | Ex- EIR at @accel_India and Growth at @0xpolygon
Pramaana Labs @PramaanaLabs
138 Followers 102 Following Building the verification layer of AI for accelerated trust and super-intelligence.
Matthew Botvinick @mattbotvinick
2K Followers 113 Following Leading work on AI and Rule of Law @AnthropicAI Resident Fellow @YaleLawSch 𝘈𝘐 & 𝘗𝘰𝘭𝘪𝘵𝘪𝘤𝘢𝘭 𝘍𝘳𝘦𝘦𝘥𝘰𝘮, forthcoming @PrincetonUPress
Radical Ventures @radicalvcfund
5K Followers 227 Following Venture Capital fund focused on Artificial Intelligence and deep tech. Offices in Toronto and San Francisco, and partners in London and New York.
Michael Rabinovich @MikushRab
1K Followers 97 Following AI4Engineering @HuggingFace🤗 3D geometry processing, simulation, and AI.
Romain Huet @romainhuet
50K Followers 9K Following Head of Developer Experience @OpenAI, working on Codex and our API. Previously @Stripe. You can just build things!
corey.ching @coreyching
4K Followers 336 Following Developer Experience, Plugins, Codex @OpenAI - prev. SWE @Stripe - Mobile Web @Google
Charlie Guo @charlierguo
6K Followers 797 Following Developer Experience @OpenAI. Author of Artificial Ignorance, opinions are my own.
Pushmeet Kohli @pushmeet
26K Followers 84 Following Chief Scientist, Google Cloud. VP, DeepMind. AI for transformative impact. (Alpha)Fold, Genome, Evolve, Earth, Proof, Co-Scientist, SynthID...
tsybka @tsybka
7K Followers 785 Following Veni, vidi, vici on Polymarket 📈Top 0.001% trader | PNL +$250k 💬Join: https://t.co/MuJuSQo8ZH / https://t.co/3HK8FwIQwH
Thomas Dimson @turtlesoupy
7K Followers 683 Following Ex-MTS @OpenAI. Former CEO @illdotinc (acq. OpenAI). Authored “the algorithm” @Instagram. 🇨🇦. Purple monkey dishwasher.
David Turturean @DavidTurturean
966 Followers 1K Following Physics & AI @ MIT. Hibernating for AGI Spring
Tony Feng @tonylfeng
709 Followers 5 Following
Deedy @deedydas
244K Followers 6K Following Partner at Menlo Ventures. ex-founding Glean, Google Search. Cornell CS. Investor Anthropic, OpenRouter, Modal, Wispr Flow, Inception, Prime Intellect
Max Zeff @ZeffMax
8K Followers 2K Following Senior Writer covering AI @WIRED, author of the Model Behavior newsletter | Formerly @TechCrunch, @Gizmodo, @markets | DM me off the record on Signal @ mzeff.88
Nick Turley @nickaturley
29K Followers 924 Following
Nick @nickbaumann_
17K Followers 331 Following codex @openAI | prev @cline | product of @UWMadison 🦡
Natesh Pillai @Bayesprof
707 Followers 534 Following AI + Math. Professor of Statistics @Harvard, Distinguished Engineer at LinkedIn. Scientist, Entrepreneur. Chess & Desserts fanatic. Grew up in Kerala.
Andrew Courtney @andrewcourt1
4K Followers 1K Following Former derivatives trader and GJP superforecaster, writing about prediction market inefficiencies & trading strategy. House Dad. Co-founder @kalshinomicsYou might like
