Hans-Jörg @_hansjoerg
Leading vendor of theorem proving middle ware • PhD student @inria_nancy • Core developer of the veriT SMT solver schurr.io Nancy, France Joined June 2014-
Tweets244
-
Followers71
-
Following181
-
Likes25
Hans-Jörg retweeted
When you repeat the lie, you spread it. When you spread the lie, you strengthen it. When you strengthen the lie, you become an accomplice to it. In this disinformation age, we must all do better to clarify between truth and lies -- and avoid falling into simple propaganda traps.
When you repeat the lie, you spread it. When you spread the lie, you strengthen it. When you strengthen the lie, you become an accomplice to it. In this disinformation age, we must all do better to clarify between truth and lies -- and avoid falling into simple propaganda traps.
182
1K
6K
0
47
Hans-Jörg retweeted
Hey #verification twitter and everyone else who uses #SMT solvers, now is your chance to shape the future of these tools! We are at the very start of the preparations for #SMT-COMP 2022 and the call for benchmarks is out! smt-comp.github.io/benchmark_subm… Deadline 15th March!
Hans-Jörg retweeted
it's not a real type theory unless it comes from the inria region of france
Das macht der @diezugfunker mit mir: ich schau aus dem Fenster und schäme mich ein wenig, dass ich nicht weis was für ein Ordner das ist
Levels of difficulty: 1) hard 2) extremely hard 3) \emph{extremely hard}
Always great too see the paper behind the SMT-LIB benchmarks. :)
Hans-Jörg retweeted
#VisagesdInria Bravo à George Krait pour sa soutenance de thèse 👏 Doctorant au sein de l'équipe Gamble @Inria @labo_Loria, il a travaillé sur le développement d'algorithmes numériques certifiés pour isoler les singularités d'une courbe plane ! #visualisation #robotique
Hans-Jörg retweeted
A long-awaited feature in Apalache: The model checker consumes the types that are found by the type checker Snowcat. It makes specification writing and model checking more fun! Check the release 0.15.1: github.com/informalsystem… and the tutorial: apalache.informal.systems/docs/tutorials… #tlaplus
No wonder I sometimes feel like I'm lacking behind in French class ;). Here is my classmate presenting his thesis in 180s:
No wonder I sometimes feel like I'm lacking behind in French class ;). Here is my classmate presenting his thesis in 180s:
Hans-Jörg retweeted
Adding tables and figures in LaTeX:
The weather today tried to seduce me to stay in Vorarlberg
mommysarah @mommysarah121
164 Followers 1K Following I’m MOMMY Stella,I’m a sugarmummy I’m looking for a young trustworthy person to by my sugarbaby I don’t mind your gender because I’m not into sex
Tursearth @TursearthVkJlf
18 Followers 2K Following
porcher Kingsley @PorcherK39239
281 Followers 7K Following
@[email protected] -... @Th3PeKo
1K Followers 3K Following #ITSec, @MetalabVie IT Crew, @c3wien Member, Capturing 🚩 with @We_0wn_Y0u, Crew of @CryptoPartyWIEN & @PrivacyWeek, Ham Radio he/him/er
The Search Space Podc... @searchspacepod
445 Followers 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Sibylle Möhle @MohleSibylle
43 Followers 72 Following Doing research in first-order logic as well as in propositional model counting and enumeration; with a weakness for rock, ice, and the 3rd dimension.
Vincent Artman @geogvma
6K Followers 2K Following Nomad geographer/ ambiguous academic || https://t.co/6kflTAHHCz || https://t.co/m3BJfValPg
Peter Gjøl Jensen @petergjoel
155 Followers 517 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
Todd Gamblin / @tgamb... @tgamblin
4K Followers 5K Following Dev tools, open source, HPC, systems, parallel computing @Livermore_Lab. @spackpm guy. Setting up https://t.co/MHhbvakyFO. Opinions mine. he/him.
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
Anne-Lise @Alca_Lise
226 Followers 326 Following Chargée #communication à @Inria_Nancy mais aussi #cavalière et #passionnée
Nacira @Nacira20481828
83 Followers 269 Following Amazigh Phd Student at UL, France Starving for knowledge 📚 #LinkedData #FCA
Charles Southerland @proidiot
478 Followers 1K Following Like most of our world, computers don't have to suck, but we must choose improvement. Formal Methods, F(L)OSS, math memes, general nerdiness.
Phil Carlisle @zoombapup
1K Followers 934 Following AI Researcher (Games, Computer Vision, Animation and AI) and Indie Game Programmer. Posts are my own and do not reflect the views of my employer.
Matthew Jack @MatthewTJack
589 Followers 283 Following CEO and lead architect of @KytheraAI in Edinburgh. Ex-Crytekker, co-founded RCC++, runner, traveller. All about bringing virtual worlds to life. He/him.
Duc-Than Nguyen @_thannd
191 Followers 527 Following Interested in Programming Languages & Formal Verification (he/him)
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Athénaïs @_Nanis_
169 Followers 983 Following COMPTE GELÉ #helloquitteX ---- Geekus biologikus qui vit à l'université. Je suis entourée d'informaticien.nes, et mon nouvel ordi s'appelle Jammy.
Guilherme Alves @asilvaguilherme
278 Followers 1K Following Fairness, Explainable AI, AutoML https://t.co/KUSNrJjrAi
Neon Axiomated @neonbeautysleep
193 Followers 3K Following Providing liminal finance via periodic spot-checks on practical content; fully engaged with Harberger dream tax.
Margaux @MargauxDuroeulx
33 Followers 82 Following
minx @lordminx
247 Followers 696 Following Mastodon: @[email protected] Geekery, Feminism and Sexuality. Might contain traces of rage. I also sell stickers: https://t.co/yv76V2RHXI He/Him
George Pîrlea @GeorgePirlea
854 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Tobias Grosser @Tobias_Grosser
2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8
Deriving ⊥ @DerivingFalse
8 Followers 14 Following I'm a researcher at the Technical University of Vienna. Interests: Logic, Mathematics, Theorem Proving, Formal Proofs Pronouns: he / him
Johannes Hölzl @johannes2007
190 Followers 512 Following Former researcher at TU München, VU Amsterdam, and Carnegie Mellon. I'm here for theorem provers, proving theorems, and reading comics. @[email protected]
Nate Chandler @neightchan
264 Followers 554 Following Mathy coding. Swift and ObjC. C++ and Haskell fan. Xcode Previews. Former @ice_markets , @bignerdranch. Author of Cocoa Programming for OS X 5e.
Sandra Dylus @ichistmeinname
282 Followers 399 Following Computer Science PhD student with interest in functional programming languages
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ermines for Elizabeth... @at_least_weasel
697 Followers 2K Following Kann ein bisschen Deutsch sprechen. Data Scientist of little repute. Proud member of #PicantePals. I follow back ALL mustelids. https://t.co/i6APkYhZvI he/they
@RichardKogelnig@mast... @RichardKogelnig
819 Followers 1K Following fascinated by (too?) many things. Engineering, Psychology, Music, Game design ... @[email protected] 🇪🇺 🇦🇹 🇮🇪
Jennifer Vega @JenniVega1704
14 Followers 212 Following I am Jennifer Vega... A simply lady that’s loves to meet people...
mercy becerra @MercyBecera
484 Followers 4K Following
benkeks.bsky.social @benkeks
321 Followers 319 Following I research how to subtract program behaviors from one-another. Computer science, logics, games at #tuberlin.
Marco Radavelli @MarcoRadav
181 Followers 729 Following IT Consultant @AKKADeutschland. Interested in IT and languages. Vegetarian going vegan, for my health and for the biodiversity.
FOCLASA 2017 @foclasa2017
71 Followers 937 Following The 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
Niki @nikigawlik
124 Followers 368 Following Mastodon: @[email protected] | game system design student | does game dev | procedural content generation | part of @indieschooltrip | she/they
Max Heisinger @maximaximal
22 Followers 61 Following [email protected] [email protected] PhD Student of Computer Science @ JKU Linz
Sibylle Möhle @MohleSibylle
43 Followers 72 Following Doing research in first-order logic as well as in propositional model counting and enumeration; with a weakness for rock, ice, and the 3rd dimension.
Vincent Artman @geogvma
6K Followers 2K Following Nomad geographer/ ambiguous academic || https://t.co/6kflTAHHCz || https://t.co/m3BJfValPg
TELECOM Nancy @TELECOMNancy
2K Followers 367 Following 💻 Grande école d'#ingénieurs en #informatique et #sciences du #numérique #univLorraine #lorraineINP #IMT https://t.co/qFlqICpfjV
Map Labs @PlayMapLabs
2K Followers 169 Following The official account for Map Labs, a game dev community + series of level design events! Join our Discord: https://t.co/lHAylV0NgB
Katalin Kariko @kkariko
66K Followers 231 Following I am a scientist, working on the therapeutic use of in vitro transcribed mRNA.
Kurt Kiefer @kekiefer
680 Followers 184 Following General purpose computer nerd. Embedded software, hardware, and what lies between. GroupGets cofounder.
Mate Soos @SoosMate
1K Followers 479 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
MNT Research GmbH @minut_e
10K Followers 2K Following Open-source and retro hardware. https://t.co/1ygLPhnX5K | https://t.co/ysUih8XBDr | MNT Reform, Pocket Reform, Linux, ARM, RISC-V, FPGA, Amiga. https://t.co/abQKeDBr81
Peter Gjøl Jensen @petergjoel
155 Followers 517 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
Claire Xen 🏳️... @oe1cxw
5K Followers 792 Following Neurodiverse Trans Geek Girl 🧙♀️ Queer Kinky Poly Mess 🏳️🌈 🏳️⚧️ CTO @YosysHQ 😺 RISC-V, SMT 👩💻 Opinions are my Ceti eel's 😛 ACAB BLM ✊ I am Antifa
Elizabeth (Lizzie) Po... @lizziepolg
184 Followers 273 Following Lecturer @EdinburghUni. Enthusiastic about synthesis, formal methods, kayaking and cycling as a mode of transport.
Thomas Gilray @tomgilray
453 Followers 1K Following CS prof @ WSU, HARP lab. Formerly: Basili Fellow @ UMD; prof @ UAB. I build programming languages & static analyses. Free your mind and your ass will follow.
Geoff Langdale @geofflangdale
3K Followers 128 Following CMU CS PhD; Hyperscan chief; Intel Principal Engineer. Side projects include a superoptimizer. he/him
Florian Krammer @florian_krammer
345K Followers 1K Following Viruses, viruses, viruses and vaccines. V5=3xancestral+1x bivalent+1xXBB Professor at the Department of Microbiology Icahn School of Medicine at Mount Sinai
Admer456 @theAdmer456
278 Followers 34 Following Half-Life/GoldSRC mad scientist; silly fox; gamedev & engine programmer; tutorial writer (he/him, 🇧🇦) Discord: Admer456#2798
Bikolax Tsoy @n_tsoy
140 Followers 1K Following // silly little guy. sloppy level designer. occasionally a vtuber. any/all // currently working on SM2 (and a personal project in a free time hehe)
Nacira @Nacira20481828
83 Followers 269 Following Amazigh Phd Student at UL, France Starving for knowledge 📚 #LinkedData #FCA
DIEGO AMAYA @DAAMAYAR
44 Followers 167 Following
NYBI.CC @nybicc
696 Followers 126 Following NYBI.CC is a #MakerSpace (ie mix of a #Hackerspace #FabLab #MediaLab) located in Nancy, France.
Caramba, Nancy @NancyCryptoTeam
233 Followers 77 Following Research group in Cryptography, Arithmetic and Comput. Number Theory Joint group with @INS2i_CNRS @INRIA @univ_lorraine Hosted by @inria_nancy and @labo_Loria
Lindsey Kuper (@linds... @lindsey
9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG
Laurence Tratt @laurencetratt
4K Followers 309 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
The Search Space Podc... @searchspacepod
445 Followers 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Athénaïs @_Nanis_
169 Followers 983 Following COMPTE GELÉ #helloquitteX ---- Geekus biologikus qui vit à l'université. Je suis entourée d'informaticien.nes, et mon nouvel ordi s'appelle Jammy.
Jimmy ETIENNE @JuDePom_
33 Followers 37 Following Hey, I'm a game dev at @TVirtualSociety, from code to graphism and animation, I work on most aspects of video game. Oh, I also have a PhD in computer science :)
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
Armin Biere @ArminBiere
946 Followers 217 Following
Svetlana Ugarčina Pe... @svetlana_up
2K Followers 684 Following •microbiome scientist @cibiocm •global communication lead @microbiomeVIF •internship coordinator @Bioconductor •@NSURPorg mentor ✎https://t.co/8XQAAhmqAX
Flopine ♡✧( ु�... @FlopineYeah
2K Followers 548 Following #Demoscener #VJ Artist (DM me for your gigs ;) ) Coding shaders and other stuff on Twitch PhD student @Inrev_Paris8 Fuck N*Ts PP by @PainPerdu8bit They/She
Cybermalveillance.gou... @cybervictimes
46K Followers 135 Following Compte officiel du dispositif national d'#assistance aux #victimes de #cybermalveillance et de #sensibilisation aux risques #numériques - GIP #ACYMA 🇫🇷
luna was here @lunasorcery
15K Followers 988 Following • she/her • queer poly disaster • recovering former gamedev • private: @moon_dot_exe • banner: @kiingkiismet •
Jérôme Knebusch @jeromeknebusch
560 Followers 204 Following Franco-German graphic, editorial & type design practice. Publisher @poem_editions Research @ANRT_type @esalmetz
Zugfunk Podcast @diezugfunker
1K Followers 87 Following Zugfunk ist ein Podcast von jungen Lokführern rund um die Ausbildung und den Arbeitsalltag von Lokführern. besser hier: @[email protected]
Stephen Kell @stephen... @stephenrkell
1K Followers 282 Following "Academic" "computer" "scientist" but really none of those things. I program, think, write, talk, teach... rarely in that order. Mostly I make software slower.
Jonathan Protzenko @_protz_
873 Followers 393 Following Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc
Martin Děcký @mdecky
419 Followers 371 Following computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist
Systems Meetup Dresde... @ukvly
272 Followers 52 Following Announcements for the Dresden Systems Meetup #osdev #firmware #lowlevel #virtualization -- Used to be the "Microkernel Valley" account.
Julian Stecklina @blitzclone
1K Followers 678 Following Permanently moved to: https://t.co/9cRCLZRmJ7
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
🦣 @dalias@hachyder... @RichFelker
3K Followers 462 Following Here for the 🍿 as it burns. Come along to the 'don if you want more than popcorn from me.
Michael Reiterer @M_Reiterer
2K Followers 1K Following EU-Amb🇰🇷🇨🇭🇱🇮rtd. Prof @CSDS_Brussels @Brussels_School Adj Prof Int politics @uniinnsbruck Fellow @theGCSP @wiiw_ac_at @AIES_austria @RitsumeikanUTrends for United States
28,9 B posts
26,9 B posts
5.685 posts
43,9 B posts
4.798 posts
1.399 posts
16,2 B posts
12,7 B posts
12,1 B posts
94,1 B posts
3.621 posts
9.704 posts
74 B posts
14,4 B posts
5.047 posts
17,9 B posts
45,7 B posts
5.740 posts
You might like
Armin Biere
@ArminBiere
946 Followers
Hernan Ponce De Leon
@h_poncedeleon
404 Followers
CAV
@confCAV
796 Followers
yutakang_en
@YutakangE
79 Followers
Johannes Hölzl
@johannes2007
190 Followers