Summer of Protocols Discord Feed
1. Lean (proof assistant) https://en.wikipedia.org
from #AI-powered formalization | shared by _vgr#0 | 120 days, 13 hours ago | join discussion in Discord
2. Introducing Gauss, an agent for autoformalization https://www.math.inc
from #๐ŸŽฉ-formal-protocol-theory | shared by _vgr#0 | 120 days, 13 hours ago | join discussion in Discord
3. Introduction to random unitary circuits and the measurement-induced entanglement phase transition https://arxiv.org
from #๐Ÿ‘‹-introductions | shared by brianskinner3057#0 | 120 days, 15 hours ago | join discussion in Discord
4. Implement agentic chunking to optimize LLM inputs with Langchain and watsonx.ai https://www.ibm.com
from #Leisure researcher development protocol case: on Model Context Protocol | shared by 4umd#0 | 121 days, 11 hours ago | join discussion in Discord
5. Perplexity https://www.perplexity.ai
from #Leisure researcher development protocol case: on Model Context Protocol | shared by 4umd#0 | 121 days, 11 hours ago | join discussion in Discord
6. โ€œWe are eliminating search, scrolling, and navigationโ€: Pele AI on the future of virtual try-on https://www.calcalistech.com
from #๐Ÿ”-protocol-watch | shared by heterotic#0 | 121 days, 12 hours ago | join discussion in Discord
7. Feel the Fun https://www.ryzerobotics.com
from #๐Ÿ“-protocol-symposium | shared by anurajenp#0 | 121 days, 15 hours ago | join discussion in Discord
8. Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM. https://www.succinct.xyz
from #๐Ÿ“-protocol-symposium | shared by anurajenp#0 | 121 days, 15 hours ago | join discussion in Discord
9. Time Has Three Dimensions, New Theory Says https://www.sci.news
from #๐ŸŽฒ-random | shared by _vgr#0 | 121 days, 15 hours ago | join discussion in Discord
10. Why Donโ€™t We Take Nuclear Weapons Seriously? | The New Yorker https://www.newyorker.com
from #๐Ÿ”-protocol-watch | shared by ntnsndr#0 | 122 days, 6 hours ago | join discussion in Discord
11. Discord - Group Chat Thatโ€™s All Fun & Games https://discord.com
from #project ideas | shared by 4umd#0 | 122 days, 12 hours ago | join discussion in Discord
12. Nepal lifts ban on social media platforms after protests where police killed 19 people https://apnews.com
from #๐ŸŽฒ-random | shared by rafa_0x#0 | 123 days, 3 hours ago | join discussion in Discord
13. Protocol School https://summerofprotocols.com
from #๐Ÿ“-protocol-symposium | shared by vaughn_tan#0 | 123 days, 3 hours ago | join discussion in Discord
14. Where Crypto Meets Conscience https://endaoment.org
from #๐Ÿ‘‹-introductions | shared by noahgallant#0 | 124 days, 18 hours ago | join discussion in Discord
15. Shop Class as Soulcraft https://www.thenewatlantis.com
from #๐ŸŽฒ-random | shared by _vgr#0 | 126 days, 2 hours ago | join discussion in Discord
16. legal-philosophy-readings https://www.are.na
from #๐Ÿ”-protocol-watch | shared by _vgr#0 | 127 days, 4 hours ago | join discussion in Discord
17. Ortega hypothesis https://en.wikipedia.org
from #๐Ÿ“œ-protocol-fiction | shared by _vgr#0 | 127 days, 4 hours ago | join discussion in Discord
18. Research and Design Lab https://space10.com
from #๐Ÿ‡ฉ๐Ÿ‡ช-berlin-meetup | shared by rafa_0x#0 | 128 days, 2 hours ago | join discussion in Discord
19. A proposed mechanism for the MDMA-mediated extinction of traumatic memories in PTSD patients treated with MDMA-assisted therapy https://www.frontiersin.org
from #๐Ÿ•ธ๏ธ-memory-research-group | shared by ayseayse__#0 | 128 days, 16 hours ago | join discussion in Discord
20. private Google document https://docs.google.com
from #๐Ÿ•ธ๏ธ-memory-research-group | shared by keikreutler#0 | 128 days, 19 hours ago | join discussion in Discord
21. Memoria https://memoria.day
from #๐Ÿ•ธ๏ธ-memory-research-group | shared by keikreutler#0 | 128 days, 19 hours ago | join discussion in Discord
22. Framework Darwinism Masterclass https://studiodradiodurans.com
from #๐Ÿ”-protocol-watch | shared by 4umd#0 | 130 days, 9 hours ago | join discussion in Discord
23. LLM Friendly Zone https://summerlightning.substack.com
from #๐Ÿ“œ-protocol-fiction | shared by sachbenny#0 | 132 days, 13 hours ago | join discussion in Discord
24. Incident Report: Compromised admin key to unclaimed airdrop tokens https://zksync.mirror.xyz
from #๐Ÿค”-idle-protocol-musings | shared by rafa_0x#0 | 134 days, 13 hours ago | join discussion in Discord
25. AI adoption linked to 13% decline in jobs for young U.S. workers, Stanford study reveals https://www.cnbc.com
from #Clean up time | shared by timber1997#0 | 135 days, 11 hours ago | join discussion in Discord
26. (โˆƒ Stochastic Natural Latent) Implies (โˆƒ Deterministic Natural Latent) https://www.lesswrong.com
from #(cf. https://golem.ph.utexas.edu/ | shared by heterotic#0 | 135 days, 12 hours ago | join discussion in Discord
27. Guest Talk with Simon de la Rouviere | Seeing SCP as a Narrative Protocol https://www.youtube.com
from #๐Ÿ“œ-protocol-fiction | shared by _vgr#0 | 135 days, 16 hours ago | join discussion in Discord
28. GitHub - darkcalm/proposal https://github.com
from #๐Ÿค”-idle-protocol-musings | shared by 4umd#0 | 136 days, 9 hours ago | join discussion in Discord
29. We believe quality data and software leveraged by great growers enables businesses to grow profitably. https://iunu.com
from #SIGPfB August 27: Working session | shared by sachbenny#0 | 136 days, 16 hours ago | join discussion in Discord
30. The Living Company https://hbr.org
from #Aug 27 discussion | shared by _vgr#0 | 136 days, 16 hours ago | join discussion in Discord
31. Ubiquitous Computing: Shall we https://citeseerx.ist.psu.edu
from #Aug 27 discussion | shared by _vgr#0 | 136 days, 17 hours ago | join discussion in Discord
32. Discord - Group Chat Thatโ€™s All Fun & Games https://discord.com
from #SIGFPT 5SEP25: Process Calculi II | shared by _vgr#0 | 137 days, 3 hours ago | join discussion in Discord
33. Venkatesh Rao (@contraptions): "Exhaustingly detailed synthesis by @Sam Dโ€™Amico and @Packy McCormick ๐Ÿ‘ The central message has been writing on the wall for over a decade now. I first heard it referred to as [Larry] Pageโ€™s Law: โ€œCosts converge to cost of raw materials as things get eaten by software.โ€ So itโ€™sโ€ฆ" https://substack.com
from #๐Ÿค”-idle-protocol-musings | shared by _vgr#0 | 137 days, 11 hours ago | join discussion in Discord
34. Protocol theory summary https://chatgpt.com
from #๐Ÿค”-idle-protocol-musings | shared by 4umd#0 | 137 days, 12 hours ago | join discussion in Discord
35. The state of AI in early 2024: Gen AI adoption spikes and starts to generate value https://www.mckinsey.com
from #SIGPfB August 25: Planetary thinking for CMMs | shared by sachbenny#0 | 137 days, 13 hours ago | join discussion in Discord
36. Chakyar koothu - Wikipedia https://en.wikipedia.org
from #๐Ÿ“œ-protocol-fiction | shared by sachbenny#0 | 137 days, 15 hours ago | join discussion in Discord
37. How to Tell a Story https://twain.lib.virginia.edu
from #๐Ÿ“œ-protocol-fiction | shared by _vgr#0 | 137 days, 17 hours ago | join discussion in Discord
38. Vermis I - lost dungeons and forbidden woods https://hollow-press.net
from #Worldbuilding prefigurations | shared by suspencer_nit#0 | 137 days, 18 hours ago | join discussion in Discord
39. private Google document https://docs.google.com
from #Story Workshopping | shared by kramsamybst#0 | 137 days, 21 hours ago | join discussion in Discord
40. Protocol Oral History Project https://protocol.ecologies.info
from #๐Ÿ”-protocol-watch | shared by ntnsndr#0 | 138 days, 13 hours ago | join discussion in Discord
41. An Illustrated Guide to OAuth https://www.ducktyped.org
from #๐Ÿ”-protocol-watch | shared by ntnsndr#0 | 138 days, 13 hours ago | join discussion in Discord
42. New Zealand river granted same legal rights as human being https://www.theguardian.com
from #SIGPfB August 25: Planetary thinking for CMMs | shared by sachbenny#0 | 138 days, 15 hours ago | join discussion in Discord
43. Technological Revolutions and Financial Capital https://en.wikipedia.org
from #SIGPfB August 25: Planetary thinking for CMMs | shared by sachbenny#0 | 138 days, 15 hours ago | join discussion in Discord
44. Breakneck: Chinaโ€™s Quest to Engineer the Future https://danwang.co
from #SIGPfB August 25: Planetary thinking for CMMs | shared by sachbenny#0 | 138 days, 15 hours ago | join discussion in Discord
45. KELLER EASTERLINGโ€™S EXTRASTATECRAFT https://www.artforum.com
from #SIGPfB August 25: Planetary thinking for CMMs | shared by sachbenny#0 | 138 days, 16 hours ago | join discussion in Discord
46. NDAI Agreements https://arxiv.org
from #๐ŸŽฉ-formal-protocol-theory | shared by sxysun#0 | 138 days, 16 hours ago | join discussion in Discord
47. Cooperative AI via Decentralized Commitment Devices https://arxiv.org
from #๐ŸŽฉ-formal-protocol-theory | shared by sxysun#0 | 138 days, 16 hours ago | join discussion in Discord
48. Le Cafe - Oldelaf | FUTURE https://www.youtube.com
from #Bounty: Caganjok reductio ad absurdum | shared by _vgr#0 | 138 days, 17 hours ago | join discussion in Discord
49. Elinor Ostromโ€™s 8 rules for managing the commons https://earthbound.report
from #๐Ÿ‘ท-protocols-for-business | shared by sachbenny#0 | 139 days, 4 hours ago | join discussion in Discord
50. private Google document https://docs.google.com
from #๐Ÿ‘ท-protocols-for-business | shared by sachbenny#0 | 139 days, 4 hours ago | join discussion in Discord