Flying Nobita

@flyingnobita

28 Following

32 Followers

Flying Nobita pfp

Frontend Dev Using cursor for web design - inspired by this video: https://www.youtube.com/watch?v=zQkFJNj-2lw I compared “no/low code” platforms V0, Lovable and Bolt for vibecoding / prototyping webapps. I find Bolt gives me the best result (fewest shots). It was also easy to “export” the project and continue in cursor or other dev tools for further dev

0 reply

0 recast

0 reaction

Flying Nobita pfp

Multi-agent workflows I find that not using a framework (e.g., CrewAI, langchain) makes it easier to debug and switch between LLMs (e.g., switching from Claude code to Gemini CLI). An interesting thing I find is that an important limiting factor is my ability (not agents’!) to context-switch between different tasks. See section 6 here for examples: https://www.anthropic.com/engineering/claude-code-best-practices

1 reply

0 recast

0 reaction

Flying Nobita pfp

Updating Prompts Reading up on prompt guides and updating my little “book of prompts” for all types of use cases. These guides contain lots of good generic advice for prompts that are suitable for any LLM vendors   Claude: https://www.anthropic.com/engineering/claude-code-best-practices Google: https://www.gptaiflow.tech/assets/files/2025-01-18-pdf-1-TechAI-Goolge-whitepaper_Prompt%20Engineering_v4-af36dcc7a49bb7269a58b1c9b89a8ae1.pdf

1 reply

0 recast

0 reaction

Flying Nobita pfp

MCP - Others markdownify-mcp: convert many things to MD format with total confidence (esp useful for me since i use Obsidian) Taskmaster AI: meant for converting PRD to tasks. Can break down tasks into sub-tasks, taking into account task dependencies, deadlines, etc. The better written the PRD, the better the result. I find that it also works well for simple projects that don’t have a PRD too.

1 reply

0 recast

0 reaction

Flying Nobita pfp

MCP - Research all-in-mcp: search on iacr, google scholar for papers, their citations, related papers, download, etc arxiv-mcp-server: same as above but for arxiv Zotero MCP: talks to your Zotero library and gets your annotations!

1 reply

0 recast

0 reaction

Flying Nobita pfp

— MCP - Coding context7: gets the latest doc for any repo. It’s crowdsourced, and if you don’t see something there, you can simply add it to a repository. I find that even if the repo’s docs aren’t great, LLMs can still do better Apidog MCP: similar to above, but useful if...

1 reply

0 recast

0 reaction

Flying Nobita pfp

...the project has no doc but has API specs (like many new projects where the docs are lacking) agentdeskai/browser-tools-mcp: useful for web frontend so LLM can read errors from console log, see the HTML element you selected and make changes, etc FastMCP: build your own MCP

1 reply

0 recast

0 reaction

Flying Nobita pfp

MCP Servers These have matured so much in the last few months and they make a HUGE diff. LLM can now call proper commands instead of figuring out API calls or just “brute-forcing” Absolutely start with MCPs if you aren’t one of them yet… here’s the list:

1 reply

0 recast

0 reaction

Flying Nobita pfp

I have been updating my workflows and MCPs since they really took off in the last few months. These things tend to be very use-case specific, and everyone has their own favourites. But I can give you some examples of the popular ones that I’m using https://farcaster.xyz/flyingnobita/0x6cfb1017

1 reply

0 recast

0 reaction

Flying Nobita pfp

Spent the past day refreshing my workflows with new MCPs and agents. Made me realize I need to do this more regularly. When will they be good enough so I can offload this too?

0 reply

0 recast

1 reaction

Flying Nobita pfp

A terminal and vscode in excalidraw? What wizardry is this? 🪄 @romdot2 https://github.com/pad-ws/pad.ws

0 reply

0 recast

0 reaction

Flying Nobita pfp

Explaining unintuitive math concepts without words https://artofproblemsolving.com/wiki/index.php/Proofs_without_words

0 reply

0 recast

2 reactions

Flying Nobita pfp

Apple's new passkeys API includes functions to transfer passkeys to/fro other password managers https://developer.apple.com/videos/play/wwdc2025/279/

0 reply

0 recast

0 reaction

Flying Nobita pfp

The pic is from an eth community call and those were the zkVMs that was about to make an introduction during the call

0 reply

0 recast

1 reaction

Flying Nobita pfp

You think you have heard of all the zkvm projects? Think again!

1 reply

1 recast

15 reactions

Flying Nobita pfp

Special thanks to: - imToken for lending us their venue - @ethereum ZK Education Team for their sponsorship - @ziyinlox for the poster design

0 reply

0 recast

0 reaction

Flying Nobita pfp

1 reply

0 recast

0 reaction

Flying Nobita pfp

ProgCryptoSG is back with another meetup next week on Thur, May 29th! If you are in Singapore, come hang out and discuss ZK and cryptography! There will be 2 sharing sessions: 1. Sumcheck and GKR by me 2. Applications of Verifiable AI in DeFi by @jseam Link to sign up in replies below👇

2 replies

0 recast

9 reactions

Flying Nobita pfp

Thanks to Jonathan Protzenko and his team, Python now uses HACL*, a formally verified library, for all its hash and HMAC functions. Any updates from HACL* will automatically be pulled downstream to Python https://jonathan.protzenko.fr/2025/04/18/python.html

0 reply

0 recast

0 reaction

Flying Nobita pfp

This includes the following topics: - 2PC - EdDSA Signature Scheme - Pedersen & KZG Commitments - FHE - Binary Tree ORAM and Path ORAM Run it online without installation: https://mybinder.org/v2/gh/flyingnobita/0xparc_intro_book_workbook/e7f731a32373b3b77ace524dcbf50d2c74bd22b2?urlpath=lab%2Ftree%2Fsrc%2Fdirectory.ipynb

0 reply

0 recast

0 reaction