-
Tweets824
-
Followers415
-
Following207
-
Likes4K
Hey there, I scored 6/6 on type-signature.com. Give it a shot! #Haskell ... Challenge accepted from @vdwxv 😜
0
0
0
0
0
Alessio C. retweeted
As many people have pointed out to me, Wordpress is not a very clever name for a static blog generator (lol). @biloumaster proposed a new name: YOCaml (with a logo!) and @RigMM has integrated it. Wordpress is dead, long live YOCaml. #OCaml
Alessio C. retweeted
As I take some interest in maintaining my personal project: Wordpress, a static blog generator written in #OCaml (github.com/xhtmlboi/wordp…), I took some time to write embryonic tutorials on how to use it! xhtmlboi.github.io/wordpress/doc/… Feel free to give me feedback, I write like a bag!
Alessio C. retweeted
Alessio C. retweeted
A complete guide to LLVM for programming language creators mukulrathi.co.uk/create-your-ow…
Alessio C. retweeted
I’ll secure the funding for @aphyr to do a Jepsen test of @OracleDatabase if you secure Oracle‘s permission that he’s allowed to publish the results, no matter what they show
Alessio C. retweeted
Si vous donnez cours, et avez besoins de Clever Cloud, [email protected]
Si vous donnez cours, et avez besoins de Clever Cloud, [email protected]
Alessio C. retweeted
The effect can now handle collisions and multiple photos #madewithunity #gamedev #vfx #polaroid
Alessio C. retweeted
Our #keycloak as a service is now open ! Create your own realm on our keycloak cluster :) Details on please-open.it Inscription and console : console.please-open.it If you care about authorizations, take a look (and send us feedbacks) about our authorizations platform.
Alessio C. retweeted
Discussing the present and future (and async/await) of Rust with @steveklabnik and Aleksey Kladov #rustlang
Alessio C. retweeted
It was so lovely to chat with the Poly team at @SunnyTech_MTP
Alessio C. retweeted
Je causerai Service Mes(h|s) à Sunny Tech Jeudi matin sunny-tech.io/schedule/2019-… … Et @clever_cloud sponsorise la teuf jeudi soir. Une bien belle fin de saison, merci @SunnyTech_MTP !
Alessio C. retweeted
😍 Ce soir c'est @chtijug chez @norsys 🤓 On va parler Web, frameworks et standards 🎉 J'ai même ramené plein de goodies @clever_cloud
Alessio C. retweeted
nom 5.0, the best Rust parser library, is here! crates.io/crates/nom Replacing macros with functions, powerful error management, fixed UX issues, extremely fast float parsing thanks to lexical. I'm so happy this is released! 🥳 unhandledexpression.com/general/2019/0…
Alessio C. retweeted
🙌 LUXEMBOURG, here we come ! 🙌 @lightplay8 and @ldoguin will be there as speaker and fellow participants. Let's meet!
Alessio C. retweeted
Alessio Costellaci(@lightplay8) & Didier Plaindoux(@didierplaindoux) au delà d’être d’odieux personnages, sont parfaitement incapables de jouer la comédie. Pourquoi les écouter parler des Acteurs? Si vous êtes tout de même tentés, c’est @voxxed_lu le 20 et le 21 juin prochains!
Alessio C. retweeted
still not the fluid editing experience i envisaged but coming along. as of the next bit of work i'm doing, entry should be (optionally) indistinguishable from standard text entry. the fact that this is happening should probably be a hint, but i am thus far evading it #fructure
Alessio C. retweeted
Look Ma! A web service in Rust with a database with no mention of borrow checker, lifetime and zero cost abstractions! Sweet!
Alessio C. retweeted
4th #rustlang meetup in Toulouse: "My first web service in Rust" by @fteychene. Great talk showing how easy it is to build a robust service with language features and a few crates like serde, reqwest and actix! 🦀
The fourth #rustlang @Rust_Toulouse #meetup with @fteychene as speaker 😍🤩🎉🎉: Web framework for @rustlang 👍
Aurélie Vache 🥑�... @aurelievache
12K Followers 5K Following Dev Advocate @OVHcloud🥑 | @Docker Captain🐳 | @CNCFAmbassadors | @GoogleDevExpert | @gitpod Hero🦸♀️ Visual tech books author Writer, sketchnoter, speaker
Arnaud Héritier @aheritier
7K Followers 3K Following Engineering Manager at @doctolib #lescastcodeurs #devoxxfr #ci #cd #devops #platformengineering #oss #jenkinsci #maven #asf
Sylvain Wallez @bluxte
4K Followers 561 Following Software engineer, from big servers to tiny microcontrollers. Member of @TheASF, tech lead at @elastic. Now active on 🦋 at https://t.co/J8lyR9GWDV
Sébastien Blanc 🇪... @sebi2706
11K Followers 3K Following Developer Relations Engineer at @tweetsbyport , husband, speaker, Dad, Open Source, Java Champion, 5️⃣😺
Quentin '🐧' ADAM @waxzce
18K Followers 9K Following CEO @clever_cloud The best velocity and resiliency cloud solution for all developers | co-founder @_icilundi | Chairman @OpenInternetPro | co-founder @Makair_fr
Estelle Landry ☀️ @estelandry
3K Followers 2K Following Product Manager at @pix_officiel, Proud to be a member of @DuchessFR, and an organizer of @sunnytech_mtp
Benjamin Coenen 🇧�... @BnJ25
1K Followers 2K Following 🇧🇪 lost in Paris playing with @rustlang at @apollographql. Zero copy Rustacean contributing to @rust_analyzer . I'm currently lost writing compilers #wasm
Λ\: Onepoint x Stack... @stack_labs
793 Followers 788 Following Passionnés de Tech #Cloud, #Dev et #Data Blog 📣 : https://t.co/0INj3z6eJS #Tech #Passion #Sharing
Horacio González �... @LostInBrittany
5K Followers 5K Following Spaniard lost in Brittany - DevRel 🥑 @clever_cloud, storyteller, coder, speaker, gamemaster - @GoogleDevExpert alumni - Organizer @FinistDevs @CampingSpeakers
nmartignole sur blues... @nmartignole
11K Followers 477 Following Principal Engineer at Back Market. Co-creator and organizer of Devoxx France conference. Blog Author of le Touilleur Express
David Pilato 🇺🇦... @dadoonet
6K Followers 2K Following developer | evangelist @elastic 📧 DM opened. DJ 4 times a year, just for fun! 🎧 https://t.co/1OtWJ8PzAy
Marc-Antoine Perennou... @Keruspe
931 Followers 574 Following Exherbo, GPaste, Germinal, hardware, #teamkrampouz, 1x developer, 1x SRE, 4x father. they/them.
Pierre Zemb @PierreZ
3K Followers 4K Following 🧑💻 Staff Engineer @clever_cloud 🤩 Distributed and Database Systems 🚀 Co-leader @finistdevs 💪 Squash player
Mathieu Passenaud @mathieupassenau
2K Followers 443 Following Dealing with authentication and authorizations. oauth2 and openid connect expert, especially with @keycloak @PleaseOpen_it founder Agri for holidays in Péchabou
Laurent Doguin @ldoguin
3K Followers 3K Following Director Developer Relations & Strategy @couchbase 🍺 @ La marmotte masquée. Nerdy Parisian Metal head Views are my own. He/Him 💖💛💙 @[email protected]
Florentin DUBOIS @FlorentinDUBOIS
598 Followers 237 Following Engineering manager and on call @clever_cloud ⛅, Former @OVHcloud, Biker 🏍 / Diver 🤿 / Climber 🧗 / Windsurfer 🏄 / squash player 🏸. he/him
Sunny Tech @SunnyTech_MTP
2K Followers 456 Following 1ère conférence Tech organisée à Montpellier, par des passionnés, pour des passionnés. 👉 RDV les 26 & 27 juin 2025
Opinie @Opinie0713
5 Followers 265 Following
Sandra @Sandra788787283
222 Followers 3K Following
AliceBoyle @a9CTH167a1EZcq
62 Followers 7K Following
[email protected] | (sp... @k0nn0v
452 Followers 497 Following Independent security and formal methods researcher. Formal specs of Web3 protocols (incl. consensus) in TLA+/Quint/Lean. Fuzzing protocol specs. Writing papers.
@[email protected] @lemmster
1K Followers 553 Following Principal Research Software Engineer at Microsoft Research
gilbi @gilbikelenter
41 Followers 620 Following
Number Wolf @GetNumberWolf
204 Followers 1K Following Number Wolf texts you a daily random number fact. Find out more at https://t.co/wFy5PYZnIq
Litianqi F. @litianqi_fan
2 Followers 19 Following National University of Singapore Research Analyst
Bechraoui Amine @aminebecha
206 Followers 1K Following Tunisian crafter #craft #devops #PremierLeague #MuFC
a32536 @rpigab
0 Followers 58 Following
Antonia Mobiskill @AntoMobiskill
43 Followers 154 Following Looking to connect with developers (but not only) in Lille !
Open Source Experienc... @OSXP_Paris
2K Followers 2K Following LE RENDEZ-VOUS TECH ET USAGES DE L'OPEN SOURCE Open sourcez vos solutions IT ! #OSXP2025 : 10 & 11 Décembre 2025 à #Paris.
Valentin Robert ❤�... @Ptival
219 Followers 354 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
Rust and WebAssembly @rustandwasm
1K Followers 3K Following Tweeting the news, articles, new releases, tools and libraries, events, jobs etc related to #rust #rustlang #webassembly #wasm #webdev #programming ...
🏄The XHTMLBoy @the_xhtmlboy
30 Followers 17 Following #Agile coach for 25 years. Software Crafter, Clean Coder, #DDD Enthusiast, Aspiring #Java Champion. #XHTML (valid), mechanics and microservices.
Mickael 🇪🇺 @MickaelRoger
238 Followers 761 Following Cloud and DevOps tech lead @thalesgroup S3NS trusted cloud designer Tweets are my own
Nathalie Juge Moreira @JugeMoreira
3 Followers 11 Following
LAPLAGNE Frédéric @LAPLAGNEFrdric1
6 Followers 171 Following
Giordana Jonathan @GiordanaJonath1
10 Followers 100 Following
Lambda Lille @lambdalille
258 Followers 378 Following Lambda Lille est un Meetup qui a pour vocation d'échanger autour de la programmation fonctionnelle au sens large, de manière technique et ludique.
freddyleyankees @freddy_yankees
22 Followers 200 Following
Luigi Mastroserio @Mastro1970
108 Followers 522 Following “¿Tu verdad? No, la Verdad,/ y ven conmigo a buscarla./La tuya, guárdatela.” Antonio Machado
Vincent T @vincent_trv
81 Followers 2K Following
Samir Bouaked @sbouaked
758 Followers 1K Following CTO at @fundimmo with interests in #elixir @elmlang and @HumanTalksParis co-organizer. Feel free to connect with me :)
Adam Bin Smith @AdamBinSmith2
510 Followers 3K Following Déclarant en douane De la société Menuibo SARL RDC/Agence en douane B.S.A sarl:import&Export, contact watshap:+243999714978,E-mail : [email protected]
Laurent Pichon @law591
23 Followers 214 Following
Ludovic RENAULT @ludoludi
555 Followers 2K Following Responsable des Systèmes d’Information YNOVAE // 110Bourgogne // SeineYonne // Ruze #TeamAJA #TeamBeauval #TeamDisney #TeamNiglo #TeamNoCode #TeamTechIT
Kesque @kesquetech
984 Followers 3K Following Replaced by @DataStax Astra Streaming, a fully managed service powered by @apache_pulsar. Try Free.
Erwan @ErwanDexstr
140 Followers 452 Following je fais converger la théorie et la pratique. Projet manager, dev, data science, *nix
Venger Satanis @VengerSatanis
4K Followers 6K Following Alpha Blue, Purple Islands, Advanced Crimson Dragon Slayer, How To Like A F^cking Boss, the Cha'alt trilogy; High Priest of Kort'thalis Publishing & VENGER CON.
Denys Séguret @DenysSeguret
505 Followers 2K Following Freelance Rust programmer 🦀🇪🇺 🇺🇦 FOSS author: broot, dysk, bacon, rhit, safecloset, lazy-regex Backend at @wingbackapp
Marlyne Moguet @MarlyneMoguet
246 Followers 3K Following
Lamq @Lamq31
41 Followers 927 Following
fredlubrano @fredlubrano
46 Followers 785 Following T'es tellement no-life que pour les sensations fortes, tu préfères le flashage de BIOS à la roulette russe !
Nicolas Fonrose @nfonrose
637 Followers 1K Following Founder Teevity - Cloud costs analytics and optimization powered by NetflixOSS / AWS, GCP and Azure
DevFest Toulouse @DevFestToulouse
2K Followers 233 Following La conférence Toulousaine incontournable faite par et pour les développeurs et développeuses ! Suivez-nous pour être informé sur l'événement ! #DevFestToulouse
Maël Valais @maelvls
447 Followers 365 Following I do Kubernetes things. You will usually see me hang around cert-manager. @CyberArk @Venafi @JetstackHQ. He/him, opinions my own.
Jean-phi Serafin @jeanphix
324 Followers 289 Following Back & Front Web Engineer. Linux, Python, Flask, SqlAlchemy, PostgreSQL, AWS, Rust, TensorFlow - Health Hacker - Machine Learning - https://t.co/FodQ43KKk5
🔥 Me K H3ll GGR �... @meekah3ll
208 Followers 2K Following French Senior Software #Engineer in #Paris area
Christophe Calvès 04... @chrilves
326 Followers 403 Following 👑 Sparkling God Emperor of the Data Pipes 🦄
乱铁 @_dirtyiron_
231K Followers 51 Following
Gints Zilbalodis @gintszilbalodis
169K Followers 406 Following Director of Flow(2024) and Away(2019)
Brody Smith @__brodysmith
2K Followers 744 Following Freelance designer-developer. I craft data dashboards, interfaces, visual stories, charts, maps, games & digital explainers. Let's jam ⬇️ | ex-@abcnews
Tony Babel @TonyBabel
308K Followers 564 Following Stuck in the 30s creating vintage loops. https://t.co/oi1oFC1n09
Sheldon Axler @AxlerLinear
15K Followers 26 Following Emphasis here on 3 of my books: (1) Linear Algebra Done Right; (2) Measure, Integration & Real Analysis; (3) Harmonic Function Theory (with Bourdon & Ramey).
sysxplore @sysxplore
75K Followers 10 Following Linux🐧| Sysadmin💻 | Networking 🌐| Automation | 📚Get a copy of → https://t.co/5Lp7jJBwXr|📩 https://t.co/IDO9SJB4Ow|📘https://t.co/gPoaPe3GeR|👕https://t.co/92R3mYzT7m
Histoire Medievale @HMedievale
20K Followers 2K Following Tweet à propos de l'actu de l'Histoire du Moyen âge et du médiévalisme, parfois de l'Histoire tout court. Profil Mastodon : @[email protected]
Astartes @Astartes40k
32K Followers 37 Following Astartes goes official! Check https://t.co/n0hUwKMm98
Mike Acton @mike_acton
29K Followers 9K Following Previously: VP@Unity3d Previously: Engine Director@Insomniac Games Leadership. Family. Video game engine development. Data-oriented programming.
Kat ⊷ the Poet Engi... @poetengineer__
52K Followers 353 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Richard Nadler @RichardNadler1
49K Followers 5K Following Ai-Artist, OG-Collector Hic et Nunc, NFT addict, Rare Digital-Art Collector, Sommelier.
Paul Reid @Minotaur_Man
62K Followers 3K Following Still drawing and painting Gods and Monsters after all these years. Linktree: https://t.co/tfPZqKUMNQ
Joan Cornellà @sirjoancornella
571K Followers 697 Following
PLSE@NUS @nus_plse
391 Followers 178 Following Programming Languages, Software Engineering and Formal Methods Research at the @nuscomputing
Seshat @SeshatDatabank
5K Followers 111 Following Seshat: Global History Databank compiles information on the social and political organization of human societies, and how civilizations have evolved over time.
Christopher Tester @CGTester
22K Followers 2K Following Actor (Almeida/ETT) | Voiceover (Rogue Trader 40k /Dark Souls/Total War/Hobs Barrow) | VO: https://t.co/1Z9ryTjQpl
NUS Computing @NUSComputing
3K Followers 283 Following The official NUS School of Computing Twitter feed
Théo Winterhalter @winterhalter_t
110 Followers 97 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Indomitus 40k @40kIndomitus
5K Followers 218 Following Youtube : Indomitus 40K Tipeee : https://t.co/My7pqJG1Xe Instagram : https://t.co/ByoHaoFjpK Mail pro : [email protected]
MathType @MathType
46K Followers 280 Following Type and handwrite mathematical notation. Easily include quality math equations in your documents and digital content. Part of @wiris_science.
[email protected] | (sp... @k0nn0v
452 Followers 497 Following Independent security and formal methods researcher. Formal specs of Web3 protocols (incl. consensus) in TLA+/Quint/Lean. Fuzzing protocol specs. Writing papers.
Luc_Rony @luc_rony
598 Followers 1K Following French artist. World Building - texts (french) & traditional drawings No NFTs/A.I tool assisted. https://t.co/DUpVbHCzbG https://t.co/O0mDFK3JF8
ira greenberg @iragreenberg
5K Followers 4K Following Artist/Professor/Director SMU, EmProps Co-founder, Processing Author, BrainDrops, BrightMoments, Verse, Feral File, https://t.co/EJwokFZdmc He/Him
Historic Vids @historyinmemes
5.8M Followers 332 Following Daily history lessons. Education through memes!
Tom Cuzor @TomCuzor
13K Followers 234 Following Illustrateur Fantasy/SF Commissions ➡️ DM / Shop 👉 https://t.co/eSiNXJqOjw
posemaniacs - ポー�... @posemaniacs
178K Followers 462 Following ポーマニことポーズマニアックスはクリエイター向け商用利用可能な3D無料ポーズ素材をはじめ、イラストやクリエイティブの「好き」を形にする喜びや楽しさ、生きるチカラを身につける学びの場を提供しています。 English posts here👉️@posemaniacs_EN
Tweetinades @tintinades
103K Followers 221 Following Tintinades diverses 🚀 Pastiches & parodies. Insta : @tintinades TikTok : @tintinok Mail : [email protected]
Dan Marsden @StringDiagram
1K Followers 182 Following Categories, computer science and logic. @[email protected]
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Type Theory Forall @ttforall
4K Followers 286 Following Making Type Theory, Programming Languages and Formal methods more accessible! Check our merch store! https://t.co/qiQYj4pnqx
Xavier Van de Woestyn... @vdwxv
277 Followers 218 Following Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫
varkor @varkora
390 Followers 252 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
dave @beesandbombs
96K Followers 1K Following dave is my name. i make gifs :). taking commissions; DM me, or email address on website
Ilya Sergey @ilyasergey
6K Followers 958 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Unix tool tip @UnixToolTip
84K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
TeX and Typography @TeXtip
51K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Logic & Applications @LogicPractice
27K Followers 8 Following Logic and applications of logic from @JohnDCook
Martin Klekner @MKlekner
7K Followers 261 Following Freelance Director, CG Artist / Blender #b3d and ancient Greece enthusiast https://t.co/XpOOVwoeYS / Instructor at https://t.co/3gBTUJRuiL
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.aiTrends for United States
11,4 B posts
72,3 B posts
1.503 posts
176 B posts
2.269 posts
3.359 posts
1.206 posts
8.486 posts
30,3 B posts
1.526 posts
129 B posts
1.428 posts
1.412 posts
112 B posts
4.468 posts
9.762 posts
You might like
DevFest Toulouse
@DevFestToulouse
2K Followers
Clever Cloud
@clever_cloud
7K Followers
Kevin Davin
@davinkevin
1K Followers
Gaspard ☀️
@gaspardooo
330K Followers
Hubert SABLONNIÈRE
@hsablonniere
4K Followers
Estelle Landry ☀️
@estelandry
3K Followers
Sylvain Wallez
@bluxte
4K Followers
Toulouse JUG
@toulousejug
1K Followers
Jug Summer Camp
@jugsummercamp
990 Followers
Pierre-Antoine Grégo...
@zepag
2K Followers
Mathieu Ancelin
@TrevorReznik
925 Followers
Ludovic Piot
@lpiot
1K Followers
Logan Mzz
@LoganMzz
152 Followers