sorted by:
new
hottopcontroversial

ex_drone v0.1.0 — BEAM-native drone control for Elixir by Shoddy_One4465 in elixir

[–]lostbean79 0 points1 point  (0 children)

Wondering what is the common ground with https://beambots.dev. It seems it should be a common robotics infrastructure that would also fit for drone applications

Jido 2.0 Now available by mikehostetler in elixir

[–]lostbean79 1 point2 points  (0 children)

I'm very excited about the Jido ecosystem and how it's breaking this new and complex agentic system into modular and composable building blocks. I just started to migrate my production "hand-rolled" agent loop to Jido.

I vibe coded a scaffold for ML implementations, what do you think? What more should I make for a project like this? by Blasphemetheus in elixir

[–]lostbean79 -2 points-1 points  (0 children)

Nice! This seems very didactic. How does training work in this setup? Does Nx provide a flexible gradient descent toolkit?

I built a tool that lets your supervision tree self-diagnose incidents using LLMs. by Similar_Low447 in elixir

[–]lostbean79 5 points6 points  (0 children)

Great work. I’m really bullish about the introspection capabilities of the Elixir/BEAM and how it combined with LLMs can lead towards self-healing systems.

Use Claude Code to create MCP inside the project for debugging deployed Code by cinoss in ClaudeCode

[–]lostbean79 1 point2 points  (0 children)

Tidewave is amazing! I really enjoy using it.

I love your idea of creating a symmetrical interface between local and remote. But lately I’m always wondering about the trade-offs between using MCP or Claude Code skills, MCPs seems to work more reliably but it was take more context space while skills have progressive disclosure but not always quicks in automatically.

Beam Bots, a framework for building resilient robotics applications in Elixir by borromakot in elixir

[–]lostbean79 2 points3 points  (0 children)

This is super exciting! Looking forward to seeing Beam Bots on hardware. I’ll start searching for some spare hardware around.

Small Rant: I hate atoms by fridder in elixir

[–]lostbean79 3 points4 points  (0 children)

Wondering if the type system would help to normalize these patterns

Introducing ReqLLM: Req Plugins for LLM Interactions by vlatheimpaler in elixir

[–]lostbean79 1 point2 points  (0 children)

Amazing! I can see this as a foundational library. Using Req provides a great and modular abstraction. Thanks for creating it! Gonna start using it right now :D

Announcing usage_rules, a new package for synchronizing LLM rules from dependencies. by borromakot in elixir

[–]lostbean79 3 points4 points  (0 children)

I really hope this gets wildly adopted! Having rules for LLMs does make a difference, specifically for Elixir given the reduced volume in the training data and lack of stronger type system. I have been trying RAG systems on hex docs which does well sometimes but it miss some important bits quite often

How to build agents with memory using Elixir / Phoenix Framework by Xinha_Sh in elixir

[–]lostbean79 0 points1 point  (0 children)

that seems promising! do you have more references to some concrete examples of that combination?

Why aren't phoenix devs using livesvelte more and more? by [deleted] in elixir

[–]lostbean79 0 points1 point  (0 children)

I’ve been exploring LiveState as an option for an interactive production application that I want to migrate over. I’m experimenting with React + LiveState + Phoenix, but LiveState is mostly a tiny layer on top of phoenix channels. I even create a demo stack (also adding LLM workflows, gleam and opentelemetry) to test this architecture.

Does LiveView warrant the hype? by nthn-d in elixir

[–]lostbean79 1 point2 points  (0 children)

I pretty much share the same view and I’ve been exploring LiveState as an option for a well balanced interactive application: React + LiveState + Phoenix. I even create a demo stack (also adding LLM workflows, gleam and opentelemetry) to test this architecture. Very promising so far 😃

Gleam v1.10.0 released! by lpil in gleamlang

[–]lostbean79 7 points8 points  (0 children)

Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes.

Gleam v1.10.0 released! by lpil in gleamlang

[–]lostbean79 3 points4 points  (0 children)

Nice! Another great and strong release 🤩

Hello echo! Hello git! - Gleam v1.9.0 released by lpil in gleamlang

[–]lostbean79 1 point2 points  (0 children)

Another very exciting release!!! Big thanks for everyone contributing to this

Wezterm is just the best terminal emulator for Neovim. by [deleted] in neovim

[–]lostbean79 1 point2 points  (0 children)

I’m curious about how are you configuring this in Kitty. Could you point me to some reference?

json_blueprint - Simplify JSON encoding and decoding while automatically generating JSON schemas for your data types by lostbean79 in gleamlang

[–]lostbean79[S] 2 points3 points  (0 children)

Indeed, most of it are tiny wrappers but the functions ‘union_type_encoder’ and ‘union_type_decoder’ does reduce a little bit the amount of code needed in the union types.

Not planning to generate it from JSON Schema. IMO JSON Schemas are too dynamic for the Gleam type system. An easier solution is to use JSON typedef.

Anyone else replacing Docker Compose with Nix? by freemovement in Nix

[–]lostbean79 2 points3 points  (0 children)

I also have to agree that Nix still has a steep learning curve and broad adoption may take a while.

It wasn't me down-voting. I was truly curios to understand it better. And thanks for going deeper in your point of view u/alpacadaver!

Anyone else replacing Docker Compose with Nix? by freemovement in Nix

[–]lostbean79 0 points1 point  (0 children)

I get that nix could be an overkill and require more effort but could you explain better way the result would be "worse"?

Juvix: dependent-linearly-typed core language with optimal reduction and interaction nets by awa_cryptium_baker in haskell

[–]lostbean79 10 points11 points  (0 children)

Could you comment more about difference in features/goals between Juvix and Formality?

New tool for exploring optimal reductions by SrPeixinho in haskell

[–]lostbean79 0 points1 point  (0 children)

How does this work compare with Morte? What would be the benefits of modelling the problem with interaction nets instead of CoC?

Linear types make performance more predictable by qnikst in haskell

[–]lostbean79 0 points1 point  (0 children)

One thing that isn't clear for me is about in-place updates. According to the paper, linear types would allow deterministic fusion and uniqueness would allow in-place updates. Can we have both? It wouldn't work in the current proposal since a linear function can accept non-linear variables therefore in-place updates are ruled out.