@anon
sign up
@anon
sign up
pull down to refresh
MCP tools with dependent types
vlaaad.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
Introducing x402-mcp: Open protocol payments for MCP tools - Vercel
vercel.com/blog/introducing-x402-mcp-open-protocol-payments-for-mcp-tools
218 sats
\
0 comments
\
@Scoresby
12 Sep
tech
How I use LLMs as a staff engineer
www.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 Wuille
www.youtube.com/watch?v=6tuu2xUIJgA
807 sats
\
2 comments
\
@supratic
28 Jun
mempool
LLoms - A simple mcp enabled llm cli chat
github.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
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai/blog/defeating-nondeterminism-in-llm-inference/
267 sats
\
0 comments
\
@carter
11 Sep
AI
JetBrains working on higher-abstraction programming language
www.infoworld.com/article/4029053/jetbrains-working-on-higher-abstraction-programming-language.html
303 sats
\
2 comments
\
@398ja
27 Jul
devs
MCP-Bench: Benchmarking Tool-Using LLM Agents
arxiv.org/abs/2508.20453
239 sats
\
0 comments
\
@optimism
30 Aug
AI
Introducing the MCP Registry
blog.modelcontextprotocol.io/posts/2025-09-08-mcp-registry-preview/
131 sats
\
1 comment
\
@carter
9 Sep
AI
DVMCP Updates, a brief why, what and when
157 sats
\
4 comments
\
@gzuuus_
29 May
nostr
The Functional Options Pattern in Golang with examples
andrerfcsantos.dev/posts/functional-options-pattern/
138 sats
\
0 comments
\
@k00b
3 Mar
devs
⚡️ Introduction to Ln-spec tools
medium.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 type
www.hillelwayne.com/post/graph-types/
131 sats
\
1 comment
\
@hn
4 Mar 2024
tech
sst/opencode: AI coding agent, built for the terminal.
github.com/sst/opencode
136 sats
\
0 comments
\
@m0wer
26 Aug
AI
[Discussion] Tools for Sat Stacking
264 sats
\
7 comments
\
@LightningG
7 Aug
bitcoin
more