The knowledge base that connects teams and their agents Powered by Markdown 💜 Join the community: discord.gg/p8yT2kcQFC

Pinned Tweet
your notes just found their people introducing Community: publish a note on HackMD and it joins a shared space where anyone can discover it, learn from it, and build on it knowledge that moves 💜 buff.ly/w2EMBN0
1
1
14
331,829
your docs have chapters, give them a book 📖 create a book right from your HackMD workspace add sections and dividers to organize your notes set permissions easily through your folder see how it all comes together 👇
54
imagine all the markdown collaboration that can happen using the new @meta vr glasses 😍
1
126
HackMD retweeted
Ever opened a repo and the DESIGN.md was a mystery? 3 free browser‑based tools for DESIGN.md: - StackEdit – live markdown preview in the browser. - Dillinger – simple UI, export to .md. - HackMD – collaborative editing, great for design docs. I haven't found one that auto‑generates diagrams yet. #webdev #design #opensource #devtools #programming
1
3
57
HackMD retweeted
I tested @typesafeai as a lightweight gate for assistant memory. The biggest lesson: decision quality matters more than model size. I reduced 24 noisy memory entries to 9 useful facts. Models advise. Humans approve irreversible actions. here @hackmdio hackmd.io/@Ali-G/Sk2_tZgcMg
1
1
66
your HackMD notes can now power your @astrodotbuild site 💜 Astro just published an official guide showing you how to use HackMD as a CMS write and collaborate in Markdown, fetch your content with the HackMD API, and publish it with Astro build it here ↓ buff.ly/q0kyg60
2
153
HackMD retweeted
Replying to @astrodotbuild
@astrodotbuild now has a guide for using @hackmdio as a CMS 🥳 docs.astro.build/en/guides/c…
1
2
5
136
import your .md files into HackMD and give your team one shared place to manage the knowledge powering your agents → collaborative → permissioned → governed by your team one home for the skills your agents depend on
147
Book Mode is rebuilt add, reorder, and nest notes straight from the sidebar no syntax to memorize, no refresh to remember the notes were never the hard part, the table of contents was
1
162
HackMD retweeted
Formal determinism checks, independent audits, adversarial fuzzing, and machine-checked proofs in Lean 4 are how Ziren's security status is earned. GOAT rollup withdrawals are proven valid by Ziren and held open to challenge on Bitcoin through BitVM3, so this is a fundamental part of stack security. And the security horizon stretches far beyond today's adversaries. A network built to secure the next economy with Bitcoin has to outlive the quantum computer: validator consensus keys moving from secp256k1 to ML-DSA-65. The wider research is available at GOAT Research HackMD: hackmd.io/@goatresearch
Machine-checked proofs are becoming the standard for serious proof systems. Different systems need different properties pinned down. For a privacy protocol, zero knowledge is the product, so that is the property to prove. For a zkVM proving a Bitcoin bridge, the property that matters most is soundness: a proof that should not exist must be impossible to construct. Formal verification has been part of Ziren for more than a year - @VeridiseInc formally checked constraint determinism with Picus alongside a full independent audit, before @ConsensysAudits stress-tested the system. Ziren 2.0 extends this with machine-checked proofs in Lean 4.
9
8
32
8,832
every note has a history now it has an API name a version, compare any two, roll a note back when your agent gets ambitious give it a try today: buff.ly/T8WIkvi
4
11,782
Then I started an article series, just pouring out stuff I've learned so far, I've written two articles so far on consensus mechanisms, PoS, PoA and PBFT. I'll write maybe one or two more as I've been reading about these pieces of gud tek. You can check them out on Hackmd here: hackmd.io/@0takuc0mrade/rJsl… hackmd.io/@0takuc0mrade/S1xA…
1
1
4
79
I’ve been learning about different blockchain consensus mechanisms: Proof of Work, Proof of Stake, DPoS and Proof of Authority. I wrote a beginner-friendly article sharing what I understood from each one. @hackmdio read here: hackmd.io/@0xsamuel/HJHhLsVY…
1
3
8
238
HackMD retweeted
github.com/riantkb/hackmd_au… hackmd の各ユーザーの色が似てて判別に困る、ということがそこそこ頻繁にあったので、色を自由に指定できる userscript を(AI が)作りました
1
2
5
805
You can also use a VS Code extension to live-edit with HackMD. I use a symlink to keep the note in both my Obsidian vault and my external git repo. See more below for how I do that. ssp.sh/brain/add-external-fo…
1
2
197
I just saw a question on Reddit: How do I replicate Google Docs in Obsidian? I use a Git repo with GitHub and HackMD. HackMD acts as the Google Docs for collaboration. Git lets me push and pull between my personal, private Obsidian and the collaborative HackMD. Works great if there aren't too many changes. ssp.sh/brain/hackmd/
2
1
5
642