日本語
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#haskellx 検索結果

domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Domen Kožar
@domenkozar
2018/10/12

Simon explaining how Facebook uses Haskell with hot-reloading to deploy 100 times a day #haskellx

domenkozar's tweet image. Simon explaining how Facebook uses Haskell with hot-reloading to deploy 100 times a day #haskellx
0
7
27
0
0
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿
Graham Hutton
 @haskellhutt
2018/10/12

Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou

haskellhutt's tweet image. Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou
1
22
73
2
0
LarsBrunjes's profile picture. Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
Lars Brünjes
@LarsBrunjes
2019/10/10

Excited to be back at the #haskellX in London!

LarsBrunjes's tweet image. Excited to be back at the #haskellX in London!
LarsBrunjes's tweet image. Excited to be back at the #haskellX in London!
1
5
37
0
0
domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Domen Kožar
@domenkozar
2018/10/11

Oh @kosmikus was right, just SPJ talk was worth coming to #HaskellX :)

domenkozar's tweet image. Oh @kosmikus was right, just SPJ talk was worth coming to #HaskellX :)
1
3
21
0
0
_cmdv_'s profile picture. λ related bits and bobs @Cmdv@functional.cafe
Vincent Orr
 @_cmdv_
2018/10/11

I saw that the Haskell pyramid diagram was being used at #HaskellX and on reflection of 2 months worth looking at Haskell roles I ended up remaking the diagram a little. 100% there are available #Haskell roles and hopefully it's growing 😍

_cmdv_'s tweet image. I saw that the Haskell pyramid diagram was being used at #HaskellX and on reflection of 2 months worth looking at Haskell roles I ended up remaking the diagram a little. 100% there are available #Haskell roles and hopefully it's growing 😍
3
14
36
2
0
etorreborre's profile picture. Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Eric Torreborre
 @etorreborre
2019/10/11

Finally proper records to come to #haskell (I can't think this proposal won't be accepted in one form or another) #haskellX

etorreborre's tweet image. Finally proper records to come to #haskell (I can't think this proposal won't be accepted in one form or another) #haskellX
2
5
52
1
0
LarsBrunjes's profile picture. Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
Lars Brünjes
@LarsBrunjes
2018/10/12

Looking forward to @InputOutputHK 's Head of Engineering Duncan Coutts' presentation on building #Cardano with Haskell at #HaskellX 😃

LarsBrunjes's tweet image. Looking forward to @InputOutputHK 's Head of Engineering Duncan Coutts' presentation on building #Cardano with Haskell at #HaskellX 😃
0
14
73
0
0
etorreborre's profile picture. Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Eric Torreborre
 @etorreborre
2019/10/11

PhilipWadler: "Agda is what #haskell wants to be when it grows up" opening #haskellX day2

etorreborre's tweet image. PhilipWadler: "Agda is what #haskell wants to be when it grows up" opening #haskellX day2
3
0
11
2
0
krisajenkins's profile picture. Host of Developer Voices, lifelong programmer, producer of bleepy-bloop noises.
Kris Jenkins (@[email protected])
 @krisajenkins
2018/10/11

LOL ur monads aren’t general enough dude. #HaskellX

krisajenkins's tweet image. LOL ur monads aren’t general enough dude. #HaskellX
0
1
9
0
0
typed_hole's profile picture. Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
sara :: panic! (the 'impossible' happened) 🇺🇦
 @typed_hole
2019/10/11

This is one of the most cursed slides I've seen all day 😂 #HaskellX

typed_hole's tweet image. This is one of the most cursed slides I've seen all day 😂 #HaskellX
2
2
42
0
0
louispilfold's profile picture. "the maintainer is a legitimate communist. i will not be supporting this language" I'm on bsky too! @ https://t.co/zcIovshd5n they/them or he/him. end genocide.
Louis Pilfold
 @louispilfold
2018/10/11

You don't have to understand all the fancy type theory to be productive with Haskell @sassela #haskellx

louispilfold's tweet image. You don't have to understand all the fancy type theory to be productive with Haskell @sassela #haskellx
5
8
28
0
0
LarsBrunjes's profile picture. Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
Lars Brünjes
@LarsBrunjes
2018/10/07

Excited to be on my way to London for the #HaskellX 2018 😃

LarsBrunjes's tweet image. Excited to be on my way to London for the #HaskellX 2018 😃
1
1
40
0
0
_andys8's profile picture. λ ⌨️ ☕
Andy
 @_andys8
2022/12/09

🗣️ Beyond functional programming: the Verse programming language by @simonpj0 at #haskellx

_andys8's tweet image. 🗣️ Beyond functional programming: the Verse programming language by @simonpj0 at #haskellx
1
4
10
1
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

Delighted to have you along to Haskell eXchange together with the fantastic speaker line up over the last 2 days. You have all been such a great and engaged audience. See you next year. #haskell #HaskellX

