Learn more about computerscience with this collection
How to analyze churn data and make data-driven decisions
The importance of customer feedback
How to improve customer experience
the appeal of Nomadic Labs is its rigorous scientific background, which guarantees an opportunity to learn about interesting new developments and ideas
2
3 reads
MORE IDEAS ON THIS
Making verification techniques scale up to a large industrial, cutting edge, project is a Herculean task. In our case, one of the great hurdles is tightening the verification gap between a mechanization in F*, and the real-world Tezos implementation in OCaml. In a large and complex codeb...
2
2 reads
Concretely, I’ve first applied this workflow to the implementation of Sapling , a protocol used in Tezos for enabling privacy-preserving transactions. The main verification effort for this initial c...
2
2 reads
As Antonio’s mentors, our role is to provide guidance based on our combined experience working on the development of the Tezos Economic Protocol, on mechanized software development and verification, and in the toolchain itself. We plant seeds, in the form of suggesting relevant academic...
2
3 reads
1. model a piece of OCaml code in F*, specifying and proving interesting properties that it should satisfy.
2. extract a certified OCaml implementation from the model, with which to replace the original implementation.
3. extract the specification itself from the model, as Property ...
2
4 reads
CURATED FROM
Related collections
More like this
Intellectual wellness is about spurring a sense of curiosity by exposing yourself to new experiences, concepts, and ideas that are mentally stimulating and creative.
Minimalism opens the pathway towards intellectual wellness, by providing us an opportunity to experience new ways of ...
Intuitive thinking is described as automatic, fast, and subconscious. Analytic thinking, on the other hand, is slow, logical, conscious and deliberate. Analytic and intuitive thinking are not opposites. They are complementary and can work in concert.
Even groundbreaking scient...
Effective scientific collaboration is about creating an environment that develops and expands upon the ideas of the various collaborators. The joint idea is not a mediocre ‘design by committee’ but something greater than the sum of its parts.
One has to put aside the ego and become self-aw...
Read & Learn
20x Faster
without
deepstash
with
deepstash
with
deepstash
Access to 200,000+ ideas
—
Access to the mobile app
—
Unlimited idea saving & library
—
—
Unlimited history
—
—
Unlimited listening to ideas
—
—
Downloading & offline access
—
—
Personalized recommendations
—
—
Supercharge your mind with one idea per day
Enter your email and spend 1 minute every day to learn something new.
I agree to receive email updates