-
Tweets403
-
Followers114
-
Following101
-
Likes95
Come and work with us at Chalmers! We have a call for five PhD positions in a wide range of CSE topics/projects. One of the project is mine: "Using program synthesis to generate feedback for functional programming exercises". Take a look: chalmers.se/en/about-chalm…
@wouterswierstra Well, perhaps it was typing really well ;-)
Stephen Fry @stephenfry explains why he supports the choice of Alan Turing as the character for the new £50 note. New50.co.uk #TheNew50
Want to work with leading research at a joint department between @goteborgsuni and @chalmersuniv? We are growing and currently looking for Assistant Professors, Senior Lecturers, Postdocs and PhD students. Read more and apply: chalmers.se/en/departments…
We have two open PhD student positions at University of Gothenburg. Come join us to work on type theory, mathematics and Agda! ❤️ web103.reachmee.com/ext/I005/1035/…
We are looking for a post-doc to join the functional programming and security group at @chalmersuniv / @goteborgsuni Come to work with us! Deadline, 19th December 2020. #security #haskell #functionalprogramming chalmers.se/en/about-chalm…
Chordify is hiring functional programmers! Founded by UU graduates, this company has always been close to my heart. A lot of great people work there: jobs.chordify.net/functional-pro…
OCTO Speaker Series #2 is coming next week! Episode 2 will be hosting @rjmh to share his take on property-based software testing and experiences with QuickCheck. 📅 Oct 8th, 09:30a Pacific, signups below! 👇 octo.github.com/speakerseries/…
Your task for the day to be a better FP programmer: watch Koen Claessens's talk about finger trees at Haskell Symposium '20. youtube.com/watch?v=ip92VM…
The video of Simon Peyton Jones seminar "A Quick Look at Impredicativity" is now online: youtu.be/ZuNMo136QqI. The programme for the rest of the series is at chalmersfp.org.
Colleagues will have a summer course at the dept this year, Software Engineering for AI-systems. antagning.se/se/search?peri…
This is the best one of these I have ever seen.
A new online seminar series in Functional Programming, open to the public, starts on Monday with Simon Peyton Jones. Welcome! chalmersfp.org
This one is for @doaitse...
HLists too slow? @wouterswierstra shows how to implement a heterogeneous datastructure with logarithmic lookup in this Functional Pearl: cambridge.org/core/journals/…
FUNCTIONAL PEARLS Heterogeneous binary random-access lists WOUTER SWIERSTRA cambridge.org/core/services/…
Nice work by Erasmus MC and @UniUtrecht finding an antibody against SARS-CoV-2 (COVID-19) erasmusmagazine.nl/2020/03/13/uni…
This weeks no.1 on my playlist on @NPORadio2 is @teskeybrothers - Rain youtube.com/watch?v=IhgxZ8…
Have you ever used eDSLs in Haskell to generate code? If so, you are familiar about writing *redundant* strings to hint variables names to the code generation engine (see pic) You don’t need to do that anymore! Check out our GHC plugin BinderAnn—to appear at TFP 2020! 📝
Peak Japanese motivational poster
Guilherme Silva @Guilherme0has
5 Followers 120 Following
wasabi @wasabi__315
304 Followers 578 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
Joel Svensson @sve10362122
287 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
paddyrags @paddyrags
233 Followers 2K Following I may or may not be what you think...;). Humanity First - Equality First
Hieke Keuning @HiekeKeuning
28 Followers 37 Following Assistant professor @ Information and Computing Science, Utrecht University. Computing Education 👩🏻🏫 Technology for learning 🧮 Code quality 👩🏻💻
rednaz @r3dnaz
8 Followers 195 Following informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Nanda_kishor @Nandaki14953798
3 Followers 88 Following Hello! I'm Kishor, illustrator, graphic designer, and branding artist. I have started designing since 2016.
Julia @persson_julia
53 Followers 48 Following World citizen, social media nerd, aspiring sailing enthusiast. Usually running around with my camera or writing about travel.
chris martens @chrisa... @chrisamaphone
5K Followers 1K Following I'm not here anymore! Go find me where my display name says.
Raad van Kerken Emmen @EmmenRaad
272 Followers 1K Following RAAD VAN KERKEN EMMEN OPGEHEVEN - Maart 2025
Chalmers ICT @ChalmersICT
724 Followers 400 Following Area of Advance ICT at @Chalmersuniv. #research #development in cross-disciplinary information and communication technology. Emphasis on #sustainability issues
Robert Krook @Rewbert
173 Followers 192 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Nachi @modaltype
365 Followers 284 Following "The limits of my language mean the limits of my world" and all that
LOL@TXwitterFASCIST @stphrolland
807 Followers 7K Following I am Earthling-European ⁂⧖⏚ #NotMyHumanity Anti-Science of Fascist Human-Apes= We are the best, all the others are fools, let's shut their mouth, muhuhahaha !!
Alejandro Russo @poke48k
579 Followers 278 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
Eric Bergquist @ebergq
5 Followers 111 Following
Doaitse Swierstra @doaitse
56 Followers 49 Following
Haskell for Mac @HaskellForMac
2K Followers 2K Following Functional programming without the hassle. Live programming for Haskell.
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
Sylvia Stuurman @sylviastuurman
47 Followers 37 Following
Lewin @63Lewin
6 Followers 227 Following
ikaria_m.c @ikaria_m
294 Followers 2K Following http://t.co/g7z5buAP5x https://t.co/olxZWRwRfa https://t.co/mKG3dzEugg
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Functor Research @FunctorResearch
131 Followers 776 Following Functor Research and Research Collaboration
Ward Bekker @wardbekker
1K Followers 1K Following Solutions Engineer @grafana labs. Enjoys a nice cup of coffee and running. Soft spot for #grafanaloki Watch my videos! - @[email protected]
Stefan de Hoog @stefandehoog
298 Followers 2K Following Entrepreneur, Director Business Line DUV ASML, Advanced Data Analytics and Executive Management, Married, Proud Father of Three Daughters
De Warre @dewarre_bov
11 Followers 39 Following
pablo azero @pabloazero
246 Followers 344 Following interested in programming fundamentals, functional programming (mainly Haskell) and software engineering
Marko van Eekelen @MarkoVanEekelen
97 Followers 113 Following
jun-hee cho @jun_hee
46 Followers 270 Following
Monator Technologies @MonatorAB
55 Followers 82 Following Liferay, Portaler, Webbplatser, Intranät, Extranät
Thijs Broersen @thijs74
74 Followers 129 Following 42 jaar,Busdriver bij Qbuzz, vader van Isa-Merle en Loïs.Geniet van het leven het duurd maar even!!
Thijs Broersen @BroersenThijs
6 Followers 30 Following
Berrie Vriezenga @BerrieVriezenga
114 Followers 469 Following Beleidsadviseur inkoop en aanbesteden, 2 kids, Mercedes, BNR, Hoogeveen, A28/50, Ipad, France, Hardlopen.
Mirjam Jager @mirjam_jager
18 Followers 46 Following Docent diëtetiek HAN / Promovendus / Diëtist en voedingskundige / diabetes bij migranten
PLT Steve Brule @PLTSteveBrule
4 Followers 119 Following Doctor of programming languages 'ya dingus! Who cares?
Erlang Central @ErlangCentral
4K Followers 987 Following All about #Erlang ecosystem. Submit content at https://t.co/F3Hb4nWFEp
كوكوkoko @soma140990
401 Followers 1K Following
Annemiek Wegkamp @annemiekwegkamp
419 Followers 473 Following
Richard Torkar 🇺�... @rtorkar
1K Followers 1K Following
Krisinformation.se @krisinformation
219K Followers 824 Following Vi har stängt av möjligheten att kommentera våra inlägg på X. Vid frågor hänvisar vi till våra övriga sociala medie-kanaler: Facebook och Instagram.
Haskell Love Conferen... @_haskellove
1K Followers 46 Following #haskelllove https://t.co/vg1yElERCf https://t.co/6KK9yrS6Ql
Hieke Keuning @HiekeKeuning
28 Followers 37 Following Assistant professor @ Information and Computing Science, Utrecht University. Computing Education 👩🏻🏫 Technology for learning 🧮 Code quality 👩🏻💻
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Marielle Stoelinga @m_stoelinga
382 Followers 231 Following Professor ICT Risk Management | Innovation | Betrokken Burger | Ongeneeslijk Optimistisch
Robert Krook @Rewbert
173 Followers 192 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Dominic Orchard @dorchard
2K Followers 674 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Göteborgs universite... @goteborgsuni
16K Followers 39 Following Kontot är inte aktivt. Besök https://t.co/0W7TL96Fd2 för kontaktuppgifter samt för nyheter om forskning. This account is not active.
Eric Knauss @oerich
421 Followers 356 Following Improving communication and understanding between software developers and software users. Currently as an Associate Professor.
Bow_Swift @bow_swift
485 Followers 14 Following Bow is a library for Typed Functional Programming in Swift.
SE Division @SoftEngDiv
418 Followers 63 Following Software Engineering Division at Chalmers | University of Gothenburg
Miroslaw Staron @MiroslawStaron
451 Followers 439 Following Researcher in empirical software engineering - focusing on measurements, standardization, safety engineering...
Chalmers University o... @chalmersuniv
5K Followers 275 Following News in English from one of Sweden's top scientific universities, leading the way to a sustainable future. press (at) https://t.co/TE5t53Blfs Swedish @chalmersnyheter
Chalmers ICT @ChalmersICT
724 Followers 400 Following Area of Advance ICT at @Chalmersuniv. #research #development in cross-disciplinary information and communication technology. Emphasis on #sustainability issues
Eelco Dolstra @n1ksnut
2K Followers 48 Following Nix/NixOS developer. Principal Software Engineer at Determinate Systems.
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Andrei Sabelfeld @asabelfeld
422 Followers 151 Following
Journal of Functional... @journal_of_fp
2K Followers 4 Following Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8
Niki Vazou @nikivazou
3K Followers 462 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
Chalmers @chalmersnyheter
7K Followers 528 Following Nyheter och reflektioner från och om Chalmers tekniska högskola i Göteborg. Vetenskapliga nyheter på engelska på @chalmersuniv
Nicolas Wu @nicolasgwu
470 Followers 110 Following Professor of Computer Science at Imperial College London
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Alejandro Russo @poke48k
579 Followers 278 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
SoftwareStartups @sw_startups
31 Followers 2 Following
Disselaars Reunited @DeDisselreunie
47 Followers 69 Following Organisatie Reünie 2016 | Big Fun | Brasserie | Strafwerk bij Frans etc | Topaz | Meld je bij: https://t.co/j8yPRf3ZTb
Rob Stenders @robstenders
45K Followers 793 Following Maandag t/m donderdag 14u-16u De Bonanza en vrijdag Stenders en Ekdom. Vrijdagavond 18u-22u PUP40 @radioveronica. XXL Stenders Stream. 192 tv 21u-22u
Addy Engels @AddyEngels
3K Followers 361 Following
Lambda Jobs @LambdaJobs
2K Followers 672 Following Jobs for functional programmers! λ Haskell | Lisp | Clojure | Elm | OCaml | F# | Scala | Erlang | Elixir etc.
Tiark Rompf @tiarkrompf
2K Followers 501 Following Purdue University (We're hiring! grad students, post-docs, faculty)
Patrick Bahr @pa_ba
90 Followers 41 Following Associate Professor in Computer Science at IT University of Copenhagen https://t.co/v79TLtWXwC
Haskell for Mac @HaskellForMac
2K Followers 2K Following Functional programming without the hassle. Live programming for Haskell.
Swift Language @SwiftLang
80K Followers 0 Following Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Jeremy Gibbons @jer_gib
2K Followers 253 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Stephanie Weirich @fancytypes
3K Followers 349 Following
Functional Swift @FunctionalSwift
4K Followers 1 Following
Gabriele Keller @gckeller
1K Followers 427 Following Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]
ALLEBIKE @ALLEBIKE
141 Followers 1 Following High-end bicycles. Developed and assembled in Sweden. We aim to provide top performance at the best possible price. Welcome to the family.
Herrljunga kommun @Herrljungakom
306 Followers 35 Following Hjärtat av Västra Götaland! Med våra goda pendlingsmöjligheter och vår tydliga och välkomnande VI-känsla är vi kommunen och arbetsgivaren för dig.
Thijs Broersen @thijs74
74 Followers 129 Following 42 jaar,Busdriver bij Qbuzz, vader van Isa-Merle en Loïs.Geniet van het leven het duurd maar even!!
Herman Finkers tekst @hfinkers
2K Followers 97 Following Alle geniale citaten op een rij van de cabaretier Herman Finkers; Het stoplicht staat op rood, het stoplicht staat op groen, in Almelo is er altijd wat te doen.
Simon Peyton Jones @simonpj0
5K Followers 3 FollowingYou might like
