The knowledge base that connects teams and their agents
Powered by Markdown 💜
Join the community: https://t.co/bVJr7EX48ahackmd.ioJoined September 2015
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 @hackmdiohackmd.io/@Ali-G/Sk2_tZg…
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
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
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
the Actor Model sounded confusing when I first heard about it.
after learning how it works, I decided to write a simple article explaining it with rust examples. here’s what I learned 👇🏾
hackmd.io/@0xsamuel/HkDY…
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
Yesterday i started my Backend Journey @blockfuselabs and it's super amazing because we started with Express.js.. here's my @hackmdio link so you can read on what we did yesterday.. hackmd.io/@Timz/HJ287G8F…
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
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/…hackmd.io/@0takuc0mrade/…
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/HJHh…
495 Followers 1K FollowingCS Master in NCTU, Taiwan. Majoring in Infrastructure and Networking. Now working on free5GC project for next generation core network.
18 Followers 116 FollowingIT support specialist with 4+ years of experience. I'm looking to break into cyber security. I'm open to networking with other cyber sec enthusiasts.
10K Followers 2K FollowingAgents @huggingface 🤗, Maintainer @openclaw 🦞. Experimenting in https://t.co/SGQepULb6z. Making local models work great in OpenClaw. (Spicy) opinions are my own
3 Followers 39 FollowingJust hoping onto the entrepreneur train. I specialize in Dogs Training, Dog Behavioral Problems, Dog Nutrition, Positive Reinforcement Training,
284 Followers 2K FollowingSarcastic human. Hospital medicine physician. Father. Political junkie. Nerd. Sailor. Enjoyer of fine fermented beverages. Other fantastic qualities as well.