Troels Henriksen [email protected] @sigkill_dk
Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTw sigkill.dk Copenhagen, Denmark Joined December 2015-
Tweets2K
-
Followers545
-
Following172
-
Likes1K
Do you also not understand parallel functional programming or language-based security? Actually nobody does, which is why researchers try to figure it out! Come and help as a PhD student at #DIKU/#UCPH: jobportal.ku.dk/phd/?show=1609…
a completely unhinged response to a person raising money for children
A nice blog post by @sigkill_dk about `smlfut` which allows SML (especially MLton and MPL) to easily call out to Futhark. I've used it and it works really well! Lots of interesting language interop details. Check it out: futhark-lang.org/blog/2023-10-1…
Join us at the Functional HP and Numerical Computing Workshop icfp23.sigplan.org/home/FHPNC-2023 at @icfp_conference. It's just a month away, with @satnam6502 and @sperbsen as invited speakers — early registration closes tomorrow!
PyTorch and Dex with Adam Paszke. A view from the inside. Can the Array languages learn anything from the ascendency of PyTorch and Dex? Host: Conor Hoekstra Guest: Adam Paszke Panel: Marshall Lochbaum, Stephen Taylor and Bob Therriault. arraycast.com/episodes/episo…
Most popular array programming languages 🥳 plrank.com
Have you heard of Flix (@flixlang) and Furthark? They are two new programming languages developed by @MagnusMadsenDK and Troels Henriksen from @DIKU_Institut in a DIREC-funded project. Read more about the project ➡ direc.dk/the-programmin…
Stay tuned for ‹Programming› 2024 in Lund, Sweden The final submission deadline for #ResearchPapers is October 1st, 2023 #prog24 #conference 2024.programming-conference.org/track/programm…
I'm excited to go to PLDI 2023, although less excited that it's in Florida. Looking forward to meeting people I've never met before, and of course co-chairing ARRAY.
Several years ago we did some work on dependently typing the vagaries of the R language's vectors/arrays/matrices. Never published, but may be of interest, so I've put it on arXiv. CC @tenellous @avanhatt Dependently Typing R Vectors, Arrays, and Matrices arxiv.org/abs/2304.04265
Interested in high-level techniques for high-performance computing? Happy to announce that FHPNC is happening this September in Seattle, co-located with ICFP! We are looking forward to your submissions. Please spread the word! icfp23.sigplan.org/home/FHPNC-202…
The International workshop on Array-Oriented Programming (ARRAY) 2023! Submission Deadline March 31. pldi23.sigplan.org/home/ARRAY-202…
Do you really like arrays? Or do you think they are overrated and want to take them down once and for all? In either case, ARRAY 2023 (colocated with @PLDI) is open for submissions: pldi23.sigplan.org/home/ARRAY-202…
Last year at #LambdaDays 2022, @sigkill_dk, assistant professor at the University of Copenhagen, gave an amazing talk with title 'Using smoke and mirrors to compile a functional programming language to efficient GPU code' #Functional #GPU Check it out👇💥 youtu.be/6TgaTRHMvT8
Went through everyone I'm following here and added them on Mastodon if I could find a published username. I'm not certain this place will stay hospitable for much longer.
Hoping for a parallel Christmas: github.com/athas/aoc22
I've written a blog post about array short-circuiting in Futhark futhark-lang.org/blog/2022-11-0… #futhark #gpu #gottagofast
To get Crusader Kings 3 working, I had fuss about with strace to see which systems calls were going wrong. For Victoria 3, ldd and fiddling with LD_LIBRARY_PATH was sufficient. Gaming on Linux is steadily improving!
I was inspired to write a followup blog post: futhark-lang.org/blog/2022-10-0…
I was inspired to write a followup blog post: futhark-lang.org/blog/2022-10-0…
In this episode, we talk to Troels Henriksen about Futhark a very interesting array language that compiles to GPU's and multi-core CPU's. ! Host: @code_report Guest: Troels Henriksen @sigkill_dk Panel: Marshall Lochbaum, Richard Park, Stephen Taylor and Bob Therriault.
deech @deech
5K Followers 1K Following
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Julia REPL stan now a... @miguelraz_
3K Followers 3K Following Julia REPL's #1 fan. él/him. @[email protected] https://t.co/zHNPzwcTlf Trainer/Engineer @ferroussystems
Nooti @Nooti452
26 Followers 959 Following
Twila Cole @ColeTwila69435
3 Followers 134 Following
Crairl @CrairluIWg0O
34 Followers 902 Following
Krab Rave @Krabatheodory
10 Followers 327 Following
Tearsaws @TearsawsOYpG4m
8 Followers 568 Following
Feaseigh @FeaseighBIDxHU
4 Followers 146 Following
赚钱💧充值卡�... @BlondieBol7596
173 Followers 2K Following 纯博彩代收付全网最专业最良心最高效的团队，高效稳定/安全可靠/佣金日结，缺钱负债躺赚轻松上岸。鼎盛集团代收付官方唯一认证频道：https://t.co/wZuKlHB55t
no one special 🍉 @secureidsha
85 Followers 69 Following Success at the cost of your principles is no success at all.
skibidi bidet @feebo_stree
13 Followers 206 Following
Leventan @Leventan5
15 Followers 733 Following
Tintin de Godfrey de ... @boudinxl
27 Followers 674 Following
AaronAsh @aaronash@ma... @AaronAsh2
63 Followers 356 Following
Ozymandias.SolidGoldM... @Bearly_Present
196 Followers 3K Following All integers between 0 and 1 exclusive.
ابو الحسن ا�... @Indradamarj
35 Followers 1K Following Hopefully, become a Technical Writer and Mentor. Love Functional Programming.
A. B. Marnie @abmarnie
1K Followers 477 Following Developer for Arctic Eggs & Ettare (wip). Posts about whatever stupid things that come to mind. Into math and programming.
Former Mr. (Ms.) Blac... @SLAVE4BLKWOMEN
8 Followers 386 Following
Clément Jean @ClmentJean1
117 Followers 204 Following Author, data format geek and Udemy instructor🤓
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
Mr. Anderson @Kuliitch
98 Followers 787 Following software engineer @AMD. exploring computer science to see how deep the rabbit hole goes.
Mehul @c__mehul
3 Followers 129 Following
bluemussels @bluemussels8
0 Followers 248 Following
Erik Yan @__syan__
121 Followers 3K Following “若逢新雪初霁，满月当空，下面平铺着皓影，上面流转着亮银，而你带笑地向我走来，月色与雪色之间，你是第三种绝色。” ——节选自余光中; 若批评不自由,则赞美无意义。 Scala rocks! , ex @RedHat/@GoIvanti
Fabio Filasieno ❄�... @FilasienoF
907 Followers 210 Following On compiler and database system implementation. On system programming pragmatics. I share papers that I love.
mrragava @mrragava
218 Followers 5K Following
Luca Zulian @luca_julian
621 Followers 1K Following software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
Will @WilliamBatu
4 Followers 2K Following
Vilhelm Bergsøe @vilhelmbergsoe
5 Followers 97 Following
satinxs @satinxs
12 Followers 212 Following
Mona da categoria dos... @its_me_gabriela
160 Followers 489 Following 30, vegan, 🏳️⚧️ she, 🇧🇷 BR, 🟩 EO Elm/Elixir/Gleam developer
tejas krishna @tejaskrshna
57 Followers 2K Following
Lucas @lucas_5050
6 Followers 3K Following
deech @deech
5K Followers 1K Following
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
flix @flixlang
2K Followers 0 Following The Flix Programming Language. A next-generation functional, imperative, and logic programming language.
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Julia REPL stan now a... @miguelraz_
3K Followers 3K Following Julia REPL's #1 fan. él/him. @[email protected] https://t.co/zHNPzwcTlf Trainer/Engineer @ferroussystems
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
Patrick Nicodemus @PatNicodemus
276 Followers 237 Following Interests: -Computational biology -Category theory in homological algebra and type theory -Formalized mathematics in Coq
Frames Catherine Whit... @oxinabox_frames
1K Followers 801 Following PhD. Cursed JuliaLang Facts || 🏳️⚧️ she/her/hers || Extroverted, #ActuallyAutistic, #ADHD || @[email protected]
Jeffrey Siskind @JeffreySis48665
205 Followers 0 Following
Solidaritet @Solidaritetdk
860 Followers 149 Following Danmarks venstreorienterede netmedie. Nyheder, debat og podcast om det vigtigste i verden.
comonoidal esotericis... @adamnemecek1
3K Followers 3K Following Fixing machine learning @ https://t.co/x06CbGClKL. There is no AGI, without energy-based models. As seen on HN: https://t.co/WpbTAjLvPv
Rob Stewart @robstewartUK
997 Followers 2K Following Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
Simon McIntosh-Smith @simonmcs
3K Followers 478 Following Computer Scientist focused on HPC, advanced computer architectures and parallel programming languages
Tom Deakin @tjdeakin
538 Followers 524 Following 🎓Senior Lecturer in Advanced Computer Systems @bristolcs🪑Chair @SYCLstd WG 🎺Trumpet @BrassConsort 📚Prog GPUs w/ OpenMP 🚂https://t.co/K1xdbq5S3u
Per Kristian Lehre @pklehre
900 Followers 1K Following Professor, Computer Science, University of Birmingham (UK). Theory of #EvolutionaryComputation @[email protected]
Joel Svensson @sve10362122
294 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
Yiorgos Adamopoulos @hakmem
2K Followers 3K Following Reading AI Memo 239. Learned amateur. RT != endorsement. I run infrastructures and speak for myself. Bubblegum does not scale. @[email protected]![Vi kæmper for et grønt og solidarisk samfund. Ingen kan ændre verden alene, men sammen kan vi 🙌 [The Red-Green Alliance from Denmark]](https://pbs.twimg.com/profile_images/818395287857299456/C8NwJC_c.jpg)
Enhedslisten @Enhedslisten
40K Followers 454 Following Vi kæmper for et grønt og solidarisk samfund. Ingen kan ændre verden alene, men sammen kan vi 🙌 [The Red-Green Alliance from Denmark]
Favorite movie lines @TitlesInMedia
137K Followers 0 Following For when the title is said by a character in films, games or TV.
Jeroen Engels @jfmengels
1K Followers 424 Following Elm developer. Author of @elmreview. Co-host of @elmradiopodcast. Working on making programming easier through static analysis and FP. Opinions are my own.
/Fay-lee-nuh/ @Felienne
15K Followers 3K Following Moved to BlueSky permanently: https://t.co/WV7NIocqDD
Terrible Maps @TerribleMaps
1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]
Ryan C. Gordon @icculus
11K Followers 72 Following I build things that help you build games. Contribute to me building things at https://t.co/ItQM6mnOK1 !
Oils for Unix @oilsforunix
423 Followers 265 Following Oils: our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
@[email protected] @donsbot
6K Followers 0 Following Not on Twitter anymore. Follow me at https://t.co/TsydQVKe5X and https://t.co/yZojCG7KEO
The Egel Language @egel_language
25 Followers 139 Following Egel is an untyped concurrent functional scripting language based on eager combinator rewriting with a concise but remarkably powerful syntax.
Pema99 @pemathedev
556 Followers 526 Following Senior Graphics Engineer, Light Transport @Unity. Opinions my own. Check out https://t.co/o89V9xOEep Love graphics, VR, language dev and functional programming
Olle Fredriksson @ollfredo
340 Followers 281 Following Joined to follow @plt_borat. Compilers and functional programming. https://t.co/jhXCQH3smp https://t.co/7w3hKa2yLJ
Sci-Hub @sci_hub_
117K Followers 0 Following
Phil Eaton @eatonphil
25K Followers 612 Following cheerleader, organizer, staff software engineer, databases
Something Awful @Something_Awful
5K Followers 31 Following Web 2.0 makes you stupid twice as fast Give SA all of your money here: https://t.co/GkHqIDW8bx
Kenneth @edbkenneth
4K Followers 307 Following Hele Danmarks humørprofil. Samarbejde skal ske via min manager @haag_jens, den intellektuelle gamer.
Jeff Vogel @spiderwebsoft
10K Followers 91 Following Founded Spiderweb Software in 1994. Has written many games, including the Exile, Geneforge, Avadon, and Avernum series. Geneforge 2 - Infestation is out!
ɟɟoɥɹǝppıɹ @hoffridder
1K Followers 677 Following dysfunctional programming language developer LANG: en_US, es_ES, da_DK, C/C++, js/ts, WASM, hs/kms Tryna make friends
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
FOSDEM @fosdem@fossto... @fosdem
22K Followers 156 Following FOSDEM is a free and non-commercial event organized by the community, for the community.
Tim Kronsell @sleyheron
533 Followers 306 Following I bought a checkmark to annoy you. Yes YOU. You don't have to care about the opinions of people you don't care about.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Magnus Madsen @MagnusMadsenDK
292 Followers 202 Following Associate Professor. Lead developer of Flix.
ADSP: The Podcast @adspthepodcast
3K Followers 11 Following A podcast about algorithms and everything software related hosted by @code_report && (@blelbach || @ben_deane)
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
La Fée Verte CPH @LaFeeVerteCph
6 Followers 1 Following vinyl based psych/rock bar H.C Ørsteds vej 6
marvelmorten @marvelmorten
936 Followers 109 Following
Sidsel Jensen @Purple0x
455 Followers 612 Following Female unix geek & open source lover & Chairman IDA-IT & Mrs. Postmistress @ OXTrends for United States
You might like
