#systemf — Public Fediverse posts

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsRaveForever

System F:
🎵 Out Of The Blue

#SystemF

https://davidheart.bandcamp.com/track/systemf-outoftheblue-davidheart-holidays-2022-mashup

https://open.spotify.com/track/7fIfO8fZ55Eq5qtd5vCd6z

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsRaveForever

System F:
🎵 Out Of The Blue

#SystemF

https://davidheart.bandcamp.com/track/systemf-outoftheblue-davidheart-holidays-2022-mashup

https://open.spotify.com/track/7fIfO8fZ55Eq5qtd5vCd6z

From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations").

https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/

#PLUSLE #logic #semantics #polymorphism #systemF #lambdaCalculus #programmingLanguages

Getting by in logic with just a provisional understanding of #SystemF and #SystemT – that’s #SystemD

https://en.wikipedia.org/wiki/System_D

Getting by in logic with just a provisional understanding of #SystemF and #SystemT – that’s #SystemD

https://en.wikipedia.org/wiki/System_D

🔴 LIVE NOW ON VORTEX
📻 Vortex Sessions 🎧 (Indie pop, synth-pop, alternative rock)
──────────────
🎵 System F - Out of the Blue

▶️ Écouter / Listen : VorteX [Radio]
https://lesonduvortex.net

💬 Join us on Discord:
https://discord.gg/d82hJZBeDE

#VortexWave #SystemF #Trance #ProgressiveHouse #90s

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsRaveForever

System F:
🎵 Out of the Blue

#SystemF

https://edicionesyremixesdjalesvanhotmailcom.bandcamp.com/track/system-f-out-of-the-blue-ext-edit

https://open.spotify.com/track/7fIfO8fZ55Eq5qtd5vCd6z

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsRaveForever

System F:
🎵 Out of the Blue

#SystemF

https://edicionesyremixesdjalesvanhotmailcom.bandcamp.com/track/system-f-out-of-the-blue-ext-edit

https://open.spotify.com/track/7fIfO8fZ55Eq5qtd5vCd6z

@screwtape https://en.wikipedia.org/wiki/Lambda_cube #lambdacalculus #coq #systemf

@screwtape https://en.wikipedia.org/wiki/Lambda_cube #lambdacalculus #coq #systemf

I just finished the State section of #systemf's #fpcourse! I wanted to double down on learning #haskell before I got back to working on projects.

https://gist.github.com/hyperrealgopher/2990e00193f65a56009fac37cec0372c

A link to my older solutions: https://fosstodon.org/@hyperrealgopher/105960643461269805

I need to keep my comments that I write to think out problems instead of deleting them to make my code seem clearer as I progress through #systemf's #fpcourse.

Others might find that useful.

#haskell