g0v.social Open in urlscan Pro
45.32.254.54  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Mastodon
新增帳號登入

最近的搜尋紀錄

尚無最近的搜尋紀錄

搜尋選項

has: media、poll或embedis: reply或sensitivelanguage: ISO 語言代碼 (ISO language
code)from: 使用者before: 特定日期during: 特定日期after: 特定日期in: all或library
g0v.social 是由 Mastodon 提供之去中心化社群網路一部分。

去中心化社群架設的去中心化社群網站。宇宙小酒館。請遵守社群守則 https://g0v.social/about/more Our mantra:
https://devpoga.org/blog/2023-01-22_mantra_g0v_social/

管理者：

poga @poga

伺服器統計：

1.2K
活躍使用者

--------------------------------------------------------------------------------

了解更多


g0v.social: 關於 · 個人檔案目錄 · 隱私權政策

Mastodon: 關於 · 取得應用程式 · 鍵盤快速鍵 · 檢視原始碼 · v4.2.8


探索




最近的搜尋紀錄

尚無最近的搜尋紀錄

搜尋選項

has: media、poll或embedis: reply或sensitivelanguage: ISO 語言代碼 (ISO language
code)from: 使用者before: 特定日期during: 特定日期after: 特定日期in: all或library
嘟文
主題標籤
最新消息
這些於此伺服器以及去中心化網路中其他伺服器發出的嘟文正在被此伺服器上的人們熱烈討論著。越多不同人轉嘟及最愛排名更高。
1 小時前

希希子 @xixi@liker.social

濕度好高，有點悶
101有一半都泡在霧裡面了~


0 3 4

2 小時前

Ian Coldwater @ian@hachyderm.io

It's that time again: I'm fundraising for the port-a-potties at George Floyd
Square! Because everyone needs a place to go

CA: $ iancoldwater
V: @ Ian-Coldwater
PP dot me /coldwater

Please help support if you can and RT for reach! Thank you!

0 5 0

Laura Manach :bongoCat:<p>"You get more conservative when you get older" only
really worked for the generations that got RICHER as they got older. <br>The
real truth was always just "You get more selfish the more money you have".</p>
John Regehr<p>here's something super cool: LLVM's "InstCombine Contributor
Guide" states that "Your pull request description should contain one or more
alive2 proofs for the correctness of the proposed transform."</p><p><a
href="https://llvm.org/docs/InstCombineContributorGuide.html#proofs"
rel="nofollow noopener noreferrer" translate="no" target="_blank"><span
class="invisible">https://</span><span
class="ellipsis">llvm.org/docs/InstCombineContr</span><span
class="invisible">ibutorGuide.html#proofs</span></a></p><p>I don't think it's
bragging (I've been involved with Alive2 but it is primarily Nuno Lopes's work,
not mine) when I say that this kind of routine embedding of formal methods in
real-world compile engineering is a BIG DEAL</p>
pixelfed<p>Big news for the fediverse' favourite photo sharing
platform!</p><p>We've submitted our mobile app to Android + Apple App
Stores!</p><p>F-Droid: <a href="https://fdroid.pixelfed.net" rel="nofollow
noopener noreferrer" translate="no" target="_blank"><span
class="invisible">https://</span><span class="">fdroid.pixelfed.net</span><span
class="invisible"></span></a></p>
Sonny<p>Anyone in my network interested in research and prototype network portal
for Flatpak?</p><p>In the long run we are interested in:</p><p>• Give more
control to users over app network access <br>• Allow apps that need network
access to be considered “Safe”</p><p>We expect something like unsharing the
network namespace and a bridge on the host for permissions /
monitoring.</p><p>Boost welcome :boost_love:</p><p>1/2 🧵 </p><p><a
href="https://floss.social/tags/FediHire" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>FediHire</span></a> <a
href="https://floss.social/tags/Flatpak" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Flatpak</span></a> <a
href="https://floss.social/tags/Flathub" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Flathub</span></a> <a
href="https://floss.social/tags/Linux" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Linux</span></a> <a
href="https://floss.social/tags/Snap" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Snap</span></a> <a
href="https://floss.social/tags/containers" class="mention hashtag"
rel="nofollow noopener noreferrer" target="_blank">#<span>containers</span></a>
<a href="https://floss.social/tags/Docker" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Docker</span></a> <a
href="https://floss.social/tags/freedesktop" class="mention hashtag"
rel="nofollow noopener noreferrer" target="_blank">#<span>freedesktop</span></a>
<a href="https://floss.social/tags/Ubuntu" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Ubuntu</span></a> <a
href="https://floss.social/tags/Fedora" class="mention hashtag" rel="nofollow
noopener noreferrer" target="_blank">#<span>Fedora</span></a></p>
Mastodon

--------------------------------------------------------------------------------

探索即時內容

--------------------------------------------------------------------------------

登入以跟隨個人檔案和主題標籤，或收藏、分享和回覆嘟文。您也可以使用您的帳號在其他伺服器上進行互動。

新增帳號登入

--------------------------------------------------------------------------------

關於



拖放來上傳