Mihai Chirculescu @m_chirculescu
You can just do things. DMs open. github.com/Mihaiii Joined November 2020-
Tweets2K
-
Followers572
-
Following586
-
Likes8K
The latest article in my ACM Queue series on Automind/Universalis for verifiable safe agentic programming. The unwritten conclusion from this last paper is that design by contract pre/post-conditions are no silver bullet. Instead, for safety, we need something to reason about…
The latest article in my ACM Queue series on Automind/Universalis for verifiable safe agentic programming. The unwritten conclusion from this last paper is that design by contract pre/post-conditions are no silver bullet. Instead, for safety, we need something to reason about…
so... this is my first app teaser hope you like it and sign up for the waitlist at theadhdcopilot dot com
My friend’s hiring a software developer - fully remote, european timezone. Greenfield project. Must have experience with AI tools & building MVPs. JD: drive.google.com/file/d/1Ie1uao… Contact: linkedin.com/in/floriandami…
A new version of Ovis was released 🤩🤩🤩
A new version of Ovis was released 🤩🤩🤩
Programming has already changed, anon. You just haven’t been paying full attention.
Programming has already changed, anon. You just haven’t been paying full attention.
That sounds great and I'm hyped. But why not release version 1 now, and version 2 later? It's been four months and there's still no new open-source model. Frankly, this just feels like stalling.
That sounds great and I'm hyped. But why not release version 1 now, and version 2 later? It's been four months and there's still no new open-source model. Frankly, this just feels like stalling.
There's also ms-swift, which is surprisingly easy to use. For some reason, it's unknown to "westerners" :) github.com/modelscope/ms-…
There's also ms-swift, which is surprisingly easy to use. For some reason, it's unknown to "westerners" :) github.com/modelscope/ms-…
homecooked finetuning tastes better
Apparently, books like "Drive" or "Zero to One" are meant to be skimmed first and only then, if you really feel you need to, read word by word. Is this common knowledge in the U.S.?
🤔🤔🤔🤔OpenAI could easily add a line of code to replace em dashes, but they want to know which text not to train on in the future. 🤔🤔🤔🤔
Mobile devs, what's the equivalent of a hotkey on mobile? @grok says swipe gesture patterns as 'hotkeys' aren't supported on iOS :/ So how do you trigger actions on mobile similarly to how AutoHotKey or AutoIt works on Windows?
My hot take is that it's so much harder to become an indie hacker now than it was a few years ago. That window of opportunity has passed. You're better off deep learning what you believe will still be relevant in the future (in my case, that's the llama.cpp codebase).
My hot take is that it's so much harder to become an indie hacker now than it was a few years ago. That window of opportunity has passed. You're better off deep learning what you believe will still be relevant in the future (in my case, that's the llama.cpp codebase).
Why Singapore Elects the Losers of its Elections nebula.tv/videos/polymat…
A coding agent that slows down while coding and live streams the code it changes and explains why via audio.
Writing software has really changed. On that note, there should be an app with a UX where the tool does NOT immediately execute commands, but instead asks the user things like, 'What about security? Doing X would cause Y', or 'Wouldn't this conflict with your other request?'
I love @OpenRouterAI's concept and what they are building, but it grew too quickly, and I won't use it anymore in my future projects. I encounter issues too frequently, and there’s no paid support available. It’s just not production-ready. 👎
Play it now! It's so fxxking fun! 🐷
Play it now! It's so fxxking fun! 🐷
Ellis @elliscrosby
9K Followers 2K Following Building https://t.co/29tsAPb0rz - using AI to get kids to read more 📚
SAINT JOHNSON FAMILY�... @benevolencedave
351 Followers 4K Following I’m Dave Johnson I’m giving out $30,000 to some lucky followers. No DM i will choose you myself
Riley Walton @riley_walton_
1K Followers 2K Following Helping tech innovators boost pipeline with strategic messaging and sales outreach
Sam @samcmkt
1K Followers 2K Following Building https://t.co/f76OIKnz0F 20, trying to break boundaries.
Simone @HeaneyDewa24993
60 Followers 3K Following
Pabitra Jana @Pabitra007jana
38 Followers 170 Following Software Engineer (AI & ML) | Python, React, PostgreSQL, AI/ML, GIS( Geospatial ) |Cleared Japanese N4 level | Previous Research Intern @CPR_India
Bianca @6f93NlhuA5uYIM
46 Followers 1K Following Cat lover 🐱 | Nature explorer 🌲 | Adventure seeker 🌍
Arely Beier @BeierArely43366
98 Followers 4K Following
Sarah Marshall @sarah_29066
159 Followers 6K Following
yikes (:D/acc) @yikesawjeez
3K Followers 1K Following sees sharks, jumps. a generalist agent. agent chop shop, erry weds. https://t.co/TTvHYmRVtE @zos_sfm, @latentspacepod @tribecodeai fmr: @swellnetworkio, @elizaos
Chris Covington @_ChrisCovington
1K Followers 396 Following AGI @ https://t.co/1dU8ygVQpm | agentic: https://t.co/XQ14iCwk4Q
DataDrivenDive @DataDrivenDive
344 Followers 1K Following FPL player, family man, data enthusiast 📊 2x top 50k, 3x top 100k, 6x top 250k in 6 seasons Best rank: 122 (22/23) 🏆 Discussing FPL insights & strategies ⚽📈
secemp @secemp9
4K Followers 2K Following 🧠 researcher • 💻 swe • 💾 data scraper • 🌌 universe's jester • Author of TraceBack • grooving @hud_evals
brock @brockjelmore
18K Followers 863 Following applied mech interp @concordanceai, venture partner @nascent
trent e @_trente_
9K Followers 3K Following Building inference mods @concordanceai former @______jpg______ @yamfinance and misc defi things
Hertha Turner @HerthaT46958
46 Followers 2K Following
Xu Zu @XuBing36614469
30 Followers 462 Following
Jhon Hana @D6dE0KYvyCatL2s
212 Followers 5K Following Feeling a bit lost today, but I know the path will reveal itself.
Jalina @JALINAMAGA
778 Followers 941 Following Entrepreneurs Feel with your heart Food Yoga Travel Reading Pets 🥩🍤🍮☕️🍰🍝🍳🍓🍒🍌🍑🥭🥗🍦⚽️⛷🧘♀️🎬🎼🚗🚁🏝
Afsana Karimova @aafsanakarimova
22 Followers 57 Following Google SWE, passionate about code, fitness and learning ☕📚🍕
JennyChaplin @gJ1HIk509VzVW
92 Followers 3K Following
Eliza Dragomir @LizzDrago
27 Followers 165 Following VC @JetBlueVentures | Romanian in San Francisco 🇷🇴
Andrei Mari @aandreimari
76 Followers 993 Following
Erica Steven @Erica_Steven1
11 Followers 251 Following Elon Musk's right hand. Innovator, strategist, and problem-solver. Passionate about tech, space, and sustainability
Jorge Luis @sosgwesheni
262 Followers 5K Following Protecting @elonmusk online presence from impersonators is my top priority, leveraging my cybercrime expertise to safeguard his digital identity
Daka @ndakic8
42 Followers 51 Following Sr. Software/AI Engineer Building AI-Driven SaaS Products Founder of 🦦 https://t.co/f2ZZWJzejX & ✏️ https://t.co/RuGKMO53D5
Philipp Cannons @pcannons
327 Followers 899 Following interests: AI research & entrepreneurship (engineering/product)
Mike Piccolo @mfpiccolo
6K Followers 1K Following Founder of @motiadev Co-founder and board member of https://t.co/imPpSoUwQW
A T @iDramedy
330 Followers 6K Following
Anicet @AniC_dev
1K Followers 795 Following collaborative ai programming (https://t.co/Ra7FEJg3VT) w/ @luaroncrew prev: hunting black holes @esa & early text 2 CAD @katalyst_labs dude with a hat no time for VCs
Manisha @manisha_12211
117 Followers 423 Following ♉️ 🌻🌟 Crafting a life I love 🎧 Soundtrack of success 🔥 Passionate about the climb 🚀 Always reaching new heights
बृजेश प�... @brjesa12557
1K Followers 2K Following पोस्ट रामनगर, तहसील मऊ, थाना रैपुरा, ज़िला चित्रकूट उत्तर प्रदेश
𝘽𝙞𝙡𝙡 @Bill_2140
5K Followers 4K Following ∴/code • 💻 R&D Lead • 🎮 HS:BGs Strategist (Top 1000 Global) • Buying time • Caffeinated thoughts 24/7
Daniel Katz 🇺🇸 @_katzdaniel
225 Followers 858 Following soph @dartmouth; acquired founder; recovering poker grinder
Nate Yiu @nate_yiu
492 Followers 654 Following Applied AI consultant. Ops chaos → reliable AI systems → SaaS. Sharing case studies | build notes | wins & losses.
Alexandru Fartade �... @KullAxel
2K Followers 1K Following Intelligence is the ability to avoid doing work, yet getting the work done. - Linus
jose Ruiz @joru1000
438 Followers 5K Following C-level Technology lead, strongly focused on Generative AI. Researching on practical production use cases across the Enterprise (yes... as everybody else)
Ellis @elliscrosby
9K Followers 2K Following Building https://t.co/29tsAPb0rz - using AI to get kids to read more 📚
Sam @samcmkt
1K Followers 2K Following Building https://t.co/f76OIKnz0F 20, trying to break boundaries.
edgeAI @edgeAIapp
28K Followers 653 Following Developing a game-changing tennis app. Live MTO's, Track Big Bets, Odds Drops, Rain Delays, Injuries, Updates. Built for tennis fans/bettors. App not out yet⏳
Marcel Pociot 🧪 @marcelpociot
67K Followers 856 Following Building https://t.co/JvEOgCz8Dl, https://t.co/HbdEOha0kX, https://t.co/vuTdNhyRXo, NativePHP, and other tools for devs. Follow my product dev journey. CTO at @beyondcode
yikes (:D/acc) @yikesawjeez
3K Followers 1K Following sees sharks, jumps. a generalist agent. agent chop shop, erry weds. https://t.co/TTvHYmRVtE @zos_sfm, @latentspacepod @tribecodeai fmr: @swellnetworkio, @elizaos
Divam Gupta @divamgupta
10K Followers 138 Following Building super-tiny AI models that (hopefully) think • YC S25 • Made @DiffusionBee • Previously: AI research @Microsoft, @CarnegieMellon, @Meta
Chris Covington @_ChrisCovington
1K Followers 396 Following AGI @ https://t.co/1dU8ygVQpm | agentic: https://t.co/XQ14iCwk4Q
Allison @alwaysallison
1K Followers 455 Following a regular human and an extraordinary dog join forces to take on the mighty new world of AI accelerated software development.
Marcos Gorgojo @MarcosGorgojo
2K Followers 787 Following Building @thevisualizerai Turn your research, notes, and transcripts into easy-to-understand diagrams with AI.
Vic 🇲🇩 @ZzimM
355 Followers 1K Following
Glavin Wiechert👨�... @GlavinW
1K Followers 5K Following Founding AI SWE @coframe_ai | prev. Staff SWE @krakenfx | Built Atom Beautify to 9mil installs
Mogomra (e/acc) @MightyMogomra
2K Followers 905 Following I’m a CRACKED c firmware/OS driver dev with the strength of ONE HUNDRED “full stack” SLOBS. @ stealth
secemp @secemp9
4K Followers 2K Following 🧠 researcher • 💻 swe • 💾 data scraper • 🌌 universe's jester • Author of TraceBack • grooving @hud_evals
brock @brockjelmore
18K Followers 863 Following applied mech interp @concordanceai, venture partner @nascent
trent e @_trente_
9K Followers 3K Following Building inference mods @concordanceai former @______jpg______ @yamfinance and misc defi things
Couple Goals @couplgoalsz
137K Followers 276 Following Love Gallery • DM for promos • Daily couple content - Hiç sevilmedik
Max Prilutskiy @MaxPrilutskiy
6K Followers 846 Following Co-founder @LingoDotDev – i18n tools for LLM-powered translations. @ycombinator F24. Join the community: https://t.co/pvgj1Ri24R.
zed @zmkzmkz
4K Followers 1K Following #1 paperclip maximizer fan, occasionally on x-games mode. I really, really like watching loss graphs go down
Jonathan Lorraine @jonLorraine9
7K Followers 6K Following Research scientist @NVIDIA | PhD in machine learning @UofT. Opinions are my own. 🤖 💻 ☕️
Adam Silverman (Hirin... @AtomSilverman
41K Followers 2K Following Agent Consulting: https://t.co/goijjAdzVD Agent Observability: @AgentOpsAI + https://t.co/JCGSBr6B0L Funding Agents: https://t.co/ufCO2UI9yU
Jules @julesagent
22K Followers 9 Following Your new async coding agent by @GoogleLabs. Built for devs, open to feedback, evolving with you. Dive in → https://t.co/iIzFEMmWgv
Eliza Dragomir @LizzDrago
27 Followers 165 Following VC @JetBlueVentures | Romanian in San Francisco 🇷🇴
Daka @ndakic8
42 Followers 51 Following Sr. Software/AI Engineer Building AI-Driven SaaS Products Founder of 🦦 https://t.co/f2ZZWJzejX & ✏️ https://t.co/RuGKMO53D5
Klaas @forgebitz
20K Followers 1K Following cofounder and tech at https://t.co/ErVQmD5g9o - AI SEO/GEO platform
Philipp Cannons @pcannons
327 Followers 899 Following interests: AI research & entrepreneurship (engineering/product)
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Mike Piccolo @mfpiccolo
6K Followers 1K Following Founder of @motiadev Co-founder and board member of https://t.co/imPpSoUwQW
A T @iDramedy
330 Followers 6K Following
Anicet @AniC_dev
1K Followers 795 Following collaborative ai programming (https://t.co/Ra7FEJg3VT) w/ @luaroncrew prev: hunting black holes @esa & early text 2 CAD @katalyst_labs dude with a hat no time for VCs
Izzy Miller @isidoremiller
1K Followers 616 Following merry wanderer of the night @ https://t.co/dM4Yc2k6Wn
𝘽𝙞𝙡𝙡 @Bill_2140
5K Followers 4K Following ∴/code • 💻 R&D Lead • 🎮 HS:BGs Strategist (Top 1000 Global) • Buying time • Caffeinated thoughts 24/7
Daniel Katz 🇺🇸 @_katzdaniel
225 Followers 858 Following soph @dartmouth; acquired founder; recovering poker grinder
Nate Yiu @nate_yiu
492 Followers 654 Following Applied AI consultant. Ops chaos → reliable AI systems → SaaS. Sharing case studies | build notes | wins & losses.
Alexandru Fartade �... @KullAxel
2K Followers 1K Following Intelligence is the ability to avoid doing work, yet getting the work done. - Linus
am @attentionmech
13K Followers 1K Following
Abhijith Neil Abraham @abhijithneil
4K Followers 943 Following AI, startups, human nature and social responsibilities. LLMs and Data @datatune_aiTrends for United States
You might like
