codeinaboxEnglish · 3 days agopermission to begin learningplus-squareficd.shexternal-linkmessage-square1linkfedilinkarrow-up17arrow-down11
arrow-up16arrow-down1external-linkpermission to begin learningplus-squareficd.shcodeinaboxEnglish · 3 days agomessage-square1linkfedilink
greenbelt@lemy.lolEnglish · 23 days agoKoto Programming Languageplus-squarekoto.devexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkKoto Programming Languageplus-squarekoto.devgreenbelt@lemy.lolEnglish · 23 days agomessage-square0linkfedilink
greenbelt@lemy.lolEnglish · 23 days agoRue Languageplus-squarerue-lang.devexternal-linkmessage-square0linkfedilinkarrow-up111arrow-down14
arrow-up17arrow-down1external-linkRue Languageplus-squarerue-lang.devgreenbelt@lemy.lolEnglish · 23 days agomessage-square0linkfedilink
socEnglish · 1 month agoConcrete syntax mattersplus-squareyoutube.comexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-linkConcrete syntax mattersplus-squareyoutube.comsocEnglish · 1 month agomessage-square0linkfedilink
socEnglish · 2 months agoLibrary Design: Naming Conventions – Streamingplus-squaresoc.meexternal-linkmessage-square1linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLibrary Design: Naming Conventions – Streamingplus-squaresoc.mesocEnglish · 2 months agomessage-square1linkfedilink
socEnglish · 2 months agoLanguage Design Notesplus-squarecs.lmu.eduexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkLanguage Design Notesplus-squarecs.lmu.edusocEnglish · 2 months agomessage-square0linkfedilink
socEnglish · 2 months agoLibrary Design: Naming Conventions – Lookupplus-squaresoc.meexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkLibrary Design: Naming Conventions – Lookupplus-squaresoc.mesocEnglish · 2 months agomessage-square0linkfedilink
codeinaboxEnglish · 2 months agoThe Return of Language-Oriented Programmingplus-squareblog.evacchi.devexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkThe Return of Language-Oriented Programmingplus-squareblog.evacchi.devcodeinaboxEnglish · 2 months agomessage-square0linkfedilink
jeff_hykin@lemmy.world · 3 months agoThe "Impossible" Optimization (Mojo compile time magic)plus-squareverdagon.devexternal-linkmessage-square2linkfedilinkarrow-up14arrow-down11
arrow-up13arrow-down1external-linkThe "Impossible" Optimization (Mojo compile time magic)plus-squareverdagon.devjeff_hykin@lemmy.world · 3 months agomessage-square2linkfedilink
jh29a@lemmy.blahaj.zone · 3 months agowhich languages have a REPL and Type Annotation?plus-squaremessage-squaremessage-square16linkfedilinkarrow-up14arrow-down11
arrow-up13arrow-down1message-squarewhich languages have a REPL and Type Annotation?plus-squarejh29a@lemmy.blahaj.zone · 3 months agomessage-square16linkfedilink
socEnglish · 3 months agoLanguage Design: Fixing Rust's mistakesplus-squaresoc.meexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkLanguage Design: Fixing Rust's mistakesplus-squaresoc.mesocEnglish · 3 months agomessage-square0linkfedilink
codeinaboxEnglish · 3 months agoA Lean Syntax Primerplus-squareoverreacted.ioexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkA Lean Syntax Primerplus-squareoverreacted.iocodeinaboxEnglish · 3 months agomessage-square0linkfedilink
david_@discuss.tchncs.deEnglish · edit-23 months agoRaku: The Programming Language You Didn't Know You Neededplus-squarewww.youtube.comexternal-linkmessage-square4linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkRaku: The Programming Language You Didn't Know You Neededplus-squarewww.youtube.comdavid_@discuss.tchncs.deEnglish · edit-23 months agomessage-square4linkfedilink
socEnglish · 4 months agolosing language features: some stories about disjoint unionsplus-squaregraydon2.dreamwidth.orgexternal-linkmessage-square1linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linklosing language features: some stories about disjoint unionsplus-squaregraydon2.dreamwidth.orgsocEnglish · 4 months agomessage-square1linkfedilink
socEnglish · 4 months agoX Design Notes: Unifying OCaml Modules and Valuesplus-squareblog.polybdenum.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkX Design Notes: Unifying OCaml Modules and Valuesplus-squareblog.polybdenum.comsocEnglish · 4 months agomessage-square0linkfedilink
SuperFolaEnglish · 4 months agoI released ArkScript v4plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkI released ArkScript v4plus-squaregithub.comSuperFolaEnglish · 4 months agomessage-square0linkfedilink
socEnglish · 5 months agoThe Core of Rustplus-squarejyn.devexternal-linkmessage-square3linkfedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkThe Core of Rustplus-squarejyn.devsocEnglish · 5 months agomessage-square3linkfedilink
shape_warrior_tEnglish · 5 months agoLeft to Right Programmingplus-squaregraic.netexternal-linkmessage-square1linkfedilinkarrow-up19arrow-down12
arrow-up17arrow-down1external-linkLeft to Right Programmingplus-squaregraic.netshape_warrior_tEnglish · 5 months agomessage-square1linkfedilink
KissakiEnglish · 5 months agoBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioexternal-linkmessage-square1linkfedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioKissakiEnglish · 5 months agomessage-square1linkfedilink
KissakiEnglish · 5 months agoPike Programming Languageplus-squarepike.lysator.liu.seexternal-linkmessage-square2linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkPike Programming Languageplus-squarepike.lysator.liu.seKissakiEnglish · 5 months agomessage-square2linkfedilink
