Create accountLogin

Recent searches

No recent searches

Search options

Not available on lingo.lol.
lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Administered by:

Server stats:

72
active users

lingo.lol: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#fp

3 posts3 participants0 posts today
Public
Jan de Muijnck-Hughes

A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib

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.

Deadline for getting in contact is: Thursday 20th March 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

strath.ac.uk/studywithus/postg

www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
#PL#Idris#TypeTheory
Public *
Hanna

1/2 "Laaja asukas- ja järjestöaktiiveista sekä Suomen kommunistisen puolueen ja Feministisen puolueen edustajista koostuva joukko on perustanut Asukkaiden ääni -nimisen valitsijayhdistysten yhteislistan Helsingin kuntavaaleihin."

Aiemmin #FP:sta ehdolla olleita on myös #vasemmistoliitto n ehdokkaina, ja nämä on jo toiset #kuntavaalit, kun #EOP (ja #FeministinenPuolue) haluaisivat eri paikkakunnilla #vasemmisto n kanssa #vaaliliitto on.

Jatk.

#politiikka #kunnat

mementomori.social/@asukkaiden

Memento moriAsukkaiden ääni (@asukkaidenaani@mementomori.social)Asukkaiden ääni -yhteislista mukaan vaaleihin Helsingissä Laaja asukas- ja järjestöaktiiveista sekä Suomen kommunistisen puolueen ja Feministisen puolueen edustajista koostuva joukko on perustanut Asukkaiden ääni -nimisen valitsijayhdistysten yhteislistan Helsingin kuntavaaleihin. Kummallakin jo mukana olevalla puolueella on valtuustokokemusta viime vuosilta, ja yhteislistalla onkin realistiset mahdollisuudet vähintään yhteen valtuustopaikkaan huhtikuun vaaleissa. Yhteistyö ei kuitenkaan rajoitu vaaleihin, vaan tavoitteena on muuttaa päätöksenteon rakenteita ja lisätä demokratiaa tarjoamalla asukkaille ja järjestöille suoria poliittisia vaikutuskanavia. Pääteemoina demokratia, lähiluonto, palvelut ja halvempi asuminen Demokratia on Asukkaiden ääni -listan keskeinen vaaliteema. Oli kyse sitten kaavoituksen kuulemismenettelyistä, Hekan asukkaiden sivuuttamisesta tai pormestarimallin voimistamasta kabinettipolitiikasta, yhteislistan ehdokkaat kokevat, että kaupunkilaisten ääntä on päätöksenteossa vahvistettava. Muut pääteemat ovat lähiluonto, paremmat palvelut ja halvempi asuminen. Ilmastonmuutos ja luontokato uhkaavat koko ihmiskunnan olemassaoloa. Tulevaisuudelta vie pohjan myös leikkaaminen varhaiskasvatuksesta, koulutuksesta ja terveydenhuollosta. Hallituksen kurjistamispolitiikka on sysännyt yhä useammat helsinkiläiset köyhyyteen. Valtuustolla on halutessaan lukuisia keinoja lievittää heidän ahdinkoaan laskemalla asuinkustannuksia. Lisätietojen antajat: Lauri Alhojärvi Puheenjohtaja, Feministinen puolue 041-3100685 lauri.alhojarvi@feministinenpuolue.fi Heikki Ketoharju Puheenjohtaja, Suomen kommunistisen puolueen Helsingin piirijärjestö 050-9189139 heikki.ketoharju@iki.fi Sosiaalinen media: Facebook: https://www.facebook.com/asukkaidenaanihki/ Bluesky: https://bsky.app/profile/asukkaidenaani.bsky.social Mastodon: https://mementomori.social/@asukkaidenaani Asukkaiden ääni Kyllä lähipalveluille – ei jättikeskuksille
Public
Hanna

#AtteAhokas on näemmä vassareiden #kuntavaalit ehdokas Stadissa.

helsinki.vasemmisto.fi/embed/k

Taitaa #vihreät olla harmistuneet. Vähän kuin X vuotta sitten, kun #MinjaKoskela liittyi #vasemmistoliitto on eikä #FP:en.

#FeministinenPuolue ei näemmä ole saanut kuin vajaa 1700 kannattajaa paluulle puoluerekisteriin, ja keräys loppuu helmikuussa. Onkohan sen tarina taputeltu? Näemmä #SofiaLönnroth kin, joka aiemmin oli heikäläisiä, on nyt #vasemmisto n ehdokas.

puoluerekisteri.fi/#/hakemukse

Helsingin Vasemmistoliitto · Kuntavaaliehdokkaat 2025Oikeus hyvään elämään kuuluu kaikille.
#politiikka
Public
jmsfbs

I'm James, I've only recently started using Mastodon. Mainly after #cohost shut down.

I love #music. I play guitar and sing, solo and in a band. I live in the #bluemountains in Australia.

I'm also a software dev who's pretty active in the #JS ecosystem. I love #postgres and #duckdb I used to be more active in #fp spaces but not so much now.

Completely as a hobby I'm interested in #gamedev / #gamedesign

I'm fairly #left leaning but I don't get too political online.

#introduction
Public
David JONES

Normal programmer when learning page description language PostScript begins by defining Higher Order function `fold`

% a b c -- b c a
/rot { 3 -1 roll } def
% ⊢ any_1 ... any_n proc -- any
/fold { count 1 sub
2 1 rot { pop dup 4 1 roll exec exch } for pop
} def

#fp#PostScript
Public
Rouven Malecki

Welcome Twitter migrants! I guess it's a good time for an #introduction
I've been creating #videogames since 1994 on all conceivable platforms. These days, I am a consulting CTO for a fintech startup, as well as part of a tiny indie game studio.
I mostly work with #elixir #phoenixframework #ruby #rails #unity #csharp and have a passion for #functionalprogramming #fp.
Currently writing a book on building a scalable multiplayer game server with Elixir.

Public *
amen zwa, esq.

Many #FP languages compile down to C or LLVM IR and, from thence, down to binary. That is all well and good, but I think there is a simpler, better way: to target the classic #Scheme #R4RS as the IR, then use a modern optimising Scheme implementation to compile that IR down to binary.

MacCarthy's #LISP was an imperfect, albeit practical, rendition of 𝜆-calculus, which is the ideal IR for FP languages. By extension, a subset of modern Scheme is the perfect IR for FP languages.

ExploreLive feeds
About