Concurrency Models

Feeds to Scour
SubscribedAll
Scoured 113 posts in 7.7 ms

The design principles of the Elixir type system

 🔧PLT  Content type: Academic
arxiv.org··Hacker News

Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents

 🤖AI
deflua.com··Hacker News

Thinking Elixir 307: Trust Nothing, Sort Everything

 🔍Symbolic Execution
elixirstatus.com·

Erlang security advisory (AV26-581)

 🐫Ocaml
malware.news·

307: Trust Nothing, Sort Everything

 🔍Symbolic Execution  Content type: Audio

Credo Language Server and the birth of elixir-tools

 🔧PLT
mitchellhanberg.com·

Erlang Solutions Webinar Round-Up

 🔍Refinement Types  Content type: Blog
erlang-solutions.com·

Release v1.20.1 · elixir-lang/elixir

 🪜Scala  Content type: Code
github.com·

Rust Coding Conventions and Learning Resources

 🦀Rust

Erlang/OTP 29.0 Release Candidate 3

 🐫Ocaml
erlang.org·

Building a Zero-Trust iOS Architecture: SwiftUI meets Rust and MLS — Part 2

 🦀Rust  Content type: Blog
medium.com·

Running Dialyzer for Elixir Projects in GitHub Actions

 🔎Semantic Analysis  Content type: Blog
stratus3d.com·

How a bunch of bloody-minded monks produced a secret elixir for health

 🪜Scala
eatweeds.co.uk·

Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options

 🔧PLT
alternativeto.net·

A Concurrent Language for Non-Concurrent Software (2010)

 🔍Symbolic Execution

Example of Person CRUD application built with Erlang/OTP

 🪜Scala
elixirstatus.com·

A worm in my Erlang cluster, and adventures in microfluidics

 🔍Symbolic Execution  Content type: Blog

Why Building AI Data Centres Isn’t Working Anymore

 🪜Scala  Content type: Video
youtube.com·

Honeysuckle on the trail

 💻Claude  Content type: Blog
lauravanderkam.com·

The dangers of the Single Global Process

 🔍Symbolic Execution  Content type: Blog
keathley.io·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help