home
-
all
|
technology
-
piracy
-
linux
-
selfhosted
-
world
-
memes
-
asklemmy
-
nostupidquestions
-
games
-
mildlyinfuriating
-
youshouldknow
-
technology
-
showerthoughts
-
fediverse
-
technology
-
privacy
-
opensource
-
lemmyshitpost
-
worldnews
-
asklemmy
-
more »
log in
or
sign up
|
settings
rss@ibbit.at
overview
[+]
[–]
rss
joined 4 months ago
MODERATOR OF
lefty_news
aljazeera
theguardian_us
fark
theregister
sorted by:
new
top
controversial
old
2
UPLC-CAPE: Building Better Performance Benchmarks for the UPLC Ecosystem
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
From Clunky to Clean: Improving Boolean Branching in UPLC
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Smarter Verification: Automating Formal Methods for Cardano
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
0
The Future of Multi-Chain Systems: Building Consistency Across Blockchains
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Mastering Plutarch: A Hands-On Workshop for UPLC Developers
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
How zk-SNARKs Unlock Privacy and Flexibility on Cardano
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
3
Pushing the Limits of UPLC: Everything is Possible
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Mastering UPLC with Plutarch — A Developer’s Framework for Full Control
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Formal Methods in Practice: The Foundation of Reliable Blockchain Design
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Inside Plutus Core: Understanding the Costing Model
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
Validity, Liquidity, and Fidelity: Verifying Smart Contracts with Confidence
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardano@infosec.pub
0 comments
fedilink
From
Input Output
via
this RSS feed
2
CDC en Español - Día 9 - Parte 2 - Vulnerabilidades por estructuras inesperadas
(www.youtube.com)
submitted
1 week ago
by
rss@ibbit.at
to
c/cardanodevelopers@infosec.pub
0 comments
fedilink
From
IOG Academy
via
this RSS feed
view more:
‹ prev
next ›