Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
dmv.community is one of the many independent Mastodon servers you can use to participate in the fediverse.
A small regional Mastodon instance for those in the DC, Maryland, and Virginia areas. Local news, commentary, and conversation.

Administered by:

Server stats:

165
active users

dmv.community: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#idris

0 posts0 participants0 posts today
Jan de Muijnck-Hughes<p>A *gentle* reminder that, I have a funded <a href="https://discuss.systems/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> position for UK students, available with myself and <span class="h-card" translate="no"><a href="https://types.pl/@bentnib" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bentnib</span></a></span></p><p>This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.</p><p>Deadline for getting in contact is: Thursday 20th March 2025</p><p>You will belong to <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@StrathCyber" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>StrathCyber</span></a></span> and <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mspstrath</span></a></span>, as well as gaining access to <span class="h-card" translate="no"><a href="https://mastodon.scot/@spli" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>spli</span></a></span></p><p><a href="https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">strath.ac.uk/studywithus/postg</span><span class="invisible">raduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/</span></a></p><p><a href="https://discuss.systems/tags/PL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PL</span></a> <a href="https://discuss.systems/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Idris</span></a> <a href="https://discuss.systems/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeTheory</span></a> <a href="https://discuss.systems/tags/Security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Security</span></a> <a href="https://discuss.systems/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://discuss.systems/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a></p>
Jan de Muijnck-Hughes<p>I have a funded <a href="https://discuss.systems/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> position for UK students, available with myself and <span class="h-card" translate="no"><a href="https://types.pl/@bentnib" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bentnib</span></a></span> </p><p>This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.</p><p>Deadline: Thursday 20th March 2025</p><p>You will belong to <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@StrathCyber" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>StrathCyber</span></a></span> and <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mspstrath</span></a></span>, as well as gaining access to <span class="h-card" translate="no"><a href="https://mastodon.scot/@spli" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>spli</span></a></span> </p><p>For now more details about the project are on my personal website.</p><p><a href="https://tyde.systems/page/position/2025-jarss/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tyde.systems/page/position/202</span><span class="invisible">5-jarss/</span></a></p><p>Please spread the words. </p><p><a href="https://discuss.systems/tags/dependentTypes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependentTypes</span></a> <a href="https://discuss.systems/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalMethods</span></a> <a href="https://discuss.systems/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a> <a href="https://discuss.systems/tags/programmingLanguageTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programmingLanguageTheory</span></a> <a href="https://discuss.systems/tags/typeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typeTheory</span></a> <a href="https://discuss.systems/tags/idris2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris2</span></a> <a href="https://discuss.systems/tags/computerSecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computerSecurity</span></a> <a href="https://discuss.systems/tags/cybersecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cybersecurity</span></a> <a href="https://discuss.systems/tags/securityByDesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>securityByDesign</span></a> <a href="https://discuss.systems/tags/secureByDesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>secureByDesign</span></a></p>
AnthonyA weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly).<br><br>When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like <code>append</code> or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.<br><br>I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.<br><br>I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:<br><br><a href="https://buc.ci?t=coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coding</a> <a href="https://buc.ci?t=softwaredevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareDevelopment</a> <a href="https://buc.ci?t=programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://buc.ci?t=8086assembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#8086Assembly</a> <a href="https://buc.ci?t=basic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BASIC</a> <a href="https://buc.ci?t=c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#C</a> <a href="https://buc.ci?t=pascal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Pascal</a> <a href="https://buc.ci?t=perl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#perl</a> <a href="https://buc.ci?t=java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#java</a> <a href="https://buc.ci?t=scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scala</a> <a href="https://buc.ci?t=lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LISP</a> <a href="https://buc.ci?t=scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scheme</a> <a href="https://buc.ci?t=prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://buc.ci?t=mathematica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathematica</a> <a href="https://buc.ci?t=objectivec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ObjectiveC</a> <a href="https://buc.ci?t=matlab" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#matlab</a> <a href="https://buc.ci?t=octave" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#octave</a> <a href="https://buc.ci?t=r" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#R</a> <a href="https://buc.ci?t=python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a> <a href="https://buc.ci?t=fortran" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fortran</a> <a href="https://buc.ci?t=cobol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#COBOL</a> <a href="https://buc.ci?t=haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://buc.ci?t=clean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clean</a> <a href="https://buc.ci?t=flix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Flix</a> <a href="https://buc.ci?t=curry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Curry</a> <a href="https://buc.ci?t=factor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Factor</a> <a href="https://buc.ci?t=unison" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Unison</a> <a href="https://buc.ci?t=joy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Joy</a> <a href="https://buc.ci?t=idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Idris</a> <a href="https://buc.ci?t=agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Agda</a> <a href="https://buc.ci?t=lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> <a href="https://buc.ci?t=6502assembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#6502Assembly</a><br>
Jan de Muijnck-Hughes<p>Might as well join the <a href="https://discuss.systems/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> bandwagon. This more or less repeats my ‘bio’.</p><p>I’m a <a href="https://discuss.systems/tags/researcher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>researcher</span></a> at Glasgow Uni’s School of Computing Science. My interests are in <a href="https://discuss.systems/tags/typeDriven" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typeDriven</span></a> approaches to <a href="https://discuss.systems/tags/trustworthySystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trustworthySystems</span></a>, specialising in <a href="https://discuss.systems/tags/dependentTypes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependentTypes</span></a> (<a href="https://discuss.systems/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a>) &amp; <a href="https://discuss.systems/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalProgramming</span></a>. But I’m not solely in the FP Church, other languages are just as beautiful. I’m also an enthusiast of other <a href="https://discuss.systems/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalMethods</span></a>.</p>
Jan de Muijnck-Hughes<p>Might as well join the <a href="https://types.pl/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> bandwagon. This more or less repeats my ‘bio’.</p><p>I’m a <a href="https://types.pl/tags/researcher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>researcher</span></a> at Glasgow Uni’s School of Computing Science. My interests are in <a href="https://types.pl/tags/typeDriven" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typeDriven</span></a> approaches to <a href="https://types.pl/tags/trustworthySystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trustworthySystems</span></a>, specialising in <a href="https://types.pl/tags/dependentTypes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependentTypes</span></a> (<a href="https://types.pl/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a>) &amp; <a href="https://types.pl/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalProgramming</span></a>. But I’m not solely in the FP Church, other languages are just as beautiful. I’m also an enthusiast of other <a href="https://types.pl/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalMethods</span></a>.</p><p>While I’ve not been as successful in my career as I would like, I have a wealth of (unpublished) knowledge unsubstantiated by beans. I’m a big believer that we should not judge researchers successes by a publication count; it’s all so circumstantial!</p><p>Whilst I don’t have <a href="https://types.pl/tags/mentalHealth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mentalHealth</span></a> issues, I do suffer from periods of low mood &amp; insecurities due to being classically unsuccessful in publishing &amp; being on a perilous contract.</p><p>My work doesn’t define me and I have other interests outside.</p><p>I’m a <a href="https://types.pl/tags/parent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>parent</span></a> too.</p>
Christopher League<p>Reactivating — Hello! I’m into:<br>• Functional programming, especially <a href="https://scholar.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a>, <a href="https://scholar.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a>, <a href="https://scholar.social/tags/elmlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>elmlang</span></a>, <a href="https://scholar.social/tags/purescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>purescript</span></a><br>• Proof systems &amp; software correctness tools <a href="https://scholar.social/tags/coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coq</span></a>, <a href="https://scholar.social/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a>, <a href="https://scholar.social/tags/agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agda</span></a>, <a href="https://scholar.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a><br>• Scientific data acquisition &amp; analysis, <a href="https://scholar.social/tags/gpu" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gpu</span></a> frameworks<br>• Reproducible builds, <a href="https://scholar.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nixos</span></a>, <a href="https://scholar.social/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nixpkgs</span></a><br>• Non-traditional families (<a href="https://scholar.social/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>queer</span></a>, interracial)<br>• <a href="https://scholar.social/tags/ADHD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ADHD</span></a> strategies &amp; other <a href="https://scholar.social/tags/neurodivergent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurodivergent</span></a> perspectives<br>• Black natural hair care, for Ms. 7yo<br>• <a href="https://scholar.social/tags/Classical" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Classical</span></a> &amp; electronic music, dabbling at piano as a busy adult</p>
ExploreLive feeds
About