keshri_pratap's profile picture. Adherent of Dharma-raja 🔥🔥🔥
Keshari Nandan Pratap
 @keshri_pratap
2022/12/09

Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter

keshri_pratap's tweet image. Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter
0
0
4
0
0
1
0
1
0
0
keshri_pratap's profile picture. Adherent of Dharma-raja 🔥🔥🔥
Keshari Nandan Pratap
 @keshri_pratap
2022/12/09

Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter

keshri_pratap's tweet image. Just attended the #HaskellX and it was amazing! So many talented speakers and engaging workshops. If you're interested in functional programming, you won't want to miss it next year! #Haskell #programming Thanks to @skillsmatter
0
0
4
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

On stage next at #Haskell eXchange is @EdskoDeVries from @Well-Typed with his talk "Sharing is Caring? Comparing ownership in Haskell and Rust" #HaskellX #haskell #RUST #RustLang #functionalprogramming

skillsmatter's tweet image. On stage next at #Haskell eXchange is @EdskoDeVries from @Well-Typed with his talk "Sharing is Caring? Comparing ownership in Haskell and Rust" #HaskellX #haskell #RUST #RustLang #functionalprogramming
0
3
4
1
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

COMING UP NEXT at #Haskell eXchange 2022 is @janiczek Martin is talking to "How to do Property-based Testing Shrinkers Right" #HaskellX

skillsmatter's tweet image. COMING UP NEXT at #Haskell eXchange 2022 is @janiczek Martin is talking to "How to do Property-based Testing Shrinkers Right" #HaskellX
0
2
4
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

A warm welcome back now to #Haskell eXchange for Trevis Elser from @flipstonetech telling us "How We Haskell: Enterprise Edition" #HaskellX #functionalprogramming

skillsmatter's tweet image. A warm welcome back now to #Haskell eXchange for Trevis Elser from @flipstonetech telling us "How We Haskell: Enterprise Edition" #HaskellX #functionalprogramming
0
1
3
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

Coming up after lunch at The 2022 #Haskell eXchange Conference is Lyle Kopnicky talking about "How to design a variadic non-empty list constructor" #HaskellX #functionalprogramming

skillsmatter's tweet image. Coming up after lunch at The 2022 #Haskell eXchange Conference is Lyle Kopnicky talking about "How to design a variadic non-empty list constructor" #HaskellX #functionalprogramming
0
1
2
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

Thank you #HaskellX to Rahul Korthiwada from @juspay who is sharing how his team created a workflow #monad that provides a common framework for any workflow across their services to be reliably written with ease! #Haskell

0
1
3
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

On stage now is at Haskell eXchange 2022 is @mgajda "Live Coding a Roguelike Game" #Haskell #HaskellX #functionalprogramming

0
1
1
0
0
_andys8's profile picture. λ ⌨️ ☕
Andy
 @_andys8
2022/12/09

🗣️ Beyond functional programming: the Verse programming language by @simonpj0 at #haskellx

_andys8's tweet image. 🗣️ Beyond functional programming: the Verse programming language by @simonpj0 at #haskellx
1
4
10
1
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

It's not often you see such a highly engaged audience but that is the power and attraction of Simon Peyton Jones when it comes to all things #Haskell #HaskellX #functionalprogramming

このツイートは利用できません。
0
1
4
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

Packed room, riveted to every word coming from Simon Peyton Jones at #HaskellX #haskell #functionalprogramming

janiczek's profile picture. I'm out of here and you should too.
Martin Janiczek
 @janiczek
2022/12/09

Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)

janiczek's tweet image. Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)
1
1
9
1
0
0
1
2
0
0
CatherineStenso's profile picture. | B2B SaaS Marketing Leader | Passionate about learning, tech, tennis, food & Ireland | Park Runner & volunteer | All views my own |
Catherine Stenson
 @CatherineStenso
2022/12/09

Every #haskell programmers fav presenter - Simon Peyton Jones OBE - is keynoting this morning at #HaskellX eXchange Conference #functionalprogramming

CatherineStenso's tweet image. Every #haskell programmers fav presenter - Simon Peyton Jones OBE - is keynoting this morning at #HaskellX eXchange Conference #functionalprogramming
CatherineStenso's tweet image. Every #haskell programmers fav presenter - Simon Peyton Jones OBE - is keynoting this morning at #HaskellX eXchange Conference #functionalprogramming
0
1
10
1
0
janiczek's profile picture. I'm out of here and you should too.
Martin Janiczek
 @janiczek
2022/12/09

Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)

janiczek's tweet image. Simon Peyton Jones talking at #haskellx about the Verse language. I'm reminded of @DRMacIver' schroedinteger :)
1
1
9
1
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/09

Back at @codenodeuk for day 2 of #Haskell eXchange and we are delighted to welcome back Simon Peyton Jones for the opening keynote #HaskellX #functionalprogramming

