pull down to refresh

MCP tools with dependent typesvlaaad.github.io/mcp-tools-with-dependent-types
121 sats \ 0 comments \ @carter 19 Aug AI
related
Anytype — the everything app (alternative for Notion)anytype.io
1992 sats \ 18 comments \ @sebastix 22 Oct 2023 tech
pylint MCP provider
1428 sats \ 6 comments \ @optimism 4 Jun builders
"Feature" bloat in multitools
296 sats \ 0 comments \ @StillStackinAfterAllTheseYears 10 Sep 2024 lol
What if... someone optimized a model for taking action
1885 sats \ 1 comment \ @optimism 3 Jul AI
How I use LLMs as a staff engineerwww.seangoedecke.com/how-i-use-llms/
460 sats \ 4 comments \ @k00b 5 Feb AI
Why big and more frequent blocks is a bad engineering design compared to layers
599 sats \ 1 comment \ @l0k18 2 May 2023 bitcoin
BTC++ Mempool Edition: Cluster Mempool | Peter Wuillewww.youtube.com/watch?v=6tuu2xUIJgA
807 sats \ 2 comments \ @supratic 28 Jun mempool
LLoms - A simple mcp enabled llm cli chatgithub.com/gzuuus/lloms
155 sats \ 0 comments \ @gzuuus_ 16 Mar nostr
How AI function calling works UNDER THE HOOD? [video] (youtube.com)www.youtube.com/watch?v=Qor2VZoBib0
232 sats \ 2 comments \ @kehiy 4 Aug AI
Peritas: A Vision for Accessible Multi-sig
442 sats \ 2 comments \ @pup 26 Oct 2024 bitcoin
JetBrains working on higher-abstraction programming languagewww.infoworld.com/article/4029053/jetbrains-working-on-higher-abstraction-programming-language.html
303 sats \ 2 comments \ @398ja 27 Jul devs
DVMCP Updates, a brief why, what and when
157 sats \ 4 comments \ @gzuuus_ 29 May nostr
The Functional Options Pattern in Golang with examplesandrerfcsantos.dev/posts/functional-options-pattern/
138 sats \ 0 comments \ @k00b 3 Mar devs
⚡️ Introduction to Ln-spec toolsmedium.com/@chanmickyyun1/how-to-start-to-contribute-to-ln-spec-tools-5f060660d0a
111 sats \ 0 comments \ @BTC_LN 23 Aug 2022 bitcoin
The hunt for the missing data typewww.hillelwayne.com/post/graph-types/
131 sats \ 1 comment \ @hn 4 Mar 2024 tech
[Discussion] Tools for Sat Stacking
264 sats \ 7 comments \ @LightningG 7 Aug bitcoin
Meet Cursor: An AI-Powered Code Editor/IDE Built Designed to Help Developerswww.marktechpost.com/2024/04/03/want-to-code-using-gpt-4-meet-cursor-an-ai-powered-code-editor-ide-built-designed-to-help-developers-build-software-faster/
156 sats \ 0 comments \ @ch0k1 6 Apr 2024 devs
Roboauto: A robosats command-line interfacegithub.com/jerryfletcher21/roboauto
210 sats \ 1 comment \ @Rsync25 18 May 2024 lightning
Coding being dead as a career option after GPT-4o coding demowww.windowscentral.com/software-apps/im-convinced-nvidias-ceo-was-right-about-coding-being-dead-in-the-water-as-a-career-option-after-watching-openais-gpt-4o-coding-demo
416 sats \ 7 comments \ @ch0k1 19 May 2024 science
S-lang: WIP implementation of simplicity high level language.github.com/BlockstreamResearch/s-lang
164 sats \ 0 comments \ @Rsync25 18 Mar 2024 bitdevs
Huddlers: A tool for Nostr developersdocs.huddlers.dev/
121 sats \ 0 comments \ @Rsync25 18 Aug 2024 nostr