HNHacker News
TopNewBestAskShowJobs

afirium

154 karma · joined March 12, 2022

PhD in Serendipity
submissionscomments
afirium··on Forth in Zig and WebAssembly
Source: https://github.com/zig-wasm/zorth
afirium··on Show HN: MCP server for up-to-date Zig standard library documentation
That's exactly what zig-mcp does. It gives the LLM tools like search_std_lib, get_std_lib_item, and it decides when and how to use them based on context
afirium··on Show HN: MCP server for up-to-date Zig standard library documentation
LLMs have issues with zig, namely outdated docs. Then I found @jedisct1's project, context7 MCPwhich provides a way to search through zig docs using natural language: https://github.com/jedisct1/zig-for-mcp

But context7 returns semantically processed responses that often summarize or rephrase the information instead of quoting it. And that's why there is now zig-mcp which returns documentation in markdown format for stdlib and builtin functions

afirium··on Bram Moolenaar has died
Rest in peace, Bram...
afirium··on Bootstrapping Uber’s Infrastructure on Arm64 with Zig
> Given that, we have not yet introduced any production applications written in Zig into our codebase (where the toolchain is fully set up), because only a few people in the company know the language at the moment.

Do you have any plans where you can use zig in production applications? Thanks!

afirium··on Merkle-CRDTs: Merkle-Dags Meet CRDTs
https://arxiv.org/abs/2004.00107
afirium··on Ask HN: What's the best lecture series you've seen?
Lectures[0], after which you will read more than one book on category theory

[0] https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...