frescosecco, to Lisp
@frescosecco@mastodon.social avatar

Alien technology, core Erlang foundation, utterly terrifying, language lab.
I like the site :)
https://lfe.io/

az, to programming
@az@scorpinc.social avatar

i'm learning by implementing some of the Z39.50 in it and i get it now, i get why people love erlang for networking code.

sean, to elixir
@sean@dice.camp avatar

Often, as engineers, we champion "the right tool for the job," yet we limit our knowledge of tools, intentionally or not. Please learn about Elixir/Erlang and decide if it's the right tool for the problems you face as an engineer--it's absolutely worth it!

https://www.youtube.com/watch?v=JvBT4XBdoUE

rml, to programming
@rml@functional.cafe avatar

: a binary pattern matcher inspired by 's (which is an incredible feature that every language should consider implementing) for

https://docs.racket-lang.org/bitsyntax/index.html#(part._.Pattern-matching_bit_strings)

athousandcateaus, to haskell

I'm trying to get into functional programming and am looking for audio resources that are interesting/helpful to listen to while driving/doing other things. I would prefer something that talks about functional programming in general and the concepts or that is haskell-oriented, but i'm open to all resources. Thank you!

frescosecco, to programming
@frescosecco@mastodon.social avatar

Oh, another new Language server (written in )
https://github.com/sile/erlls

galdor, to programming
@galdor@emacs.ch avatar

I would argue than is more suitable for writing compilers than just because it has built-in pattern matching, tuples and map literals. Clojure got literals right but no pattern matching. Oh and DESTRUCTURING-BIND in CL does not count.

abcdw, to golang
@abcdw@fosstodon.org avatar

Found a nice talk on concurrency. It has a very brief comparison of different concurrency models, like Erlang's Actors, Hoare's CSP, Go's goroutines, Clojure's core.async, Concurrent ML (aka Fibers in Guile).

Primary focus on Concurrent ML (but examples are in Scheme with type annotations ><).

https://youtu.be/pf4VbP5q3P0

#go #golang #clojure #lisp #guile #scheme #ocaml #concurrency #erlang

frescosecco, to programming
@frescosecco@mastodon.social avatar

If you're interested in (Lisp Flavoured ) and how to use it in a mixed-with-Erlang approach, look through λMUD as an example:
https://github.com/lfeutre/lmud

Erlang/LFE interop is free lunch, basically.

hrefna, to random
@hrefna@hachyderm.io avatar

Got tired of typing the same thing again and again.

geography,

@hrefna Are you building an actor system as in actors? (If so wow, that sounds amazing!) Or are there actor-based concurrency implementations available in OCaml already?

I'm starting to explore the OCaml ecosystem and I'm fond of the concurrency model, hence my curiosity :)

rbino, to elixir
@rbino@patavium.social avatar

New blog post! This one is about using the magic of Zig's comptime to reduce mechanical noise in the implementation of Elixir/Erlang NIFs

https://rbino.com/posts/wrap-your-nif-with-zig

@elixir

frescosecco, to programming
@frescosecco@mastodon.social avatar

There's a long-standing open PR for to add code generation for graphical user interfaces.
https://github.com/wxFormBuilder/wxFormBuilder/pull/650
This, of course, would be awesome. I also discovered that you can build a whole GUI in wxFormBuilder, export it as an XRC file and then load the GUI into your wxErlang application. I had to figure out a couple of tricks, but it works nicely and you can build complex, good-looking GUIs with it (Linux/Mac/Win).

rml, to elixir
@rml@functional.cafe avatar

in terms of industry programming languages that any programmer can hit the ground running with little to no ramp up, does the best job imo. I never used ruby, but its all so obvious you can just get to work. and for distributed systems that need to scale in a flexible way, the eliminates nearly everything that makes webapp development horrible. it's hard to make a good argument for any other industrial virtual machine. implementations being the exception.

rml,
@rml@functional.cafe avatar

@askonomm flavored erlang, a lisp on the BEAM by Comrade Robert Virding, one of the original creators of https://lfe.io/

jbzfn, to FunctionalProgramming
@jbzfn@mastodon.social avatar

λ What is Functional Programming?
➥ Magnus Sedlacek - Ada Beat


https://adabeat.com/fp/what-is-functional-programming/

