It was a real joy speaking on stage. Thanks to all been there, and thanks to @codebeam.bsky.social for giving me the space to present it. β€οΈ
It was a real joy speaking on stage. Thanks to all been there, and thanks to @codebeam.bsky.social for giving me the space to present it. β€οΈ
What's the #leetcode for the age of Multi-Agent #vibecoding? Grinding coding puzzles doesn't seem to be βthe thingβ (anymore).
Vibe coding with an #LLM takes twice the understanding of the codebase. If you canβt review what it suggests with ease, youβre not ready to use it.
If youβre building an #MCPServer, what are the good design practices for tools that might return large datasets? Pagination? Specialized tools with presets like `list_todays_tasks`?
Just read this great piece on tech leadership: techblog.criteo.com/your-first-9...
Loved the focus on needs over feelings, and the reminder that everyone needs a career pathβeven if they donβt realize it yet. Highly recommended!
I was pointed to norm for instance just an hour ago or so. Will definitely give it a try. βΊοΈ
π₯Ή So seems like I just have to wait for Elixir v1.20+, huh?
> Full type inference of patterns was released in Elixir v1.18, and inference of guards is expected as part of Elixir v1.19.
> If the results are satisfactory, the next milestone will include a **mechanism for defining typed structs**.
Ecto with embedded schemas and NimbleOptions are great solutionsβbut they provide run-time validation, where I am looking for compile-time type checking. Would love to catch mismatches as early as possible. βΊοΈ
Dialyzer finds the mismatch, which is good for sure. It's also easy enough to spot my mistake in this simple example. But in a more real-life codebade, I'd prefer a static type-checker to point me to the exact problem rather than a fuzzy βsomething's not rightβ. Does this make sense? π
Elixir needs its own zod. Not the villain β the TypeScript data modeling & parsing library. #elixirlang
Sometimes it just needs a nudge in the right direction (thanks @jc00ke@hachyderm.io on fosstodon!). I dismissed structs as being too verbose as I need: (1) map-like modeling, (2) types per field, (3) mandatory/optional keys. All possible, but terribly verbose.
But: there's hexdocs.pm/typedstruct
I love #elixirlang. Yet there are some things I struggle with. One if it: typing + reporting of type errors. E.g.: closed map types. Function defined to return `t`, yet returning a `t` plus an additional field. I expected dialyzer to point me to the superfluous field, but it didn't. What do I miss?
Yeah, from github.com/modelcontext... alone it did not look that bad. But I haven't checked yet the details in github.com/modelcontext...
Turns out, my server was living in the future... protocol-version wise. π«£π
So I tried the very neat #MCPServer UI "mcp-inspector", noticing that it kills my server process after the `initialize` message. π€
```
Processing MCP Client request: {...,"method":"initialize","params":{"protocolVersion":"2024-11-05",...}}
...
SIGTERM received - shutting down
```
#ElixirLang
I am pleasantly surprised how well-written and concise the #MCP specifications is. Just came by the overall lifecycle of the client-server interaction. And it's nice and clear. π
modelcontextprotocol.io/specificatio...
So nice! I'll play a little more with the server side in the meantime. If I could be of any help later, feel free to give me a ping. π€
Next step: Build stubs for all other methods (like `prompts/list`). Currently, there's only a stub for `tools/list` to check if the overall server is working.
I've found the #MCPServer rabbit hole π I thought I could use hermes-mcp to build an MCP Server for #Todoist in #ElixirLang. But server support is not yet implemented. So I took `:gen_tcp` and a bit of the MCP spec and built a poor-mans implementation myself. github.com/croesnick/to... π
My thing for today: start building an #MCPServer for Todoist in #ElixirLang. Goal: To use this from inside my note taking app (#Obsidian) or, someday, build a personal assistant with voice control for my tasks and projects. π
Ich feier sehr, dass ihr wieder regelmΓ€Γig on air seid! π₯³
Gerade Konferenzen mit nur unbekannten Personen strengen mich sehr an, allem voran Gruppenunterhaltungen.
Hingegen energie-positiv fΓΌr mich: einzelne Tracks skippen und im 1-on-1 an Booths quatschen! π
This cause is close to my heart - please sign: weact.campact.de/petitions/sa...
Es geht eine dramatische, bittere Woche zu Ende. Mehr dazu im Video.
youtu.be/4SNcKcWKvbA
@olgarythm.bsky.social Up and atom! media4.giphy.com/media/xT5LMY...
Die #BDK24 ist vorbei, die Delegierten sind auf dem Heimweg, wenn ihr wissen wollt, was wichtig war - knappe Dreiviertelstunde Zusammenfassung im Dlf-Politikpodcast
www.deutschlandfunk.de/parteitag-de...
Liste der Abgeordneten des Deutschen Bundestages, die einen Antrag auf Entscheidung ΓΌber die Einladung eines Verfahrens zur Feststellung der Verfassungswidrigkeit der AfD eingereicht haben.
Sehr viel Liebe.
Solche Leute finden CDU, CSU und FDP ganz toll. Wir sollten nicht mehr ΓΌber die USA so spotten.
netzpolitik.org/2018/nun-off...
Kurzer RealitΓ€tscheck fΓΌr alle, die angesichts des Atomausstiegs vor Blackouts gewarnt haben:
#Bayern Bauern
Kann mir wenig SchΓΆneres vorstellen als: Plakatieren bei Dunkelheit und Schnee. Oh well, let's see.