skillsmatter's tweet image. Back at @codenodeuk for day 2 of #Haskell eXchange and we are delighted to welcome back Simon Peyton Jones for the opening keynote #HaskellX #functionalprogramming
0
1
4
0
0
_andys8's profile picture. λ ⌨️ ☕
Andy
 @_andys8
2022/12/08

🗣️ How to Choose a Haskell Web Framework at #HaskellX by github.com/alyoanton9

_andys8's tweet image. 🗣️ How to Choose a Haskell Web Framework at #HaskellX by github.com/alyoanton9
0
2
3
0
0
_andys8's profile picture. λ ⌨️ ☕
Andy
 @_andys8
2022/12/08

🗣️ Handling Effects in Monadic Computations with No Surprises at #HaskellX by github.com/arybczak

_andys8's tweet image. 🗣️ Handling Effects in Monadic Computations with No Surprises at #HaskellX by github.com/arybczak
0
2
3
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/08

Final talk of the day comes from @RohanMe93264078 a super talented student & #Haskell tutor presenting on "Teaching Haskell to High Schoolers" #HaskellX #functional programming

skillsmatter's tweet image. Final talk of the day comes from @RohanMe93264078 a super talented student & #Haskell tutor presenting on "Teaching Haskell to High Schoolers" #HaskellX #functional programming
0
2
3
0
0
skillsmatter's profile picture. The community learning platform where technologists learn better, together.
Skills Matter
 @skillsmatter
2022/12/08

Sandy Maguire, talking at #HaskellX event on "..finding elegance in Quadtrees"

skillsmatter's tweet image. Sandy Maguire, talking at #HaskellX event on "..finding elegance in Quadtrees"
0
1
4
0
0
alphacentauri__'s profile picture.
Serhii
 @alphacentauri__
2019/10/11

Agda jokes are the best #haskellx

alphacentauri__'s tweet image. Agda jokes are the best #haskellx
2
5
15
0
0
fp_pete's profile picture. Talent Partner @ Hidden
Pete Forteath
 @fp_pete
2018/10/11

#haskellx filling up, it's gonna be a great day!!

fp_pete's tweet image. #haskellx filling up, it's gonna be a great day!!
0
1
5
0
0
LarsBrunjes's profile picture. Director of Education at @InputOutputHK #Cardano, CTO at @GeniusyieldO, PhD in Pure Mathematics, passionate about #Haskell.
Lars Brünjes
@LarsBrunjes
2019/10/10

Excited to be back at the #haskellX in London!

LarsBrunjes's tweet image. Excited to be back at the #haskellX in London!
LarsBrunjes's tweet image. Excited to be back at the #haskellX in London!
1
5
37
0
0
atopuzov's profile picture. https://t.co/ZVqjxAVFIO Swimming expert. Interested in Functional Programming, Haskell, Nix, Linux, Distributed systems, Correctness 🇭🇷🇪🇺🌍
Aleksandar Topuzović
 @atopuzov
2019/10/10

Haskell eXchange about to start #haskellX

atopuzov's tweet image. Haskell eXchange about to start #haskellX
0
0
2
0
0
domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Domen Kožar
@domenkozar
2018/10/11

Oh @kosmikus was right, just SPJ talk was worth coming to #HaskellX :)

domenkozar's tweet image. Oh @kosmikus was right, just SPJ talk was worth coming to #HaskellX :)
1
3
21
0
0
fp_pete's profile picture. Talent Partner @ Hidden
Pete Forteath
 @fp_pete
2018/10/11

1st coffee break, not sure if there's ever been so many Haskellers in one place! #HaskellX

fp_pete's tweet image. 1st coffee break, not sure if there's ever been so many Haskellers in one place! #HaskellX
1
1
13
0
0
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿
Graham Hutton
 @haskellhutt
2018/10/12

Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou

haskellhutt's tweet image. Niki shows how all the proofs from Programming in Haskell can be machine checked in Liquid Haskell - nice! #haskellx @nikivazou
1
22
73
2
0
alphacentauri__'s profile picture.
Serhii
 @alphacentauri__
2019/10/10

My knowledge of pattern matching internals have improved #haskellx

alphacentauri__'s tweet image. My knowledge of pattern matching internals have improved #haskellx
0
1
11
0
0
domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Domen Kožar
@domenkozar
2018/10/12

Simon explaining how Facebook uses Haskell with hot-reloading to deploy 100 times a day #haskellx

domenkozar's tweet image. Simon explaining how Facebook uses Haskell with hot-reloading to deploy 100 times a day #haskellx
0
7
27
0
0
chrislpenner's profile picture. he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Chris Penner
 @chrislpenner
2019/10/28

I love charts like this; an excerpt from Build Systems a'la Carte at #haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk @andreymokhov! skillsmatter.com/skillscasts/14…

chrislpenner's tweet image. I love charts like this; an excerpt from Build Systems a'la Carte at #haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk @andreymokhov! skillsmatter.com/skillscasts/14…
2
14
39
5
0

Something went wrong.


Something went wrong.


United States Trends