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

209 points by idmitrievsky 2 years ago | 45 comments

Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27(elixir-lang.org)

436 points by clessg 2 years ago | 114 comments

Official Elixir blog post announcing Elixir v1.17, adding set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support.

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.

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

Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27(elixir-lang.org)

436 points by clessg 2 years ago | 114 comments

Official Elixir blog post announcing Elixir v1.17, adding set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support.

Fine tune a 70B language model at home(answer.ai)

821 points by jph00 2 years ago | 197 comments

Answer.AI blog post announcing an open source system combining FSDP and QLoRA to train a 70B language model on two 24GB consumer GPUs.

Jev Is Not a Language Model, but It Breaks Like One(blog.checkpoint.com)

29 points by patresh 1 month ago | 5 comments

Check Point blog post on prompt injection attacks against Jev, a typed decision model that is not a language model but is still vulnerable to similar attacks.

Next.js 16.4(nextjs.org)

21 points by jhuleatt 16 days ago | 20 comments

Official Next.js blog post announcing the Next.js 16.4 release and its new programming model addressing App Router frustrations.

Building a RAG pipeline for semantic code search(blog.jetbrains.com)

26 points by saikatsg 21 days ago | 5 comments

A JetBrains AI blog post presenting a developer diary and field notes on building a retrieval-augmented generation pipeline for semantic code search.