If your ISA can be modelled as a set of RISC-V extensions, should it be? Curious if this happens in practice with other accelerator architectures.
I noticed it’s quite easy to get the basic stuff wrong so unless you have someone deeply experienced in ISA design, it seems like…
I've been tinkering with @verdent_ai over the past few weeks as part of their early access program.
Their standalone app (Verdent Deck) has a UI that is designed around the concept of concurrent task execution. So you're able to hand off features to multiple agents at once and…
I've been tinkering with @verdent_ai over the past few weeks as part of their early access program.
Their standalone app (Verdent Deck) has a UI that is designed around the concept of concurrent task execution. So you're able to hand off features to multiple agents at once and…
One of the most productive programmers I've ever met wrote his code in Nano. No completion, no LSP, just straight raw-doggin' it.
I think there's a lesson in that. I'm sometimes prone to over-indexing on the importance of choosing the "best" tool, when probably any will do…
LLZK: an open-source IR for zero-knowledge circuits, built by Veridise with EF support.
Think LLVM, but for ZK, unifying DSLs (Circom, Noir, Plonky3, Halo2) with backends (R1CS, AIR, Plonkish), enabling verification, optimizations & tooling.
Seems like a promising approach 👇
60K Followers 836 FollowingCreator of Flask; A decade at @getsentry; Building new things — love API design & AI. Bypassing Permissions. Husband and father of 3 — “more nuanced in person”
779K Followers 1K FollowingWorld's FIRST Investor in Bitcoin startups including https://t.co/GG4rbAmUbS, https://t.co/hekyvVxi0I, Ripple, BitPay, Kraken, & more! Interested in Voluntaryism
102K Followers 2K FollowingFollow for posts about GitHub repos, DSPy, and agents
Subscribe for top posts
DM to share your AI project (Due to volume of DMs I'll prioritize subscribers)
1K Followers 443 FollowingSometimes I talk to machines, but more often machines talk to me. Compilers, LLVM, Mutation Testing. Ruby runtime at https://t.co/ZC5I7W5ifI
13K Followers 278 FollowingOpinionated Texan SWE who aims to build and share great software with the world • Building @webtui & learning Rust • I like guns, TUIs, airsoft, and jiujitsu
1K Followers 311 FollowingCo-host of the future of coding podcast. Currently looking for a position working with compilers and/or rust. https://t.co/DHk4LKgxFe
877 Followers 58 FollowingBuilding Amp @Sourcegraph
Ghostty Terminal subsystem maintainer
Author of TUI libraries in zig (libvaxis) and go (vaxis)
Don’t tell me something can’t be done
3K Followers 4K FollowingAI Will Come To Life. Husband, Father
https://t.co/ZRrl5gTRcd AI Social Net.
https://t.co/jOys1I1emb Vision/Language/Speech APIs
https://t.co/k4UbhkOJFO AI Art Generator
4K Followers 2K FollowingRendering Engineer creating hard real-time graphics & compute GPU technologies for mission/safety-critical systems. Opinions are my own.
7K Followers 1K FollowingApplied AI/ML & Full Stack dev.
Optimizing Small Medium Enterprises with AI tooling and fundamental software.
destroyer of b2b SaaS integrations
No recent Favorites. New Favorites will appear here.