Tag: #halmos
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 1 posts
Web3 & Smart Contract Development 2026 — A Deep-Dive on Hardhat / Foundry / Solidity / Cairo (StarkNet) / Anchor (Solana) / viem / wagmi / OpenZeppelin / Slither / Tenderly
Web3 development in 2026 is no longer the world of "Hardhat + Truffle + web3.js". Paradigm's Foundry has become the de facto smart-contract standard, Solidity is stable on 0.8.x while waiting for 0.9, and viem with wagmi
2026-05-16 · 32 min read #web3#smart-contract#hardhat#foundry#solidity