-
Tweets1K
-
Followers191
-
Following159
-
Likes1K
I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
F# (windows) service and GUI client (Avalonia, FuncUI) for transcription and diarization. linkedin.com/posts/activity…
Pretty impressive performance by o3 #OpenAI12Days. Still, o3 can consume $1K+ worth of electricity on complex tasks (@ megawatts). Human brains are in @ 25 watts range, so machines have some way to go, yet. However, with Googles quantum leap, the gap may be closing fast.
Experimental 'chat with code evaluator' feature added to FsOpenAI to generate and evaluate F# code interactively. …zdthndaey.eastus-01.azurewebsites.net (need own OpenAI key) Evaluation sandbox utilizes typed AST to only allow types from set namespaces.
OpenAI's o1 seems like a pretty capable F# code generator. See this post for more. linkedin.com/posts/activity…
Revisiting Logic Puzzle with "o1" linkedin.com/pulse/revisiti… via @LinkedIn
New look for F# FsOpenAI rag/chat app. Test link below (need to use own OpenAI key) fsopenaiserver1.azurewebsites.net Now with Radzen Blazor components Source: (github.com)
Need of the hour: Parallel but self-throttled LLM API calls to stay below allowed capacity. #fsharp #asyncseq extensions github.com/fwaris/OnnxVis…
Check out my latest article: Phi-3 Vision is a Surprisingly Useful Gem linkedin.com/pulse/phi-3-vi… via @LinkedIn
F# example to serve ONNX vision models (e.g. phi-3 vision) for online and batch modes. Supports multiple parallel request if GPU hardware allows. github.com/fwaris/OnnxVis…
There's a new bill, SB-1047 "Safe and Secure Innovation for Frontier Artificial Intelligence Models Act". I think it could do a great deal of harm to startups, American innovation, open source, and safety. So I've written a response to the authors: 🧵 answer.ai/posts/2024-04-…
Check out my latest article: Constrained and Provable LLM Code Generation linkedin.com/pulse/constrai… via @LinkedIn
Management has green lighted more #fsharp based apps for Gen AI. To train additional resources in F# / GenAI, I have created a stack called the 'Contemporary' web stack. Description of Contemporary plus a minimal demo app is here: github.com/fwaris/CW1
Have been using F# interactive in VS Code to work on a large Linux VM from my local desktop using "Remote SSH". Works great! One issue: A long line of code may not compile (not sure why exactly). Works if you split code over multiple lines. Beats using Terminal for sure.
Formulating and solving 'zebra' logic puzzles with F# and Z3: github.com/fwaris/LLMLogi…
tussling with internal teams to acquire more compute capacity for my LLM apps. LLM compute capacity is the new scarce resource.
GitHub Co-Pilot is *very* responsive. Not sure exactly how it works - but knowing something about LLMs - I can surmise they (MS) are running it on pretty beefy infrastructure.

