Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

mastodon.ie: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#functionalprogamming

0 posts0 participants0 posts today
marcosh<p>I wrote another blog post on several ways to declare an interface in <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a></p><p><a href="https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">marcosh.github.io/post/2025/07</span><span class="invisible">/22/four-ways-of-declaring-interfaces-in-haskell.html</span></a></p><p><a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogamming</span></a> <a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/interface" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interface</span></a> <a href="https://functional.cafe/tags/abstraction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstraction</span></a></p>
marcosh<p>Today I probably implemented the most useless <a href="https://functional.cafe/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> class I could think of</p><p><a href="https://github.com/marcosh/lamphpda/blob/master/src/Unit.php" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/marcosh/lamphpda/bl</span><span class="invisible">ob/master/src/Unit.php</span></a></p><p><a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogamming</span></a></p>
marcosh<p>I'm back to blogging after a fairly long time with a blog post on how to combine effects using natural transformations</p><p><a href="https://marcosh.github.io/post/2025/03/10/combining-monads.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">marcosh.github.io/post/2025/03</span><span class="invisible">/10/combining-monads.html</span></a></p><p>Really interested to know what people think of it</p><p><a href="https://functional.cafe/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://functional.cafe/tags/monads" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>monads</span></a> <a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogamming</span></a></p>
musicmatze :rust: :nixos:<p>Just finished writing a <a href="https://social.linux.pizza/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blog</span></a> article about my <a href="https://social.linux.pizza/tags/langdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>langdev</span></a> <a href="https://social.linux.pizza/tags/functionalprogamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogamming</span></a> <a href="https://social.linux.pizza/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</span></a> <a href="https://social.linux.pizza/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compiler</span></a> project. Got too long for a toot-chain, so blog it is.</p><p>Will be posted later today on <span class="h-card"><a href="https://beyermatthias.de/" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>musicmatze@beyermatthias.de</span></a></span> and boosted from this account.</p><p>That account is a writefreely instance, where I cannot reply to comments because writefreely does not have that feature... So make sure to reply to the boost on this account 😉</p>
vbrandl<p>OK, this seems fun, so here's my <a href="https://infosec.exchange/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a></p><p>I'm a computer nerd from Germany, and finished my masters degree this year. I wrote my thesis about the monitoring of <a href="https://infosec.exchange/tags/p2p" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>p2p</span></a> <a href="https://infosec.exchange/tags/botnets" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>botnets</span></a>, the detection thereof using <a href="https://infosec.exchange/tags/graphtheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphtheory</span></a> and how to prevent detection using a <a href="https://infosec.exchange/tags/collaborated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>collaborated</span></a> <a href="https://infosec.exchange/tags/crawling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>crawling</span></a> approach. Beside that I did some <a href="https://infosec.exchange/tags/sSoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sSoftwareEngineering</span></a> professionally and for fun.</p><p>I am generally interested in <a href="https://infosec.exchange/tags/malware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>malware</span></a>, mostly oldschool parasitic viruses.</p><p>Sometimes I play <a href="https://infosec.exchange/tags/CTF" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CTF</span></a>.</p><p>Currently I'm looking to get into <a href="https://infosec.exchange/tags/InfoSec" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>InfoSec</span></a> professionally or academically.</p><p>Other stuff I enjoy includes <a href="https://infosec.exchange/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</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/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a>, <a href="https://infosec.exchange/tags/selfhosing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>selfhosing</span></a>, <a href="https://infosec.exchange/tags/NixOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NixOS</span></a>, <a href="https://infosec.exchange/tags/FunctionalProgamming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgamming</span></a> and <a href="https://infosec.exchange/tags/AnalogPhotograpgy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AnalogPhotograpgy</span></a></p>
TrendingLive feeds
About