drmorr, to random
@drmorr@hachyderm.io avatar

Ok, time to liveblog another paper! This time I'm reading a paper from Google published in HOTOS '23:

Towards Modern Development of Cloud Applications by Sanjay Ghemawat, Robert Grandl, Srdjan Petrovic, Michael Whittaker Parveen Patel, Ivan Posva, and Amin Vahdat

https://dl.acm.org/doi/abs/10.1145/3593856.3595909

lispi314,
@lispi314@mastodon.top avatar

@drmorr The suggested architecture sounds very similar in my opinion to how /OTP systems are built.

hauleth, to elixir
@hauleth@fosstodon.org avatar

Anyone looking for someone with a little bit of and experience?

You may know me from rewriting Elixir Logger back in 1.10, creating the CLI output for coverage back in 1.7, some work on OTP logger and socket modules, some work on OpenTelemetry Erlang implementation and stuff. I also helped people over ElixirForum, Slack, and Discord.

frescosecco, to programming
@frescosecco@mastodon.social avatar

New Whatsapp repo: Erlang Language Platform. LSP server and CLI.
https://github.com/WhatsApp/erlang-language-platform

kroc, (edited ) to random
@kroc@mstdn.social avatar

Pro Tip: Learn an old programming language. , , ; or if you’re hardcore. All of these have modern tooling. Don’t tie yourself solely to modern platform politics.

jimfl, to programming
@jimfl@hachyderm.io avatar

https://utcc.utoronto.ca/~cks/space/blog/linux/SystemdRestartHidesProblems

This blog post points out that automatically restarting processes can hide problems, which is certainly true. Doesn’t have to be systemd. Something like supervisor trees in / might do the same.

If you’re restarting something, measure restarts and plot them on a graph. If it’s happening, understand why it’s happening. If it’s designed to fail, fail it on purpose at a regular cadence to make sure that failure is being compensated for correctly.

lamp, to elixir

what the hell is the difference betwen and and which of these would I use to run ??

https://hub.docker.com/_/elixir
https://hub.docker.com/_/erlang

natty, to random
@natty@astolfo.social avatar

Languages normally: Yeah serialization is hard, we

Python: Okay what if I stored my entire state in a file, including the program itself

tetrislife,

@lispi314 @natty also #Prolog, where the program state can effectively be dealt with as "just" a cache of computations that gets refreshed on every program start.

That is ignoring the gnarly bits like external state that no environment has a chance of getting right.

Also #Erlang, the other extreme where you can design for not letting the system go down at all.

hrefna, to random
@hrefna@hachyderm.io avatar

Why I had been wanting to learn #OCaml, an incomplete list. I wanted to learn something:

  • Fairly "mathy."
  • Functional.
  • At least 10 years old.
  • With fairly significant production use, at least somewhere, for server environments with reasonable out-of-box performance.
  • That I did not already know.
  • That's actively maintained.
  • Easy to use on gitpod w/ good vscode integration.
  • Reasonable package library.
  • That did not make me miserable every time I wanted to do IO.
  • Fairly niche.
hrefna,
@hrefna@hachyderm.io avatar

There are a few languages that thread this needle, but I'm a bit surprised that there aren't more.

In particular I've found the integration with in to be quite lovely and work exceptionally well and that eliminates a largish number of possibilities (e.g., clean, F*, to a lesser extent F#, Flix).

I know and quite well. I didn't really want yet-another-JVM language anyways unless very unusual. I knew at one point.

So OCaml seemed like a reasonable choice.

frescosecco, to Lisp
@frescosecco@mastodon.social avatar

LFE Exchange. A curated collection of LFE libraries.
https://github.com/lfex

galdor, to programming
@galdor@emacs.ch avatar

1B users, 50 engineers. Yes, using simple and robust tech (/) helps. But note the part about keeping teams small (1-3 engineers) with a lot of autonomy.

So many companies miss this part and destroy all productivity.

https://blog.quastor.org/p/whatsapp-scaled-1-billion-users-50-engineers

RyunoKi, to mathematics
@RyunoKi@layer8.space avatar

Are you into ?
Do you know that still look for a subject to graduate on?

Assign them to implement in .

I was informed that the community will thank you.

Would be great if the community like and friends could spread the word!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines