📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · canal · 647 inscritos

Post Recursive Program Synthesis using Paramorphisms

17 de fevereiro de 2026

📚

📚 Cs/books/uwu

Arquivo
paramorphism-synthesis.pdf · 371 KB · clique para mostrar

Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381

95 · 08:11

Por perto no feed

📚 Cs/books/uwu08:10https://itsfoss.com/self-host-ebook-server-software/📚

📚 Cs/books/uwu08:11Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

esta mensagem

📚 Cs/books/uwu08:11Verified Sequential Malloc/Free 📚

📚 Cs/books/uwu08:16https://www.intertronics.co.uk/wp-content/uploads/2017/05/PCB-Rework-and-Repair-Guide.pdf

📚

📚 Cs/books/uwu

📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · canal · Hobbies

647inscritos144alcance médio dos posts

Feed da comunidade Abrir no Telegram

Um feed público aberto do índice de busca ChatCrawler — “o Google do Telegram público”; atualizado à medida que a comunidade é rastreada. Horários em UTC.

Somente conteúdo público, API oficial do Telegram. Sobre · Perguntas frequentes · Limites do índice · Remover uma página · Catálogo · Busca · Como calculamos