Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
karma
Genesener Skeptiker // Forschungsingenieur @a16zcrypto
Ich habe Albträume darüber. Es ist eine Situation, in der man keine Hose in der Schule trägt.
19. Juli, 00:00
sagte, d.h. als ich e.g. meinte, und sie lachten mich aus dem Café.
541
Wir haben das schicke Silberbesteck (Aufzählungspunkte) für den Anlass herausgeholt.
15. Juli, 08:59
Karma is being modest — huge update for Halmos!
∎ Stateful invariant testing (very powerful)
∎ Flamegraphs (see what Halmos is exploring)
∎ 30x faster interpreter (!!!)
∎ Easily select many solvers
∎ Coverage reports
∎ Solx support
∎ more cheatcodes
∎ ... and more
980
halmos v0.3.0 Veröffentlichungs-Highlights!
(kurze Erinnerung: halmos ist ein symbolisches Testwerkzeug für EVM-Bytecode, das sich gut mit Foundry-Projekten verbindet und mehrere SMT-Solver unterstützt)
1. Wir haben (endlich) die Unterstützung für zustandsabhängige Invariantentests hinzugefügt.
27,74K
Wenn wir Rollenspiele machen, werde ich das LLM bitten, jede technische Entscheidung danach zu bewerten, wie gut sie in seinem Werbeprospekt aussieht.
15. Juli, 01:51
I refuse to start a prompt with "you are a senior developer"
598
diese Typen sind einfach aufgestanden und haben beschlossen, das BIP des Internets zu steigern
3. Juli, 00:03
Heute stellen wir das Terminal vor.
Zahle jeden und jedes Projekt auf Github.
754
Top
Ranking
Favoriten