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 👇
71
imagine all the markdown collaboration that can happen using the new @meta vr glasses 😍
1
126
From chapter-1 I learnt a few things which I will be sharing (i made notes in @hackmdio which I will be sharing soon after I complete the book) > it talks about why we need to understand CUDA and not sit behind hidden box calls like tensor.cuda(), it’s like learning a manual car vs automatic car, both work equally well but if one breaks down we know what and how to fix > got to know about the power wall and how post 2005 no free lunches were served as any increase in GPU clock speed meant increase in heat and power wasn’t constant and hence the cooling systems didn’t catch up, which made the switch to multi processor systems > CPU processors and GPU processors work differently, one is made for fast latency and another for more throughput > GPUs have smaller ALUs and more of them and smaller controls and cache and high memory bandwidths to transfer things up and down the lane > data parallelism vs task parallelism, GPU tackles the first as CUDA follows SPMD model where one program operates on multiple data > group of 32 threads is called wraps, GPUs make sense when the data they are working with is large as for smaller ones the transportation costs are larger > learnt about amdahl’s law on how the sequential portion limits speedup when the problem size is fixed. Gustafson’s law shows that parallelism can be harvested by growing the problem size to utilise it
Been reading this book the last few days, its around parallel programming with examples in CUDA. I covered the first two chapters as of now, and would be finishing the book by the end of this weekend most probably it’s a really good fresher for someone who is starting CUDA and explains things from the grounds up
2
27
1,745
we can't wait to read it 🫶
1
13
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
@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
anthropic still not adopting agents.md is straight nonsense lol
127
23
1,314
115,146
we don't discriminate over here 💁‍♂️
128
Summer has been extended.. On ddocs.new 🌴💁‍♀️
8
18
117
6,232
what about us fall time lovers 🍁
1
4
89
Do you remember these? • index.html • styles.css • script.js
88
16
275
10,042
don't forget .md
1
2
87
Can we all just pause for a sec and reflect on how fucking important Tailscale is, and how nobody ever talks about them? I don't think I've ever seen a more useful service with a more invisible corporate footprint.
268
232
5,321
560,548
we love @tailscale 🫶
4
531
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