zefram.eth (@boredGenius)

보안성이 보장된 EVM 스마트 컨트랙트를 개발하기 위한 새 도구체인 Tama가 소개됐다. 코드를 작성하고, 명세를 정의한 뒤, 코드가 명세를 만족함을 증명하는 3단계 방식으로 검증 가능한 안전한 앱 개발을 지원한다.

https://x.com/boredGenius/status/2051829627413582319

#smartcontracts #evm #security #developertools #formalverification

Wer uns demnächst hören möchte: wir gestalten einen Gottesdienst in der Gemeinde St. Bonifaz mit, in deren Räumen wir proben dürfen 🎶 - ganz zentral in Mainz in der Nähe des Hauptbahnhofs.

Weitere Auftritte des #evm gibt es hier: https://ensemble-vocale-mainz.de/konzerte.html

#evm #chor #kirchenmusik #chorauftritt

🎉 solidity-docs-l10n is published!

🚀 Preview:

https://projects.localizethedocs.org/solidity-docs-l10n

🌐 Crowdin:

https://localizethedocs.crowdin.com/solidity-docs-l10n

🐙 GitHub:

https://github.com/localizethedocs/solidity-docs-l10n

#Crowdin #GitHub #Sphinx #Cpp #Solidity #Ethereum #Blockchain #EVM #SmartContract

Четыре IDE, тьма агентов, ноль свободного времени

В какой-то момент понял, что у меня открыто четыре IDE с разными проектами. В каждой крутится одна или несколько сессий с Claude AI. А я сижу и жонглирую вкладками. Планирование. Ревью там, где критично. Там, где не критично, накидываю хитрые тестовые сценарии, тестируя проект как black box. Постоянно переключаю контекст у себя в голове чтобы понять, а на каком шаге я на этой вкладке и в этом проекте. И потом бам, пора спать. Или есть. Или идти гулять с ребёнком. И в этот момент все процессы останавливаются. Агенты ждут. И получается по факту, что я слабое звено. Не модель с её косяками, а я. Начинаю меньше спать. Парадокс, вроде как должно было быть все наоборот: модели работают, ты спишь. Ан нет.

https://habr.com/ru/articles/1015730/

#claude_ai #ai_агенты #rust #evm #code_review #разработка