Create accountLogin

Recent searches

No recent searches

Search options

Not available on functional.cafe.
functional.cafe is one of the many independent Mastodon servers you can use to participate in the fediverse.
functional.cafe is an instance for people interested in functional programming and languages.

Administered by:

Server stats:

217
active users

functional.cafe: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4+glitch

#abstractinterpretation

0 posts0 participants0 posts today
jnpn<p><a href="https://cfallin.org/blog/2021/03/15/cranelift-isel-3/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cfallin.org/blog/2021/03/15/cr</span><span class="invisible">anelift-isel-3/</span></a></p><p><a href="https://mastodon.social/tags/abstractinterpretation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstractinterpretation</span></a></p>
jnpn<p><a href="https://www.di.ens.fr/~cousot/COUSOTpapers/IFIP77.shtml" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">di.ens.fr/~cousot/COUSOTpapers</span><span class="invisible">/IFIP77.shtml</span></a></p><p>Static determination of dynamic properties of recursive procedures. Cousot 1977</p><p><a href="https://mastodon.social/tags/abstractinterpretation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstractinterpretation</span></a></p>
chris martens<p>does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?</p><p><a href="https://hci.social/tags/categoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categoryTheory</span></a> <a href="https://hci.social/tags/abstractInterpretation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstractInterpretation</span></a></p>
Jesper Agdakx ♾️<p>I am listening to the <span class="h-card"><a href="https://types.pl/@ttforall" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ttforall</span></a></span> <a href="https://www.typetheoryforall.com/2023/04/09/29-Jimmy-Koppel.html" rel="nofollow noopener" target="_blank">podcast with Jimmy Koppel</a> on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on <a href="https://www.pathsensitive.com/2021/03/why-programmers-shouldnt-learn-theory.html" rel="nofollow noopener" target="_blank">why programmers should(n't) learn theory</a>). Now I'm curious to learn which parts of "theory" <strong>you</strong> think are the most useful for a software engineer.</p><p>Please boost this so this also finds an audience beyond the types community!</p><p><a href="https://types.pl/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://types.pl/tags/Education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Education</span></a> <a href="https://types.pl/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a> <a href="https://types.pl/tags/ProgramVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramVerification</span></a> <a href="https://types.pl/tags/AbstractInterpretation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AbstractInterpretation</span></a> <a href="https://types.pl/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a> <a href="https://types.pl/tags/HoareLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HoareLogic</span></a> <a href="https://types.pl/tags/ModelChecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModelChecking</span></a> <a href="https://types.pl/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a> <a href="https://types.pl/tags/OperationalSemantics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OperationalSemantics</span></a> <a href="https://types.pl/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://types.pl/tags/DomainTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DomainTheory</span></a></p>
otini<p>Hi there,<br />Can&#39;t help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about <a href="https://functional.cafe/tags/AbstractInterpretation" class="mention hashtag" rel="tag">#<span>AbstractInterpretation</span></a>, <a href="https://functional.cafe/tags/StaticAnalysis" class="mention hashtag" rel="tag">#<span>StaticAnalysis</span></a>, <a href="https://functional.cafe/tags/SymbolicExecution" class="mention hashtag" rel="tag">#<span>SymbolicExecution</span></a>, <a href="https://functional.cafe/tags/SMT" class="mention hashtag" rel="tag">#<span>SMT</span></a> solvers and <a href="https://functional.cafe/tags/FormalMethods" class="mention hashtag" rel="tag">#<span>FormalMethods</span></a> in general?</p><p>Thanks in advance!</p>
ExploreLive feeds
About