alcinnz
alcinnz boosted

List of #Supercompilation Resources and Papers:

https://github.com/etiams/supercompilation-resources

"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."

#Compiler#PLT#FunctionalProgramming#Performance

I am currently looking for a #job . I am an experienced (senior) software developer/engineer with 7y of experience. If someone is looking for a capable software engineer or knows someone looking for engineers, please let me know.

I do #python #scheme #django #docker and aim for reproducible software. I learned some #devops and #ansible and can manage servers. Used to do #fullstack dev work, before everything needed to be an SPA.

I am looking for #remote work or work in #berlin or #potsdam .

I also got experience with the following (5 = a lot, 1 = a little) :

#machinelearning #ml (3) (I have implemented some ML models myself in the past, for learning purposes.)
#guix (3) (Using it for reproducible setups of projects.)
#functionalprogramming #fp (5) (Doing it in my own projects.)
#objectorientedprogramming #oop (4) (last job and past 😜 in my own projects.)
#CI / #CD (3) (Last job)
#make (4) (using it for my own project setups and convenience)
#testing (4) (last job, own projects)

paulyd
Paweł Świątkowski
paulyd and 1 other liked this activity

I'm speaking at CodeBEAM Europe 2025! 😁

I'll be exploring how Gleam's type system naturally fits with Domain-Driven Design principles. The language's structs, union types, and functional approach let you model business domains in ways that are both technically sound and genuinely understandable to domain experts.

Plus, you get all the reliability and concurrency benefits that come with running on the BEAM.

See you in Berlin this November!

#CodeBEAM#Gleam#DDD#FunctionalProgramming#BEAM#Elixir#Erlang

I'm speaking at CodeBEAM Europe 2025! 😁

I'll be exploring how Gleam's type system naturally fits with Domain-Driven Design principles. The language's structs, union types, and functional approach let you model business domains in ways that are both technically sound and genuinely understandable to domain experts.

Plus, you get all the reliability and concurrency benefits that come with running on the BEAM.

See you in Berlin this November!

#CodeBEAM#Gleam#DDD#FunctionalProgramming#BEAM#Elixir#Erlang

Paweł Świątkowski
alcinnz
fresco
Paweł Świątkowski and 2 others boosted

Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement.
If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.

https://gleam.run

#Gleam#Elixir#Rust#FunctionalProgramming#FP

Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement.
If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.

https://gleam.run

#Gleam#Elixir#Rust#FunctionalProgramming#FP

List of #Supercompilation Resources and Papers:

https://github.com/etiams/supercompilation-resources

"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."

#Compiler#PLT#FunctionalProgramming#Performance