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é.
497
Wir haben das schicke Silberbesteck (Aufzählungspunkte) für den Anlass herausgeholt.
15. Juli, 08:59
Karma ist bescheiden – riesiges Update für Halmos!
∎ Zustandsinvarianz-Tests (sehr mächtig)
∎ Flamegraphs (sehen, was Halmos erkundet)
∎ 30x schnellerer Interpreter (!!!)
∎ Einfach viele Solver auswählen
∎ Abdeckungsberichte
∎ Solx-Unterstützung
∎ mehr Cheatcodes
∎ ... und mehr
945
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,6K
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
Ich weigere mich, eine Aufforderung mit "du bist ein Senior-Entwickler" zu beginnen.
560
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.
717
Top
Ranking
Favoriten