Elixir 1.19(elixir-lang.org)

354 points by theanirudh 1 year ago | 113 comments

Official Elixir blog post announcing the v1.19 release, with enhanced type checking, broader type inference, and up to 4x faster compilation for large projects.

Elixir v1.20: Now a gradually typed language(elixir-lang.org)

959 points by cloud8421 4 months ago | 377 comments

Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.

Typing lists and tuples in Elixir(elixir-lang.org)

209 points by idmitrievsky 2 years ago | 45 comments

Lazier Binary Decision Diagrams for set-theoretic types(elixir-lang.org)

39 points by tvda 10 months ago | 5 comments

Strong arrows: a new approach to gradual typing(elixir-lang.org)

161 points by ahamez 3 years ago | 66 comments

Why Elixir (2014)(theerlangelist.com)

104 points by arrowsmith 2 years ago | 38 comments

Elixir 1.19(elixir-lang.org)

354 points by theanirudh 1 year ago | 113 comments

Official Elixir blog post announcing the v1.19 release, with enhanced type checking, broader type inference, and up to 4x faster compilation for large projects.

Elixir v1.20: Now a gradually typed language(elixir-lang.org)

959 points by cloud8421 4 months ago | 377 comments

Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.

Dropping Cloudflare for Bunny.net(jola.dev)

355 points by shintoist 6 months ago | 184 comments

A blog post describing the author's motivation and experience moving their Elixir/Phoenix blog from Cloudflare to bunny.net.

Claude Cowork exfiltrates files(promptarmor.com)

827 points by takira 9 months ago | 366 comments

PromptArmor threat intelligence report showing Claude Cowork is vulnerable to file exfiltration via indirect prompt injection due to code execution isolation flaws.

GPT-5.2(openai.com)

1125 points by atgctg 10 months ago | 988 comments

OpenAI platform documentation page on using GPT-5.2, covering its improvements, features, and migration guidance for the GPT-5 model family.

Experimenting with Local LLMs on macOS(blog.6nok.org)

367 points by frontsideair 1 year ago | 241 comments

A personal blog post by a self-described LLM skeptic explaining how to download and run large language models locally on a Mac.