Erlang
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Announce Type: replace Abstract: We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gradual typing with semantic subtyping to enable precise, sound, and practical static type analysis, without requiring any changes to Elixir's compilation pipeline or runtime. Type soundness is ensured by leveraging runtime checks -- both implicit, from the Erlang VM, and explicit,...
Gleam v1.17.0 Released
Gleam is a type safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v1.17.0 has been published. But first: the first videos from the first ever all-Gleam conference have been released!
Show HN: Lathe – Use LLMs to learn a new domain, not skip past it
Hey HN!Lathe is an experiment in using LLMs to teach me something new, instead of doing the work for me. It generates a hands-on, source-backed tutorial for any technical topic you want to learn. Then you work through it yourself by reading and typing the code by hand (gasp) in a local UI built for exactly that.
DNA Replication under Thermal, Chemical, and Genotoxic Stress
arXiv:2606.08138v1 Announce Type: new Abstract: Eukaryotic DNA replication must remain robust under thermal, chemical, and genotoxic stress despite large fluctuations in replication dynamics. Here, we develop a lattice-based stochastic Monte Carlo framework for whole-genome replication in Saccharomyces cerevisiae at single base-pair resolution, incorporating probabilistic origin firing, replication fork-speed distributions, and a time-dependent limiting factor that governs the availability...