Skip to content

Instantly share code, notes, and snippets.

View pedrohba1's full-sized avatar
👍

Pedro Bufulin pedrohba1

👍
  • Florianópolis
  • 06:29 (UTC -12:00)
View GitHub Profile
@pedrohba1
pedrohba1 / .deps...npm...@openzeppelin...contracts...token...ERC721...ERC721.sol
Created June 27, 2022 02:55
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.8.7+commit.e28d00a7.js&optimize=false&runs=200&gist=
// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC721/ERC721.sol)
pragma solidity ^0.8.0;
import "./IERC721.sol";
import "./IERC721Receiver.sol";
import "./extensions/IERC721Metadata.sol";
import "../../utils/Address.sol";
import "../../utils/Context.sol";
@pedrohba1
pedrohba1 / resume.json
Last active March 5, 2026 02:53
Meu currículo utilizando o JSON resume.
{
"basics": {
"name": "Pedro Henrique Bufulin de Almeida",
"label": "Software Engineer",
"picture": "https://avatars2.githubusercontent.com/u/39497156?s=400&u=e67843a6334422a4398c78ba8590675aa0460bdd&v=4",
"email": "pedrohba18@gmail.com",
"phone": "(55) (34) 9 9904-2502",
"summary": "Solutions-oriented software engineer with 6 years of experience in distributed systems, blockchain infrastructure, and backend engineering. I design systems with a verification mindset, reasoning adversarially and building software that remains correct under stress. Most of my recent work is in Rust and Go, building high-performance infrastructure for blockchain data verification, distributed services, and cryptographic protocols. Computer Science graduate from the Federal University of Uberlândia. Founder of Bufulink and former engineer at Semiotic working on verification infrastructure for The Graph Protocol.",
"location": {
"countryCode": "BR",