Erlang, OTP, Actor Model, Concurrency, Phoenix

Feeds to Scour
SubscribedAll
Scoured 80709 posts in 597.7 ms
seven1m/30-days-of-elixir: A walk through the Elixir language in 30 exercises.
github.com·21h
🐫OCaml
Preview
Report Post
actor-IaC: POJO-actor Workflow Based Infrastructure as Code for Cluster Management (Part 1)
dev.to·1d·
Discuss: DEV
⚙️Compilers
Preview
Report Post
The Temporal Logic Synthesis Format TLSF v1.2
arxiv.org·2d
Formal Verification
Preview
Report Post
RapidForge - turn bash/lua scripts into webhooks and cron jobs
reddit.com·17h·
Discuss: r/golang
🌐WebAssembly
Preview
Report Post
De-mystifying Agentic AI: Building a Minimal Agent Engine from Scratch with Clojure
serefayar.substack.com·17h·
Discuss: r/programming
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB
mongodb.com·11h·
🔤Type Theory
Preview
Report Post
Deploy Kimi K2.5 on a Mac mini M4 Cluster and Call Penligent.ai: The Minimal Local-First Agentic Hacker Tutorial
penligent.ai·2h·
Discuss: Hacker News
🐫OCaml
Preview
Report Post
Why your next microservices should be streaming SQL-driven
infoworld.com·2h
🔍Prolog
Preview
Report Post
A guide to async/await in TypeScript
blog.logrocket.com·17h
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
madelson/DistributedLock: A .NET library for distributed synchronization
github.com·21h
🌐WebAssembly
Preview
Report Post
my code review bot was scanning files one by one. 90 seconds per PR.
codeant.ai
·1d·
⚙️Compilers
Preview
Report Post
Coordinated retries and region racing for APIs Gleam/BEAM
ezthrottle.network·10h·
Discuss: Hacker News
🌐WebAssembly
Preview
Report Post
Disentangling unification and implicit coercion (subtyping interaction problem)
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
Preview
Report Post
Show HN: A minimal control primitive between impulse and action (OP Gap)
news.ycombinator.com·47m·
Discuss: Hacker News
📐Category Theory
Preview
Report Post
A Protocol for Pseudonymous Contract Work Economies
catallax.network·19h
Formal Verification
Preview
Report Post
Transform nested JSON into governed dbt models for BQ/Snowflake
forge.foxtrotcommunications.net·12h·
Discuss: Hacker News
🔍Prolog
Preview
Report Post
Oban, the job processing framework from Elixir, has come to Python
dimamik.com·19h·
Discuss: Hacker News
Formal Verification
Preview
Report Post
Building "Devwrite": A Local, Agentic Writing Assistant with Ollama & Node.js
dev.to·21h·
Discuss: DEV
⚙️Compilers
Preview
Report Post
Democratising the Dark Arts: Writing Triton Kernels with Claude
blopig.com·21h
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Report Post
.NET AI Essentials - The Core Building Blocks Explained
devblogs.microsoft.com·18h·
Discuss: Hacker News
Formal Verification
Preview
Report Post

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
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