Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://swarm.coiloptic.org/brettm/p/1783073805.258318">Ⓑⓡⓔⓣⓣ (brettm@swarm.coiloptic.org)'s status on Friday, 03-Jul-2026 19:25:58 JST</a><a href="https://swarm.coiloptic.org/brettm" title="brettm@swarm.coiloptic.org"><img src="https://gnusocial.jp/avatar/326421-48-20250207052951.webp" width="48" height="48" alt="Ⓑⓡⓔⓣⓣ" style="position: absolute; left: 0; top: 0;">Ⓑⓡⓔⓣⓣ</a><div><a href="https://blob.cat/objects/faf166ca-3316-4ee8-bd17-a9d3dd40a7a8" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><a href="https://blob.cat/users/icedquinn">@icedquinn@blob.cat</a> i would not personally use it as it does accept ai contributions, also seems heavily involved with ai companies<br><br><a href="https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md">https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md</a><br></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/6521949#notice-12833360">In conversation</a><time datetime="2026-07-03T19:25:58+09:00" title="Friday, 03-Jul-2026 19:25:58 JST">about 3 months ago</time> <span>from <span><a href="https://swarm.coiloptic.org/brettm/p/1783073805.258318" rel="external" title="Sent from swarm.coiloptic.org via ActivityPub">swarm.coiloptic.org</a></span></span><a href="https://swarm.coiloptic.org/brettm/p/1783073805.258318">permalink</a><h4>Attachments</h4><ol><li><article><header><div>Domain not in remote thumbnail source whitelist: opengraph.githubassets.com</div><h5><a href="https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md">lean4/CONTRIBUTING.md at master · leanprover/lean4</a></h5><div></div></header><div>Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub.</div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Ⓑⓡⓔⓣⓣ (brettm@swarm.coiloptic.org)'s status on Friday, 03-Jul-2026 19:25:58 JSTⒷⓡⓔⓣⓣ
in reply to
- iced depresso
@icedquinn@blob.cat i would not personally use it as it does accept ai contributions, also seems heavily involved with ai companies

https://github.com/leanprover/lean4/blob/master/CONTRIBUTING.md
In conversationabout 3 months ago from swarm.coiloptic.orgpermalink
Attachments
1. Domain not in remote thumbnail source whitelist: opengraph.githubassets.com
  lean4/CONTRIBUTING.md at master · leanprover/lean4
  Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub.

Public

Embed Notice

HTML Code

Corresponding Notice