Попробовал, наконец, классную математическую настольную игру "Машина Тьюринга".
На самом деле не столько игра, сколько головоломка, которую вы можете решать в одиночку, совместно или соревнуясь. Она совершенно гениально сделана, и я не до конца понимаю, как именно, но она работает и приносит много удовольствия.
Каждая задача в игре — трехзначное число с цифрами 1..5, зашифрованное в наборе карточек. Карточки двух видов: выражение и его валидатор. Выражение, например, может быть таким: "Вторая цифра меньше трех". Вы выдвигаете гипотезу, каким именно будет число-ответ. А дальше происходит магия — каждое такое число собирается из трёх перфокарт с отверстиями, вы прикладываете к сборке валидатор, и в единственном оставшемся отверстии видете бинарный результат: истина или ложь. Таким образом, получаете информацию о том, справедливо ли выражение для загаданного числа.
Ход за ходом вы должны выбирать самые эффективные гипотезы и выражения, которые отсекут больше всего неверных вариантов. В какой-то момент информации для однозначного ответа становится достаточно. Чем меньше ходов вы потратили, тем лучше.
Если вы нерд и любите фокусы с цифрами, то это прям мастхэв. Играется очень приятно, и вызывает неподдельный кайф каждый раз, когда вы собираете из кусочков ответ, хотя за мгновение до этого может казаться, что до решения ещё очень далеко.
Если же вы не фанат подобного, то подарите коробку знакомому математику, он будет рад!
#games
💎Собрали лендинг за 10 минут
В этом видео мы тестируем v0.dev — инструмент от Vercel, который генерирует интерфейсы и веб‑страницы по простому текстовому описанию.
Мы попросили нейросеть сделать лендинг для нашего будущего стрима: описали тему, добавили спикеров, вставили ссылки на фото. Через пару минут получили готовую страницу.
🥰Всё редактируется прямо в интерфейсе. Мы поменяли подписи, добавили цвета, иконку ТГ и даже поле для отправки сообщения.
Работали на бесплатном тарифе — никаких денег, только немного потраченных промптов (их выдают сразу после регистрации).
Для чего будет удобно:
- Прототипы и лендинги
- UI для MVP или внутренних инструментов
- Быстрая проверка гипотез без дизайнера и верстальщика
#ИИ#AI#Нейросети#V0
———
#Инструменты#Лендинг
Подписывайтесь: @aiforproduct
#typescript#ai_app_builder#bolt#lovable#v0
Dyad is a free, open-source AI app builder that runs entirely on your own computer, giving you full control, privacy, and fast performance without relying on cloud services. You can use your own AI API keys, avoid vendor lock-in, and build full-stack apps easily on Mac or Windows. It offers real-time editing, instant previews, and smooth local development, making app building faster and more private. This means you save money, protect your data, and work more efficiently without subscription fees or limits from other platforms. You just download it and start building right away, no sign-up needed[1][2][4].
https://github.com/dyad-sh/dyad
🔵Сравнили 4 AI-сервиса Prompt-to-App, которые обещают сделать сайт по одному текстовому описанию — без кода, без конструктора и без лишних движений. Проверили, насколько это реально.
⌨️Что тестировали:
— Lovable — простой и быстрый генератор лендингов
— V0.dev — для тех, кто не боится кода (и может поправить его вручную)
— Rork — визуально аккуратный, но генерирует скорее мобильное приложение, а не сайт
— Bolt.new — чат-генератор, который даёт готовую ссылку и позволяет править код
Везде использовали один и тот же промпт, ничего не настраивали. Просто текст → страница.
Подробнее и со ссылками на результаты — в статье на Дзен "Шашков & Головко • AI в решениях"
А ещё сделали короткое видео — как всё работает вживую.
#ИИ#AI#Нейросети#Lovable#V0#Rork#Bolt
———
#Инструменты#Сайт
✍️ Подписывайтесь: @aiforproduct
🚀 Starknet Opens Voting on v0.14.2 Upgrade Proposal
Starknet has announced that voting is now open for STRK holders on the v0.14.2 upgrade proposal. According to Foresight News, the voting period will end on April 16. The proposed upgrade includes the introduction of SNIP-36, SNIP-37, and SNIP-13, and aims to enable protocol-level S-Two proof verification, significantly reducing costs for privacy use cases and zk-thread applications. Additionally, the upgrade seeks to adjust the storage economic model to more accurately reflect network resource usage while maintaining cost advantages for developers. The StarkGate token contract will also be upgraded to optimize ERC-20 event indexing, verification, and token handling. Other internal upgrades are planned to prepare for the decentralized verification phase described in SNIP-33, including improvements in P2P, weighted proposer sampling, and the concept of virtual proposers.
#Starknet#STRK#v0.14.2 #SNIP36#SNIP37#SNIP13#STwoProof#PrivacyUseCases#zkThread#StorageEconomicModel#StarkGate#ERC20#P2P#DecentralizedVerification#SNIP33#VirtualProposers
#other#ai#bolt#copilot#cursor#cursorai#devin#devinai#github_copilot#lovable#open_source#replit#system_prompts#trae#trae_ai#trae_ide#v0#vscode#windsurf#windsurf_ai
You can access a huge collection of over 7000 lines of official system prompts and internal tools from many AI models and agents like v0, Manus, Cursor, Replit Agent, and more. These prompts guide AI to work better by giving clear instructions, which helps the AI give more accurate and useful answers. Using these prompts can save you time, improve AI performance, and make your interactions with AI smoother and more productive. Plus, there’s a free AI security audit service to help protect your AI systems from leaks and hacks, keeping your data safe. Supporting this project helps keep these valuable resources updated.
https://github.com/x1xhlol/system-prompts-and-models-of-ai-tools