@plebhash
Account based inSouth America
About this account
- Account based in
- South America
- Connected via
- South America Android App
Account-level information from X, not a live location or the device used for a specific post.
FOSS grantee working on @StratumV2 currently funded by @btrustteam prev. funded by @Vinteum_org + @spiral_xyz PGP: 37DA 6F2F 5996 6316 ⛏️ plebs be hashin ⚡
patria amada bostil 🇧🇷
Joined October 2023
- Tweets1.3K
- Following629
- Followers648
- Likes1.7K
Fascinating to see how fast the vibe has shifted through the stages over just the last few days. Barely see any anger any more, still a good deal of bargaining, though. I swear it gets better if you keep going. Acceptance is freedom.
plebhash retweeted
30 years ago folks told me the internet was dumb because it was just a faster way to send mail.
15 years ago folks told me bitcoin was dumb because it was just for buying drugs on the darknet.
Today folks tell me agentic AI is dumb because it's just for vibe coding apps.
actually I'm not un-nix-pilled
I'm just un-nixos-pilled for my base workstation (nixOS VMs are ok)
I have a few qwen3.8 omarchy clankers juicing this up locally: github.com/plebhash/nix-bitc…
RIP @nixbitcoinorg 🪦
long live OG historical clanker-friendly bitcoin nodes
plebhash retweeted
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
imagina o absurdo que seria alguém escrever isso na spamchain
eu não tenho coragem, pois tenho maior respeito (e temor) ao judiciário brasileiro
essa entao mais absurda ainda
nitter.cf/pmarcelo1972/status/21…
plebhash retweeted
Rare to report bugs and get a rebuilt security process back. Giant ups to the @StratumV2 team on the release, and thanks for being early with us.
New SV2 releases are out, bringing security hardening and various other improvements to our libraries and applications!
🧩 SV2 Protocol libs v1.12
🏗️ SV2 Apps v0.8
⛏️ SV2 UI v0.7 (coming soon on @umbrel)
Applications updates improve Job Declaration stability and Bitcoin Core integration, Translator Proxy overhaul, and add automatic discovery of ASIC telemetry endpoints.
Protocol library highlights include a deep hardening pass over channels_sv2, a breaking refactor of the codec and framing layer, BIP323 adaptations across the protocol stack. Noise_sv2 was improved with regards to memory hygiene, nonce reuse, RNG quality, and buffer recovery. Every published crate that changed takes an incompatible version bump, so downstream consumers should expect to adapt.
We’re proud to have been early participants in @ProjectLoupe . Their findings helped shape this release and gave us a head start in adapting how we triage reports, prioritize fixes, and organize development around security. Thank you to the Loupe team for their work and support!
oh boy here we go into another rabbit hole
🐇 🕳️
What is a decision model?
Jev by @typesafeai answers yes/no and multiple-choice questions, with a confidence score. Much of software development are a sequence of decisions, and Jev is 10x cheaper and faster than an LLM.
Let’s understand this through practical examples:
plebhash retweeted
New SV2 releases are out, bringing security hardening and various other improvements to our libraries and applications!
🧩 SV2 Protocol libs v1.12
🏗️ SV2 Apps v0.8
⛏️ SV2 UI v0.7 (coming soon on @umbrel)
Applications updates improve Job Declaration stability and Bitcoin Core integration, Translator Proxy overhaul, and add automatic discovery of ASIC telemetry endpoints.
Protocol library highlights include a deep hardening pass over channels_sv2, a breaking refactor of the codec and framing layer, BIP323 adaptations across the protocol stack. Noise_sv2 was improved with regards to memory hygiene, nonce reuse, RNG quality, and buffer recovery. Every published crate that changed takes an incompatible version bump, so downstream consumers should expect to adapt.
We’re proud to have been early participants in @ProjectLoupe . Their findings helped shape this release and gave us a head start in adapting how we triage reports, prioritize fixes, and organize development around security. Thank you to the Loupe team for their work and support!
plebhash retweeted
Btrust’s long-term developer grant program is expanding beyond Africa, starting with Brazil 🇧🇷 and India 🇮🇳.
We’re excited to welcome three new developer grantees: @plebhash, @_oleonardolima, and @AnshSharma54105.
This expansion is being carried out in partnership with @Vinteum_org in Brazil and @bitshala_org in India, two organizations that have supported the developers’ growth and connected them to local Bitcoin communities.
Read the full announcement: nitter.cf/btrustteam/status/2100…
Experienced Bitcoin open-source developers across the Global Majority can now apply for the Btrust long-term developer grant here: btrust.homerun.co/open-sourc…
