Summer of Protocols Discord Feed
1. What Kids Told Us About How to Get Them Off Their Phones https://www.theatlantic.com
from #Takes a village to raise a child | shared by ncc1031#0 | 62 days, 8 hours ago | join discussion in Discord
2. Kahn process networks https://en.wikipedia.org
from #Merlino | Cyberphysical Systems | shared by maparent#0 | 62 days, 8 hours ago | join discussion in Discord
3. Linear temporal logic https://en.wikipedia.org
from #Merlino | Cyberphysical Systems | shared by maparent#0 | 62 days, 8 hours ago | join discussion in Discord
4. Discord - Group Chat That’s All Fun & Games https://discord.com
from #πŸ“-protocol-symposium | shared by _vgr#0 | 62 days, 10 hours ago | join discussion in Discord
5. Implicit Feudalism: Why Online Communities Still Haven’t Caught Up with My Mother’s Garden Club https://www.colorado.edu
from #MEDIUM and THEME | shared by ntnsndr#0 | 62 days, 11 hours ago | join discussion in Discord
6. Dewey’s Great Community in a Digital Age https://pioneeringspirit.xyz
from #β˜€οΈ-general | shared by plague_year#0 | 62 days, 11 hours ago | join discussion in Discord
7. zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms https://arxiv.org
from #ZK Robotics | shared by anurajenp#0 | 62 days, 14 hours ago | join discussion in Discord
8. Mastodon is bringing quote posts to the fediverse | The Verge https://www.theverge.com
from #πŸ”-protocol-watch | shared by jdbb#0 | 62 days, 18 hours ago | join discussion in Discord
9. RSLReally Simple Licensing https://rslstandard.org
from #πŸ”-protocol-watch | shared by wsf1#0 | 63 days, 8 hours ago | join discussion in Discord
10. Vibe coding is dead: Agentic swarm coding is the new enterprise moat https://venturebeat.com
from #πŸ”-protocol-watch | shared by heterotic#0 | 64 days, 11 hours ago | join discussion in Discord
11. Unprotocolized Knowledge https://summerofprotocols.com
from #PFW Session 3: SYNTHESIS | shared by _vgr#0 | 64 days, 13 hours ago | join discussion in Discord
12. E.P.A. To Stop Collecting Emissions Data From Polluters https://www.nytimes.com
from #πŸ”-protocol-watch | shared by heterotic#0 | 65 days, 2 hours ago | join discussion in Discord
13. tldraw https://www.tldraw.com
from #🎩-formal-protocol-theory | shared by .unipuff#0 | 65 days, 4 hours ago | join discussion in Discord
14. Excalidraw https://excalidraw.com
from #🎩-formal-protocol-theory | shared by .unipuff#0 | 65 days, 4 hours ago | join discussion in Discord
15. Perplexity https://www.perplexity.ai
from #AI-powered formalization | shared by 4umd#0 | 65 days, 7 hours ago | join discussion in Discord
16. Lean Game Server https://adam.math.hhu.de
from #AI-powered formalization | shared by 4umd#0 | 65 days, 7 hours ago | join discussion in Discord
17. Launch Meeting https://us02web.zoom.us
from #🎩-formal-protocol-theory | shared by timbeiko#0 | 65 days, 8 hours ago | join discussion in Discord
18. Calculus of constructions https://en.wikipedia.org
from #AI-powered formalization | shared by _vgr#0 | 65 days, 9 hours ago | join discussion in Discord
19. Lean (proof assistant) https://en.wikipedia.org
from #AI-powered formalization | shared by _vgr#0 | 65 days, 9 hours ago | join discussion in Discord
20. Introducing Gauss, an agent for autoformalization https://www.math.inc
from #🎩-formal-protocol-theory | shared by _vgr#0 | 65 days, 9 hours ago | join discussion in Discord
21. Introduction to random unitary circuits and the measurement-induced entanglement phase transition https://arxiv.org
from #πŸ‘‹-introductions | shared by brianskinner3057#0 | 65 days, 12 hours ago | join discussion in Discord
22. Perplexity https://www.perplexity.ai
from #Leisure researcher development protocol case: on Model Context Protocol | shared by 4umd#0 | 66 days, 8 hours ago | join discussion in Discord
23. 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 | 66 days, 8 hours ago | join discussion in Discord
24. β€œ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 | 66 days, 9 hours ago | join discussion in Discord
25. Feel the Fun https://www.ryzerobotics.com
from #πŸ“-protocol-symposium | shared by anurajenp#0 | 66 days, 12 hours ago | join discussion in Discord
26. Introducing SP1: A performant, 100% open-source, contributor-friendly zkVM. https://www.succinct.xyz
from #πŸ“-protocol-symposium | shared by anurajenp#0 | 66 days, 12 hours ago | join discussion in Discord
27. Time Has Three Dimensions, New Theory Says https://www.sci.news
from #🎲-random | shared by _vgr#0 | 66 days, 12 hours ago | join discussion in Discord
28. Why Don’t We Take Nuclear Weapons Seriously? | The New Yorker https://www.newyorker.com
from #πŸ”-protocol-watch | shared by ntnsndr#0 | 67 days, 3 hours ago | join discussion in Discord
29. Discord - Group Chat That’s All Fun & Games https://discord.com
from #project ideas | shared by 4umd#0 | 67 days, 9 hours ago | join discussion in Discord
30. Nepal lifts ban on social media platforms after protests where police killed 19 people https://apnews.com
from #🎲-random | shared by rafa_0x#0 | 67 days, 23 hours ago | join discussion in Discord
31. Protocol School https://summerofprotocols.com
from #πŸ“-protocol-symposium | shared by vaughn_tan#0 | 67 days, 23 hours ago | join discussion in Discord
32. Where Crypto Meets Conscience https://endaoment.org
from #πŸ‘‹-introductions | shared by noahgallant#0 | 69 days, 15 hours ago | join discussion in Discord
33. Shop Class as Soulcraft https://www.thenewatlantis.com
from #🎲-random | shared by _vgr#0 | 70 days, 23 hours ago | join discussion in Discord
34. legal-philosophy-readings https://www.are.na
from #πŸ”-protocol-watch | shared by _vgr#0 | 72 days, 1 hours ago | join discussion in Discord
35. Ortega hypothesis https://en.wikipedia.org
from #πŸ“œ-protocol-fiction | shared by _vgr#0 | 72 days, 1 hours ago | join discussion in Discord
36. Research and Design Lab https://space10.com
from #πŸ‡©πŸ‡ͺ-berlin-meetup | shared by rafa_0x#0 | 72 days, 23 hours ago | join discussion in Discord
37. 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 | 73 days, 12 hours ago | join discussion in Discord
38. private Google document https://docs.google.com
from #πŸ•ΈοΈ-memory-research-group | shared by keikreutler#0 | 73 days, 15 hours ago | join discussion in Discord
39. Memoria https://memoria.day
from #πŸ•ΈοΈ-memory-research-group | shared by keikreutler#0 | 73 days, 15 hours ago | join discussion in Discord
40. Framework Darwinism Masterclass https://studiodradiodurans.com
from #πŸ”-protocol-watch | shared by 4umd#0 | 75 days, 6 hours ago | join discussion in Discord
41. LLM Friendly Zone https://summerlightning.substack.com
from #πŸ“œ-protocol-fiction | shared by sachbenny#0 | 77 days, 9 hours ago | join discussion in Discord
42. Incident Report: Compromised admin key to unclaimed airdrop tokens https://zksync.mirror.xyz
from #πŸ€”-idle-protocol-musings | shared by rafa_0x#0 | 79 days, 10 hours ago | join discussion in Discord
43. 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 | 80 days, 8 hours ago | join discussion in Discord
44. (βˆƒ Stochastic Natural Latent) Implies (βˆƒ Deterministic Natural Latent) https://www.lesswrong.com
from #(cf. https://golem.ph.utexas.edu/ | shared by heterotic#0 | 80 days, 9 hours ago | join discussion in Discord
45. Guest Talk with Simon de la Rouviere | Seeing SCP as a Narrative Protocol https://www.youtube.com
from #πŸ“œ-protocol-fiction | shared by _vgr#0 | 80 days, 12 hours ago | join discussion in Discord
46. GitHub - darkcalm/proposal https://github.com
from #πŸ€”-idle-protocol-musings | shared by 4umd#0 | 81 days, 6 hours ago | join discussion in Discord
47. 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 | 81 days, 12 hours ago | join discussion in Discord
48. The Living Company https://hbr.org
from #Aug 27 discussion | shared by _vgr#0 | 81 days, 13 hours ago | join discussion in Discord
49. Ubiquitous Computing: Shall we https://citeseerx.ist.psu.edu
from #Aug 27 discussion | shared by _vgr#0 | 81 days, 13 hours ago | join discussion in Discord
50. Discord - Group Chat That’s All Fun & Games https://discord.com
from #SIGFPT 5SEP25: Process Calculi II | shared by _vgr#0 | 82 days, 0 hours ago | join discussion in Discord