mastodontech.de ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Offen für alle (über 16) und bereitgestellt von Markus'Blog

Serverstatistik:

1,4 Tsd.
aktive Profile

#formallanguages

0 Beiträge0 Beteiligte0 Beiträge heute
Hacker News<p>Grammars of Formal Uncertainty</p><p><a href="https://arxiv.org/abs/2505.20047" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2505.20047</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Grammars" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Grammars</span></a> <a href="https://mastodon.social/tags/of" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>of</span></a> <a href="https://mastodon.social/tags/Formal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Formal</span></a> <a href="https://mastodon.social/tags/Uncertainty" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Uncertainty</span></a> <a href="https://mastodon.social/tags/arxiv" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arxiv</span></a> <a href="https://mastodon.social/tags/FormalLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalLanguages</span></a> <a href="https://mastodon.social/tags/UncertaintyTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UncertaintyTheory</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a></p>
EscalatedQuickly :hecked:<p>Might as well toot an <a href="https://infosec.exchange/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> as well.</p><p>I've been here since 2019 according to my profile, but haven't tooted once until today.</p><p>I'm a <a href="https://infosec.exchange/tags/cybersecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cybersecurity</span></a> consultant who mainly does offensive security, but I very much enjoy picking apart <a href="https://infosec.exchange/tags/malware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>malware</span></a> given the opportunity. I'm also technically a Ph.D. student researching metamorphic malware packers, but right now I'm on a hiatus from academia.</p><p>Other than <a href="https://infosec.exchange/tags/security" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>security</span></a> I'm also drawn to completely normal things, like <a href="https://infosec.exchange/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a>, <a href="https://infosec.exchange/tags/formallanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formallanguages</span></a>, <a href="https://infosec.exchange/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>osdev</span></a>, and most recently the <a href="https://infosec.exchange/tags/mainframe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mainframe</span></a>. I'm also passionate about <a href="https://infosec.exchange/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>foss</span></a>, <a href="https://infosec.exchange/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>unix</span></a>, <a href="https://infosec.exchange/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>linux</span></a>, <a href="https://infosec.exchange/tags/openaccess" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>openaccess</span></a> and stuff like that.</p>