Jesper L. Andersen
@jlouis666CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
Similar User
@rvirding
@FrancescoC
@ErlangSolutions
@CodeBEAMio
@TheErlef
@icfp_conference
@thompson_si
@kosmikus
@ndm_haskell
@garazdawi
@robertoaloi
@peerstr
@ErlangWorkshop
@elbrujohalcon
@bryan_hunter
Currently in a Stan hole. Bayesian statistics is pretty cool.
A machine that always rejects!
Hello everyone, I have successfully made a Regex which accepts valid JSON and rejects invalid JSON
In alternative timeline, scuttlebutt.nz was picked up instead of Mastodon.
I'm guessing advertisers will leave Twitter, unless there's something I'm not seeing. This has the potential of a nuclear meltdown death spiral of doom you cannot stop even if you tried.
I have a question: Why was this not found before they put that code into a release? #OpenSSL
It has been 0 days since a high priority security issue caused by attempting to parse in C
Halloween came one day late in Denmark. This election is sinisterly close.
I'm making category theory videos on YouTube! The first two are up: they're on presheaves and products (from the Yoneda perspective). youtube.com/watch?v=CY21lm… youtube.com/watch?v=ge5M-Y… Who are these for? (1/3)
I'm here for the Xe commentary track.
Hello everyone, I have successfully made a Regex which accepts valid JSON and rejects invalid JSON
Lol. Programming is closer to a graph. It's unlikely to be planar.
The dream of a graphical programming language is an old one. There have been many attempts, and almost as many failures. The few successes have been in niches far removed from general purpose programming. Apparently programming is not two dimensional.
It's fun today. Would the openssl bug have been fixed with a proper programming language. Or langsec?
The problem with dynamically typed languages is that they favor the developer who writes the code at the expense of the person who will maintain it. This is exactly the opposite of what we want.
Google is useless ads as search results. Amazon is fake junk from China. Twitter is muskville. Facebook is legless second life. What happened?
Who would have thought....
I'm getting more convinced that Rust code is generally going to end up faster than C++ code every day I work on optimizations. Strong immutability and no-alias guarantees are a game-changer and we've only really begun to scratch the surface of what can be done.
Bacon is a fruit.
I will never stop posting linear logic memes.
United States Trends
- 1. #idegen N/A
- 2. #instagramdown 6.757 posts
- 3. $CUTO 9.214 posts
- 4. West Point 18,6 B posts
- 5. #facebookdown 6.601 posts
- 6. Tucker 43,1 B posts
- 7. WNBA 44,9 B posts
- 8. Jeff Van Drew 9.007 posts
- 9. Snoop 10,6 B posts
- 10. Taina 8.005 posts
- 11. #FreenXRedSeaFilm 93,5 B posts
- 12. #BeckyXRedSeaFilm 74,4 B posts
- 13. Paredes 10,7 B posts
- 14. Josh Williams 1.821 posts
- 15. WhatsApp 201 B posts
- 16. New Jersey 80,7 B posts
- 17. Gemini 2.0 5.317 posts
- 18. GLP-1 1.942 posts
- 19. FIFA 76,4 B posts
- 20. McConnell 89,4 B posts
Who to follow
-
Robert Virding
@rvirding -
Francesco Cesarini
@FrancescoC -
Erlang Solutions
@ErlangSolutions -
Code BEAM
@CodeBEAMio -
Erlang Ecosystem Foundation
@TheErlef -
ICFP Conference
@icfp_conference -
Simon Thompson
@thompson_si -
Andres Löh
@kosmikus -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Lukas Backström (FKA Larsson)
@garazdawi -
Roberto Aloi
@robertoaloi -
Peer Stritzinger
@peerstr -
Erlang Workshop
@ErlangWorkshop -
Brujo Benavides
@elbrujohalcon -
Bryan Hunter
@bryan_hunter
Something went wrong.
Something went wrong.