Essie @arballo_cl72423
138 Followers 1K Following Life gives us unlimited possibilities, so let's create our own splendor with a positive attitude and strong faith.
Artem Kozin @amfier
101 Followers 484 Following
patricia @patrici30881401
98 Followers 2K Following
Grzegorz Brzęczyszcz... @DerAFerrum
358 Followers 3K Following Stupid Problems Require Stupid Solutions Where/When/How ∰ 🜴 🜔 ≋ ∂t ↺
Luis 🦔 @lamg_dev
528 Followers 1K Following Logic studies and answers *what makes sense* Ideology is religion without God #fsharp 🇩🇪 Building https://t.co/O7YTJI9GtA 🎯🔧🌐
Deyan Petrov @deyanp
26 Followers 230 Following
Joseph Odirachukwuma @Joseph69305922
156 Followers 588 Following Architecting solutions and coding possibilities. Making the virtual world a better place. #DigitalVisionary#softwaredeveloperTomáš Grošup @tomasgrosup
448 Followers 231 Following F# team @ MSFT | Prague Matfyz alumni (Similarity analytics) |
Stanislau Niadbailau @modern_literacy
96 Followers 452 Following Engineer (M&E), Methodologist, Visionary Dedicated to transforming information for the benefit of all. I aspire to become an "Ontological Engineer" @Humana
Aditya @avsaditya
216 Followers 1K Following Senior Software Engineer at @walmarttech. Guitar, writing, literature, cinema, photography, programming and football. #COYS
Will Ehrendreich 🦔 @WillEhrendreich
916 Followers 3K Following Husband, proud father, programmer, coffee addict, and most importantly fully devoted to Jesus.
German N. Montenegro @gnm3000
624 Followers 1K Following Software Developer. https://t.co/zY7vfGMKWT
Asgar ali.khan @asgarali900011
50 Followers 483 Following hi what is a beautiful video fani kahani shero sheri our bohot kuch
AIartist3000 @AIartist3000
7 Followers 93 Following
Gibran @gibran_rosa
149 Followers 554 Following Functional programming (F#, Haskell, Purescript, C#, Raku...), philosophies, Rock...
Jan de Chaumont @JdeChaumont
34 Followers 425 Following
Javid @javidmohajery
26 Followers 124 Following Software | Development using (in alphabetical order) C# | F# | Javascript
Flavio Colavecchia @rucacura
76 Followers 201 Following
Teerawat Wuttiwat @twuttiwat
28 Followers 234 Following Senior dev @ GMT+7 | F#, Haskell, C, Python, Kafka | Remote/async gigs. DMs open.
Gianmarco Leone @leonegianmarco
265 Followers 577 Following Senior Dev @ adesso. Co-founder @ Indomitus Games
Seref Arikan @SerefArikan
568 Followers 1K Following Tech lead at Ocean Health Systems. PhD. All things openEHR,FHIR, healthcare IT, software development...
chris hoare @cjh102
2 Followers 456 Following
EV IV @insightivy
16 Followers 117 Following 🚀 AI Enthusiast | Product Maverick | Always exploring the intersection of technology and creativity. Former SF, now 🌏
thepooh @thepooh1637299
0 Followers 32 Following
Chet Husk @ChetHusk
2K Followers 754 Following Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# on Linux. he/him. @[email protected]
Sanus Dubium @sanusdubium
396 Followers 1K Following We have been failed & seriously harmed by Gov policies aided by the opposition. Look at data & arguments & engage critical thinking. Likes&retweets≠ endorsement
Denis @Denis24793147
4 Followers 209 Following
Pavel ✨ keenthinker @keenthinker
411 Followers 2K Following Writer and creator 🚀 Maker of https://t.co/pLHzUvAWCC & https://t.co/vZqMijAUlh 📖 ⭐ #BuildInPublic .NET & Azure enthusiast
Daniel 🦔 @DanielW_Kiwi
3K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
porcinity @porcinity
38 Followers 410 Following #Fsharp | #NixOS |#Emacs | #dotnet |#Scala | DM me your configs
jkone27 - F#🦔/clim... @jkone27
374 Followers 806 Following left the maga platform: https://t.co/J3u7V1u1gH
Vlæd Zá 🤡 @vzarytovskii
1K Followers 873 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7.
Nafisa Nasir @nafisa_nas6
303 Followers 3K Following जीवन में अपने लक्ष्यों को प्राप्त करना ही शुभकामना है🎉🎉 डिजिटल व्यापार व्यवसाय आपको अमीर बनने में मदद करेगा....
Xela trawets @xelatrawets
16 Followers 712 Following
Jordan Marr @jordan_n_marr
1K Followers 449 Following Here for F# and 😾 pics. Software dev at Symetri.
Atılım Güneş Bayd... @atilimgunes
2K Followers 5K Following @UniofOxford AI for Science Lab — Machine learning, probabilistic and differentiable programming, simulation-based inference, physical sciences
Dhruv Sharma @DhruvComplex
232 Followers 620 Following MAC Research MSCI. Macroecon, Stat. Phys. and Everything in between. Previously @FabricRisk @Polytechnique, @ENS_ULM. Views own. RT != Endorsements
Ashraf Kharrubi @ashrafkharrubi
80 Followers 2K Following 'Human genius has its limits, but stupidity does not.' Alexander Dumas / Push envelope, fail, learn, succeed / retweets & likes ≠ endorsements / views my own
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
DeepSeek @deepseek_ai
972K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Mauricio Scheffer @mausch
759 Followers 810 Following Just another developer. Likes are mostly bookmarks. https://t.co/79nqPRzP1d
Vivek Ramaswamy @VivekGRamaswamy
3.6M Followers 299 Following Father. Husband. Entrepreneur. Candidate for Governor of Ohio.
Goswin Rothenthal @GoswinR
546 Followers 2K Following Architect, Engineer, Computational Designer, ♥ F#Tomáš Grošup @tomasgrosup
448 Followers 231 Following F# team @ MSFT | Prague Matfyz alumni (Similarity analytics) |
The Gradient @gradientpub
21K Followers 18 Following The Gradient cuts through the hype and the cynicism to provide accessible, sophisticated reporting on the latest AI research. https://t.co/XJqypG82jD
Chet Husk @ChetHusk
2K Followers 754 Following Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# on Linux. he/him. @[email protected]
F# Online @fsharponline
2K Followers 0 Following Supporting the worldwide #fsharp community via online channels Please use Bluesky, posts to X are stopping https://t.co/aTRv2VYgs8
Marcos López de Prad... @lopezdeprado
24K Followers 48 Following Professor @Cornell @BerkeleyLab @adia_lab. Quant of the Year (2019, 2021) & Bernstein Fabozzi (2024) Awards. Royal Order of Civil Merit (Knight Officer).
Fausto Pedro Garcia M... @faustospain
13K Followers 12K Following Full Professor at @ingenium_rg @uclm_es @Spain,SM at @IEEEorg #ArtificialIntelligence #AI #DataScience #Analytics #RenewableEnergy #Maintenance #Management #IoT
Timothé Larivière @Tim_Lariviere
337 Followers 171 Following Freelance Software Engineer. Passionate about mobile development and functional programming. Maintainer of @FabulousAppDev
GitHub Next @GitHubNext
24K Followers 49 Following We are a team of researchers and engineers at @GitHub who investigate the future of software development.
Brenden Lake @LakeBrenden
8K Followers 264 Following Associate Professor of Computer Science and Psychology @ Princeton. Posts are my views only
Tuomas Hietanen @Thoriumi
487 Followers 665 Following CTO at Fund Ourselves, Founder of Helsinki F# community
Emanuele Rossi @emaros96
5K Followers 691 Following MLxBio @vant_ai. Ex @Twitter and FabulaAI (acquired by Twitter). PhD in Graph ML @imperialcollege. Bluesky: https://t.co/KYB0QlLsOw
Jeremy Howard @jeremyphoward
261K Followers 6K Following 🇦🇺 Co-founder: @AnswerDotAI & @FastDotAI ; Prev: professor @ UQ; Stanford fellow; @kaggle president; @fastmail/@enlitic/etc founder https://t.co/16UBFTX7mo
Criteo AI Lab @CriteoAILab
2K Followers 185 Following Connecting shoppers to products and brands via creation, development and deployment of AI models that are transparent & interpretable. https://t.co/WbRVAHD4lF
Mathias Brandewinder @brandewinder
3K Followers 0 Following Figuring out things, one model at a time. F# globe-trotter. https://t.co/pvFE4OP1wh
Bert Mouler @BMouler
7K Followers 743 Following AI, ML, algo-trading, biotech, cryptocurrencies, PE, VC...
Kyle Cranmer @KyleCranmer
17K Followers 3K Following Director Data Science Institute @UWMadison @datascience_uw. EiC @MLSTjournal. Physics, stats/ML/AI, open science. same handle @sigmoid.social and bsky
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Tiffany Souterre @TiffanySouterre
6K Followers 191 Following Developer Advocate AI/ML @AWSCloud prev @Microsoft | Chroniqueuse @UnderscoreTalk | Ambassador @WomenTechmakers | Ph.D in Genetic Engineering. Views are my own.
Towards Data Science @TDataScience
245K Followers 2K Following The world's leading publication for data science and artificial intelligence professionals. Submit an Article ✍️ https://t.co/57pIMegK1o
Daniel Egloff @EgloffDaniel
305 Followers 230 Following Founder of Flink AI and Coinic. Interested in #AI, #MachineLearning, #Gamification, #Blockchain.
Alex Roy @AlexRoy144
19K Followers 7K Following GP: NIVC. Founder: The Narrative Command Co @TheAutonocast @TheDrive @ToolorDieX Chairman Emeritus @TheMoth “Godfather of the Modern Cannonball Run" 🎗️
E.W. Niedermeyer @Tweetermeyer
29K Followers 3K Following Author of Ludicrous: The Unvarnished Story of Tesla Motors. Co-host @TheAutonocast. Not sure how much more mobility innovation I can take. YMMV.
Phillip Carter @_cartermp
6K Followers 342 Following I post about ML/AI and other tech at: https://t.co/ZnUdnhz9gQ
Mariya Yao @thinkmariya
24K Followers 439 Following Editor-In-Chief @TOPBOTS. Former CTO @MetamavenAI. #AI #ML @Forbes writer, speaker, author @AppliedAIBook, maker of lovable #UX & crappy #bots
Jeff Hawkins (Inactiv... @JeffCHawkins
4K Followers 8 Following Founder: Numenta, Handspring, Palm Author: A Thousand Brains, On Intelligence Follow @Numenta for updates on my #BrainTheory and #MachineIntelligence work.
Compositional IT @compositionalit
2K Followers 237 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
Kyle Vogt @kvogt
61K Followers 167 Following CEO at The Bot Company. Formerly Co-founder at Cruise and Twitch.
Bill Gates @BillGates
66.3M Followers 572 Following Sharing things I'm learning through my foundation work and other interests.
Autonomous Vehicle In... @theavindustry
4K Followers 251 Following Established to work with lawmakers, regulators & the public to realize the safety and societal benefits of autonomous vehicles (AVs)
Partnership on AI @PartnershipAI
30K Followers 760 Following This account is no longer active. Please follow us on LinkedIn, Bluesky or subscribe to our newsletter to stay connected.
r2d3.us @r2d3us
19K Followers 2 Following R2D3 is an experiment in expressing statistical thinking with interactive design, from @stephaniejyee and @tonyhschu
Ian Goodfellow @goodfellow_ian
348K Followers 1K Following DeepMind Research Scientist. Opinions my own. Inventor of GANs. Lead author of https://t.co/M6vl8pEQ4I Founding chairman of @pubhealthaction
Nal @nalkalc
36K Followers 270 Following Angel investor. Ex Researcher in Deep Learning @GoogleDeepMind. Co-creator @GoogleAI Brain Amsterdam, Ex original @DeepMind, Edu at Oxford, UvA and Stanford.