-
Tweets824
-
Followers416
-
Following208
-
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 555 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
795 Followers 789 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 476 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
930 Followers 575 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 445 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 236 Following Engineering manager and on call @clever_cloud ⛅, Former @OVHcloud, Biker 🏍 / Diver 🤿 / Climber 🧗 / Windsurfer 🏄 / squash player 🏸. he/him
Sunny Tech @SunnyTech_MTP
2K Followers 457 Following 1ère conférence Tech organisée à Montpellier, par des passionnés, pour des passionnés. 👉 RDV les 26 & 27 juin 2025
Richard Bennett @surumega1975
6 Followers 494 Following 🚀 Join our elite stock group for 50%-150% gain s! Free daily picks & expert strategies. Join now: https://t.co/032t1COahe
Opinie @Opinie0713
5 Followers 265 Following
Sandra @Sandra788787283
224 Followers 3K Following
AliceBoyle @a9CTH167a1EZcq
64 Followers 7K Following
[email protected] | (sp... @k0nn0v
438 Followers 472 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
39 Followers 617 Following
Number Wolf @GetNumberWolf
205 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
210 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
220 Followers 355 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 762 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
80 Followers 2K Following
Samir Bouaked @sbouaked
759 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
511 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
559 Followers 2K Following Responsable des Systèmes d’Information YNOVAE // 110Bourgogne // SeineYonne // Ruze #TeamAJA #TeamBeauval #TeamDisney #TeamNiglo #TeamNoCode #TeamTechIT
Kesque @kesquetech
987 Followers 3K Following Replaced by @DataStax Astra Streaming, a fully managed service powered by @apache_pulsar. Try Free.
Erwan @ErwanDexstr
141 Followers 453 Following je fais converger la théorie et la pratique. Projet manager, dev, data science, *nix
Venger Satanis @VengerSatanis
4K Followers 5K 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
506 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
40 Followers 927 Following
fredlubrano @fredlubrano
45 Followers 786 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
640 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
448 Followers 364 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
201 Followers 2K Following French Senior Software #Engineer in #Paris area
Christophe Calvès 04... @chrilves
324 Followers 403 Following 👑 Sparkling God Emperor of the Data Pipes 🦄
乱铁 @_dirtyiron_
231K Followers 50 Following
Gints Zilbalodis @gintszilbalodis
170K Followers 405 Following Director of Flow(2024) and Away(2019)
Brody Smith @__brodysmith
2K Followers 743 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
73K Followers 10 Following Linux🐧 | DevOps | Sysadmin💻 | Networking 🌐| Automation | Bash🐚|📩 https://t.co/IDO9SJB4Ow|📒https://t.co/5Lp7jJBwXr| 📘https://t.co/gPoaPe3GeR |🛍https://t.co/92R3mYzT7m
Histoire Medievale @HMedievale
19K 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__
51K Followers 347 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Richard Nadler @RichardNadler1
48K 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
572K Followers 699 Following
PLSE@NUS @nus_plse
389 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
109 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
438 Followers 472 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
601 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.7M Followers 353 Following Daily history lessons. Education through memes!
Tom Cuzor @TomCuzor
13K Followers 236 Following Illustrateur Fantasy/SF Commissions ➡️ DM / Shop 👉 https://t.co/eSiNXJqOjw
posemaniacs - ポー�... @posemaniacs
176K Followers 462 Following ポーマニことポーズマニアックスはクリエイター向け商用利用可能な3D無料ポーズ素材をはじめ、イラストやクリエイティブの「好き」を形にする喜びや楽しさ、生きるチカラを身につける学びの場を提供しています。 English posts here👉️@posemaniacs_EN
Tweetinades @tintinades
103K Followers 220 Following Tintinades diverses 🚀 Pastiches & parodies. Insta : @tintinades TikTok : @tintinok Mail : [email protected]
Dan Marsden @StringDiagram
1K Followers 184 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 273 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Xavier Van de Woestyn... @vdwxv
271 Followers 210 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
391 Followers 254 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 959 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 257 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 823 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
6.551 posts
105 B posts
113 B posts
77,5 B posts
68,7 B posts
53,8 B posts
81,2 B posts
102 B posts
20,8 B posts
8.861 posts
3.113 posts
14,4 B posts
70,6 B posts
20 B posts
6.583 posts
29,1 B posts
151 B posts
8.410 posts
3.562 posts
5.852 posts
You might like
DevFest Toulouse
@DevFestToulouse
2K Followers
Clever Cloud
@clever_cloud
7K Followers
Kevin Davin
@davinkevin
1K Followers
Hubert SABLONNIÈRE
@hsablonniere
4K Followers
Estelle Landry ☀️
@estelandry
3K Followers
Riviera DEV 🌴
@RivieraDEV
2K Followers
Sylvain Wallez
@bluxte
4K Followers
Pierre-Antoine Grégo...
@zepag
2K Followers
Amélie Benoit 🦋
@AmelieBenoit33
4K Followers
Mathieu Ancelin
@TrevorReznik
924 Followers
Ludovic Piot
@lpiot
1K Followers
Logan Mzz
@LoganMzz
154 Followers