August 19, 2025

Exploring Elixir's Suitability for Automated Reasoning

3

clicks

Source: youtube.com

Functional Programming Livebook

The talk focuses on how Elixir serves as an ideal language and ecosystem for automated reasoning, presenting key technical concepts from academic literature. The speakers share their experiences from teaching the "Automation of Logical Reasoning" course using Elixir and Livebook and discuss future plans to utilize the Nx ecosystem for hybrid AI systems. They highlight Elixir's unique features that facilitate automated reasoning, such as its pragmatic approach to functional programming, immutability, powerful pattern matching, actor-based concurrency, an expressive type system, metaprogramming capabilities, and the extensive BEAM ecosystem that supports real-world applications.

Continue reading

Related posts

Building Safe Web Apps Using Phoenix Framework

This talk discusses how to write secure web applications, covering common vulnerabilities and code practices to manage them.

Aug 26, 2025

Exploring WebAssembly Integration in Elixir with Wasmex

This talk discusses WebAssembly's use in Elixir, focusing on Wasmex, a WebAssembly runtime that enhances Elixir applications with features such as running unsafe programs and interfacing with other programming languages.

Sep 16, 2025

Exploring Erlang/OTP Behaviours for Scalable Applications

This talk aims to demystify the inner workings of Erlang/OTP behaviours, providing attendees with a comprehensive understanding of how these abstractions facilitate the development of scalable and maintainable applications.

Sep 23, 2025

© HashMerge 2025